Pubblicazioni di Schaerf Marco
2007
ANDREA FERRARA, LIBERATORE Paolo, SCHAERF Marco
Model Checking and Preprocessing. Lecture Notes in Computer Science: Artificial Intelligence and Human-Oriented Computing 2007: 48-59
2006
Gwen Salaun, Lucas Bordeaux, Schaerf Marco
Describing and reasoning on Web Services using process algebra. INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT 2006: 116-128
Chirichiello Antonella, G. Salan
Formal Development of Web Services. Proceedigs of the 4th International Workshop on AI for Service Composition 2006: -
Cadoli Marco, Francesco Donini, Liberatore Paolo, Schaerf Marco
k-approximating circuits. IEEE TRANSACTIONS ON COMPUTERS 2006: 913-917
Cadoli Marco, Schaerf Marco
Partial Solutions with Unique Completion. Reasoning, Action and Interaction in AI Theories and Systems 2006: 101-115
Oliviero Stock, Schaerf Marco
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello. Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello 2006: -
2005
Cadoli Marco, Andrea Schaerf
Compiling problem specifications into SAT. ARTIFICIAL INTELLIGENCE 2005: 89-120
Cadoli Marco, Eiter T., Gottlob G.
Complexity of Propositional Nested Circumscription and Abnormality Theories. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2005: 232-272
CHIRICHIELLO ANTONELLA, G. Salan
Encoding abstract descriptions into executable web services: Towards a formal development. WI'05, IEEE Computer Society Press, IEEE Computer Society Press 2005: 457-463
Fratarcangeli Marco, Schaerf Marco
Facial Motion Cloning Using Global Shape Deformation. 26th annual conference of the European Association for Computer Graphics (Eurographics 2005) 2005: 89-92
FRATARCANGELI Marco, SCHAERF Marco
Fast Facial Motion Cloning in MPEG-4. ISPA4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) 2005: 310-315
Andrea Ferrara, Liberatore Paolo, Schaerf Marco
The complexity of action redundancy. AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artific 2005: 1-12
Liberatore Paolo, Schaerf Marco
The complexity of model checking for propositional default logics. DATA & KNOWLEDGE ENGINEERING 2005: 189-202
2004
Gwen Salaun, Lucas Bordeaux, Schaerf Marco
Describing and Reasoning on Web Services using Process Algebra. IEEE International Conference on Web Services (ICWS 2004) 2004: 43-50
G. Salan, A. Ferrara, Chirichiello Antonella
Negotiation among Web Services using LOTOS/CADP. Proceedings of the European Conference on Web Services (ECOWS'04) 2004: 198-212
Schaerf Marco
Fratarcangeli Marco, Schaerf Marco
Realistic Modeling of Animatable Faces in MPEG-4. 17th annual conference on Computer Animation and Social Agents (CASA2004) 2004: -
Liberatore Paolo, Schaerf Marco
The compactness of belief revision and update operators. FUNDAMENTA INFORMATICAE 2004: 377-393