Pubblicazioni di Schaerf Marco

2019

Demetrescu Camil, Lupia Francesco, Mendicelli Angelo, Ribichini Andrea, Scarcello Francesco, Schaerf Marco

2018

Demetrescu Camil, Ribichini Andrea, Schaerf Marco
Di Iorio Angela, Schaerf Marco
Addressing the tacit knowledge of a digital library system. REMS 2018 Multidisciplinary Symposium on Computer Science and ICT 2018: 41-50

Lupia Francesco, Mendicelli Angelo, Ribichini Andrea, Scarcello Francesco, Schaerf Marco
DI IORIO Angela, Schaerf Marco
Mecella Massimo, Schaerf Marco, Viktoria Igorevna Drozdova, Igor Anatolievich Kalmykov
Schaerf Marco, Vinokursky Dmitry, Mecella Massimo, Samoilov Filipp
The adaptive control system of quadrocopter motion. REMS 2018 Multidisciplinary Symposium on Computer Science and ICT 2018: 105-113

2017

Francesco Lupia, Angelo Mendicelli, Ribichini Andrea, Francesco Scarcello, Schaerf Marco
Schaerf Marco
Research assessment: A contribution to solving the publication credit allocation problem. YSIP2 Proceedings of the second young scientist’s international workshop on trends in information processing, Dombai, Russian Federation, May 16–20, 2017 2017: 16-16

2016

DI IORIO Angela, Schaerf Marco
Lupia Francesco, Mendicelli Angelo, Ribichini Andrea, Scarcello Francesco, Schaerf Marco
Computing the shapley value in allocation problems: Approximations and bounds, with an application to the Italian VQR research assessment program. RCRA 2016 Proceedings of the 23rd RCRA international work- shop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Genova, Italy, November 28, 2016 2016: 27-43

Ferrara Andrea, Liberatore Paolo, Schaerf Marco

2015

ABU RUMMAN Nadine, Schaerf Marco, Bechmann Dominique
Collision Detection for Articulated Deformable Characters. Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games 2015: 215-220

Liberatore Paolo, Schaerf Marco
On the complexity of second-best abductive explanations. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2015: 22-31

2014

DI IORIO Angela, Schaerf Marco, Guercio Maria, Ortolani Silvia, Matteo Bertazzo
A Digital Infrastructure for Trustworthiness: The Sapienza Digital Library Experience. Bridging Between Cultural Heritage Institutions 2014: 59-69

DI IORIO Angela, Schaerf Marco
Identification Semantics for an Organization Establishing a Digital Library System. Proceedings of the 4th International Workshop on Semantic Digital Archives (SDA 2014) 2014: 16-27

DI IORIO Angela, Schaerf Marco
Providing Proof of Trustworthiness Reconstructing Digital Objects’ Custody Chain. Lecture Notes in Computer ScienceOn the Move to Meaningful Internet Systems: OTM 2014 Workshops 2014: 43-51

DI IORIO Angela, Schaerf Marco
The Organization information integration in the management of a Digital Library System. IEEE/ACM Joint Conference on Digital Libraries 2014: 461-462

Catarci Tiziana, DI IORIO Angela, Schaerf Marco
The Sapienza Digital Library from the Holistic Vision to the Actual Implementation. PROCEDIA COMPUTER SCIENCEProcedia Computer Science 2014: 4-11

2013

DI IORIO Angela, Schaerf Marco
Applicability of digital library descriptive metadata to the contemporary artworks: The Sapienza digital library case study. Lecture Notes in Computer ScienceInformation Technologies for Performing Arts, Media Access, and Entertainment 2013: 78-89

DI IORIO Angela, Schaerf Marco, Matteo Bertazzo
Establishing a digital library in wide-ranging university's context: The Sapienza Digital Library experience. Communications in Computer and Information ScienceDigital Libraries and Archives 2013: 172-183

Liberatore Paolo, Schaerf Marco
The compilability framework. INTELLIGENZA ARTIFICIALE 2013: 31-35

Lenzerini Maurizio, Schaerf Marco

2012

Liberatore Paolo, Schaerf Marco

2011

Alessandro Previti, Raghuram Ramanujan, Schaerf Marco, Bart Selman
Applying UCT to Boolean Satisfiability. Theory and Applications of Satisfiability Testing - SAT 2011 2011: 373-374

Alessandro Previti, Raghuram Ramanujan, Schaerf Marco, Bart Selman
Monte-Carlo style UCT search for boolean satisfiability. LECTURE NOTES IN COMPUTER SCIENCEAI*IA 2011: Artificial Intelligence Around Man and Beyond 2011: 177-188

Marco Cadoli, Francesco M. Donini, Liberatore Paolo, Schaerf Marco

2010

Schaerf Marco

2007

Liberatore Paolo, Schaerf Marco
Compilability of Propositional Abduction. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2007: 65-83

Chirichiello Antonella, G. Salan
Encoding Process Algebraic Description of Web Services into BPEL. WEB INTELLIGENCE AND AGENT SYSTEMS 2007: 419-434

Fratarcangeli Marco, Schaerf Marco, Robert Forchheimer
Schaerf Marco
Marco Cadoli (1965-2006) - Obituary. AI COMMUNICATIONS 2007: 69-70

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. LECTURE NOTES IN COMPUTER SCIENCEAI*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

Fratarcangeli Marco, Schaerf Marco
Realistic Modeling of Animatable Faces in MPEG-4. 17th annual conference on Computer Animation and Social Agents (CASA2004) 2004: -

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma