| 2022 | ECCV | Max Pooling with Vision Transformers Reconciles Class and Shape in Weakly Supervised Semantic Segmentation. | Simone Rossetti, Damiano Zappia, Marta Sanzari, Marco Schaerf, Fiora Pirri |
| 2015 | MIG | Collision detection for articulated deformable characters. | Nadine Abu Rumman, Marco Schaerf, Dominique Bechmann |
| 2011 | SAT | Applying UCT to Boolean Satisfiability. | Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman |
| 2004 | ICWS | Describing and Reasoning on Web Services using Process Algebra. | Gwen Salan, Lucas Bordeaux, Marco Schaerf |
| 2002 | KR | Solving QBF by SMV. | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
| 2000 | AAAI | ICARUS: Intelligent Content-Based Retrieval of 3D Scene. | Raffaella Colaci, Marco Schaerf |
| 2000 | AAAI | Compilability of Abduction. | Paolo Liberatore, Marco Schaerf |
| 2000 | KR | BReLS: A System for the Integration of Knowledge Bases. | Paolo Liberatore, Marco Schaerf |
| 1998 | AAAI | An Algorithm to Evaluate Quantified Boolean Formulae. | Marco Cadoli, Andrea Giovanardi, Marco Schaerf |
| 1998 | ECAI | The Complexity of Model Checking for Propositional Default Logics. | Paolo Liberatore, Marco Schaerf |
| 1996 | AAAI | The Complexity of Model Checking for Belief Revision and Update. | Paolo Liberatore, Marco Schaerf |
| 1996 | KR | Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | IJCAI | Relating Belief Revision and Circumscription. | Paolo Liberatore, Marco Schaerf |
| 1995 | PODS | The Size of a Revised Knowledge Base. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | STACS | On Compact Representations of Propositional Circumscription. | Marco Cadoli, Francesco M. Donini, Marco Schaerf |
| 1994 | AAAI | Is Intractability of Non-Monotonic Reasoning a Real Drawback? | Marco Cadoli, Francesco M. Donini, Marco Schaerf |
| 1993 | PODS | Negation and Minimality in Non-Horn Databases. | Marco Schaerf |
| 1992 | ECAI | Approximate Inference in Default Logic and Circumscription. | Marco Cadoli, Marco Schaerf |
| 1992 | KR | Approximation in Concept Description Languages. | Marco Cadoli, Marco Schaerf |
| 1992 | TARK | Approximate Reasoning and Non-Omniscient Agents. | Marco Cadoli, Marco Schaerf |
| 1988 | ISMIS | Yet Another Solution to the Three Wisemen Puzzle. | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf |