Matteo Baldoni
Matteo Baldoni
Professor in Computer Science, Università degli Studi di Torino, Dipartimento di Informatica
Verified email at - Homepage
Cited by
Cited by
Mesenchymal stem cells cultured on a collagen scaffold: In vitro osteogenic differentiation
E Donzelli, A Salvade, P Mimo, M Viganò, M Morrone, R Papagna, ...
Archives of oral biology 52 (1), 64-73, 2007
Verifying the conformance of web services to global interaction protocols: A first step
M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella
European Workshop on Performance Engineering, 257-271, 2005
Ethics by design: Necessity or curse?
V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, L Dennis, ...
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 60-66, 2018
From tags to emotions: Ontology-driven sentiment analysis in the social semantic web
M Baldoni, C Baroglio, V Patti, P Rena
Intelligenza Artificiale 6 (1), 41-54, 2012
Commitments with regulations: reasoning about safety and control in REGULA
E Marengo, M Baldoni, C Baroglio, AK Chopra, V Patti, MP Singh
Proceedings of the 10th International Conference on Autonomous Agents and†…, 2011
Choice, interoperability, and conformance in interaction protocols and service choreographies.
M Baldoni, C Baroglio, AK Chopra, N Desai, V Patti, MP Singh
AAMAS (2), 843-850, 2009
Roles as a coordination construct: Introducing powerJava
M Baldoni, G Boella, L Van Der Torre
Electronic Notes in Theoretical Computer Science 150 (1), 9-29, 2006
Normal multimodal logics: Automatic deduction and logic programming extension
M Baldoni
Università degli Studi di Torino, Dipartimento di Informatica, 1998
Effects of low-level laser irradiation on proliferation and osteoblastic differentiation of human mesenchymal stem cells seeded on a three-dimensional biomatrix: in vitro pilot†…
A Leonida, A Paiusco, G Rossi, F Carini, M Baldoni, G Caccianiga
Lasers in medical science 28, 125-132, 2013
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
Automated Reasoning with Analytic Tableaux and Related Methods†…, 1998
Behavior-Oriented Commitment-based Protocols.
M Baldoni, C Baroglio, E Marengo
ECAI 215, 137-142, 2010
Interaction between Objects in powerJava
M Baldoni, G Boella, IL van der Torre
Interaction 2 (2), 2003
A priori conformance verification for guaranteeing interoperability in open environments
M Baldoni, C Baroglio, A Martelli, V Patti
International Conference on Service-Oriented Computing, 339-351, 2006
Reasoning about learning object metadata for adapting SCORM courseware
M Baldoni, C Baroglio, V Patti, L Torasso
Engineering the Adaptive Web., CS-Report, 04-18, 2004
Personalization for the semantic web
M Baldoni, C Baroglio, N Henze
Reasoning Web: First International Summer School 2005, Msida, Malta, July 25†…, 2005
Rule-based policy specification: State of the art and future work
P Bonatti, N Shahmehri, C Duma, D Olmedilla, W Nejdl, M Baldoni, ...
Reasoning about interaction protocols for customizing web service selection and composition
M Baldoni, C Baroglio, A Martelli, V Patti
The Journal of Logic and Algebraic Programming 70 (1), 53-73, 2007
Constitutive and regulative specifications of commitment protocols: A decoupled approach
M Baldoni, C Baroglio, E Marengo, V Patti
ACM Transactions on Intelligent Systems and Technology (TIST) 4 (2), 1-25, 2013
Cooperation between aspirin-triggered lipoxin and nitric oxide (NO) mediates antiadhesive properties of 2-(acetyloxy) benzoic acid 3-(nitrooxymethyl) phenyl ester (NCX-4016)(NO†…
S Fiorucci, E Distrutti, A Mencarelli, G Rizzo, AR Di Lorenzo, M Baldoni, ...
Journal of Pharmacology and Experimental Therapeutics 309 (3), 1174-1182, 2004
Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions
M Baldoni, C Baroglio, V Patti
Artificial Intelligence Review 22, 3-39, 2004
The system can't perform the operation now. Try again later.
Articles 1–20