| 2023 | FSCD | Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. | Serenella Cerrito, Valentin Goranko, Sophie Paillocher |
| 2019 | TIME | Minimisation of Models Satisfying CTL Formulas. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 2017 | TABLEAUX | Minimisation of ATL ^* Models. | Serenella Cerrito, Amlie David |
| 2014 | CADE | Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 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 |
| 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 | LICS | Pattern Matching as Cut Elimination. | Serenella Cerrito, Delia Kesner |
| 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 |
| 1992 | ICLP | Herbrand Methods in Sequent Calculi: Unification in LL. | Serenella Cerrito |
| 1990 | LICS | A Linear Semantics for Allowed Logic Programs | Serenella Cerrito |