A Linear Semantics for Allowed Logic Programs - Serenella Cerrito (LICS, 1990)

Herbrand Methods in Sequent Calculi: Unification in LL. - Serenella Cerrito (JICSLP, 1992)

A Linear Axiomatization of Negation as Failure. - Serenella Cerrito (J. Log. Program., 1992)

A Linear Logic Approach to Consistency Preserving Updates. - Nicole Bidoit; Serenella Cerrito; Christine Froidevaux (J. Log. Comput., 1996)

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. - Serenella Cerrito; Marta Cialdea Mayer (TABLEAUX, 1997)

A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. - Serenella Cerrito; Marta Cialdea Mayer (Log. J. IGPL, 1997)

Using Linear Temporal Logic to Model and Solve Planning Problems. - Serenella Cerrito; Marta Cialdea Mayer (AIMSA, 1998)

Bounded Model Search in Linear Temporal Logic and Its Application to Planning. - Serenella Cerrito; Marta Cialdea Mayer (TABLEAUX, 1998)

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. - Véronique Benzaken; Serenella Cerrito; Sébastien Praud (Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999)

First Order Linear Temporal Logic over Finite Time Structures. - Serenella Cerrito; Marta Cialdea Mayer; Sébastien Praud (LPAR, 1999)

Variants of First-Order Modal Logics. - Marta Cialdea Mayer; Serenella Cerrito (TABLEAUX, 2000)

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. - Serenella Cerrito; Marta Cialdea Mayer (IJCAR, 2001)

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. - Marta Cialdea Mayer; Serenella Cerrito (Stud Logica, 2001)

A General Theorem Prover for Quantified Modal Logics. - Virginie Thion; Serenella Cerrito; Marta Cialdea Mayer (TABLEAUX, 2002)

Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. - Nicole Bidoit; Serenella Cerrito; Virginie Thion (BDA, 2003)

A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. - Nicole Bidoit; Serenella Cerrito; Virginie Thion (J. Appl. Non Class. Logics, 2004)

Pattern matching as cut elimination. - Serenella Cerrito; Delia Kesner (Theor. Comput. Sci., 2004)

Nominal Substitution at Work with the Global and Converse Modalities. - Serenella Cerrito; Marta Cialdea Mayer (Advances in Modal Logic, 2010)

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. - Marta Cialdea Mayer; Serenella Cerrito (IJCAR, 2010)

An efficient approach to nominal equalities in hybrid logic tableaux. - Serenella Cerrito; Marta Cialdea Mayer (J. Appl. Non Class. Logics, 2010)

A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. - Serenella Cerrito; Marta Cialdea Mayer (TABLEAUX, 2011)

A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. - Serenella Cerrito; Marta Cialdea Mayer (J. Autom. Reason., 2013)

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (IJCAR, 2014)

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (CoRR, 2014)

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (ACM Trans. Comput. Log., 2015)

Minimisation of ATL ^* Models. - Serenella Cerrito; Amélie David 001 (TABLEAUX, 2017)

Temporal abductive reasoning about biochemical reactions. - Serenella Cerrito; Marta Cialdea Mayer; Robert Demolombe (J. Appl. Non Class. Logics, 2017)

Minimisation of Models Satisfying CTL Formulas. - Serenella Cerrito; Amélie David 001; Valentin Goranko (TIME, 2019)

Tableaux like model checking on-the-fly for ATL+. - Serenella Cerrito (CoRR, 2021)

Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. - Serenella Cerrito; Valentin Goranko; Sophie Paillocher (FSCD, 2023)