| 2020 | HCI | An AI-Based Approach to Automatic Waste Sorting. | Elio Strollo, Giuseppe Sansonetti, Marta Cialdea Mayer, Carla Limongelli, Alessandro Micarelli |
| 2018 | TIME | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2016 | TIME | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini |
| 2015 | TIME | An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. | Marta Cialdea Mayer, Andrea Orlandini |
| 2014 | TIME | A Formal Account of Planning with Flexible Timelines. | Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico |
| 2013 | CADE | A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies. | Marta Cialdea Mayer |
| 2011 | TABLEAUX | A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. | Serenella Cerrito, Marta Cialdea Mayer |
| 2010 | AiML | Nominal Substitution at Work with the Global and Converse Modalities. | Serenella Cerrito, Marta Cialdea Mayer |
| 2010 | CADE | Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. | Marta Cialdea Mayer, Serenella Cerrito |
| 2009 | TABLEAUX | Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. | Marta Cialdea Mayer |
| 2005 | IJCAI | Planning with graded fluents and actions. | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
| 2005 | TABLEAUX | Pdk: The System and Its Language. | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
| 2002 | TABLEAUX | Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. | Marta Cialdea Mayer, Carla Limongelli |
| 2002 | TABLEAUX | A General Theorem Prover for Quantified Modal Logics. | Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer |
| 2001 | CADE | Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. | Serenella Cerrito, Marta Cialdea Mayer |
| 2000 | TABLEAUX | Variants of First-Order Modal Logics. | Marta Cialdea Mayer, Serenella Cerrito |
| 1999 | LPAR | First Order Linear Temporal Logic over Finite Time Structures. | Serenella Cerrito, Marta Cialdea Mayer, Sbastien Praud |
| 1998 | AIMSA | Using Linear Temporal Logic to Model and Solve Planning Problems. | Serenella Cerrito, Marta Cialdea Mayer |
| 1998 | TABLEAUX | Bounded Model Search in Linear Temporal Logic and Its Application to Planning. | Serenella Cerrito, Marta Cialdea Mayer |
| 1997 | TABLEAUX | Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. | Serenella Cerrito, Marta Cialdea Mayer |
| 1996 | ECAI | A Study on the Logic of Abduction. | Marta Cialdea Mayer, Fiora Pirri |