Serenella Cerrito

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 6

Top Topics

Proof Procedure

Top Venues

ACM Trans. Comput. Log.

Publications

Serenella Cerrito, Valentin Goranko, Sophie Paillocher
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. FSCD (2023)
Serenella Cerrito
Tableaux like model checking on-the-fly for ATL+. CoRR (2021)
Serenella Cerrito, Amélie David, Valentin Goranko
Minimisation of Models Satisfying CTL Formulas. TIME (2019)
Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe
Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics 27 (3-4) (2017)
Serenella Cerrito, Amélie David
Minimisation of ATL ^* Models. TABLEAUX (2017)
Serenella Cerrito, Amélie David, Valentin Goranko
. ACM Trans. Comput. Log. 17 (1) (2015)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR (2014)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR (2014)
Serenella Cerrito, Marta Cialdea Mayer
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. J. Autom. Reason. 51 (2) (2013)
Serenella Cerrito, Marta Cialdea Mayer
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. TABLEAUX (2011)
Serenella Cerrito, Marta Cialdea Mayer
An efficient approach to nominal equalities in hybrid logic tableaux. J. Appl. Non Class. Logics 20 (1-2) (2010)
Marta Cialdea Mayer, Serenella Cerrito
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. IJCAR (2010)
Serenella Cerrito, Marta Cialdea Mayer
Nominal Substitution at Work with the Global and Converse Modalities. Advances in Modal Logic (2010)
Serenella Cerrito, Delia Kesner
Pattern matching as cut elimination. Theor. Comput. Sci. 323 (1-3) (2004)
Nicole Bidoit, Serenella Cerrito, Virginie Thion
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. J. Appl. Non Class. Logics 14 (4) (2004)
Nicole Bidoit, Serenella Cerrito, Virginie Thion
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA (2003)
Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer
A General Theorem Prover for Quantified Modal Logics. TABLEAUX (2002)
Marta Cialdea Mayer, Serenella Cerrito
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Stud Logica 69 (1) (2001)
Serenella Cerrito, Marta Cialdea Mayer
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. IJCAR (2001)
Marta Cialdea Mayer, Serenella Cerrito
Variants of First-Order Modal Logics. TABLEAUX (2000)
Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
First Order Linear Temporal Logic over Finite Time Structures. LPAR (1999)
Véronique Benzaken, Serenella Cerrito, Sébastien Praud
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. Proc. 15èmes Journées Bases de Données Avancées, BDA (1999)
Serenella Cerrito, Delia Kesner
Pattern Matching as Cut Elimination. LICS (1999)
Serenella Cerrito, Marta Cialdea Mayer
Using Linear Temporal Logic to Model and Solve Planning Problems. AIMSA (1998)
Serenella Cerrito, Marta Cialdea Mayer
Bounded Model Search in Linear Temporal Logic and Its Application to Planning. TABLEAUX (1998)
Serenella Cerrito, Marta Cialdea Mayer
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Log. J. IGPL 5 (2) (1997)
Serenella Cerrito, Marta Cialdea Mayer
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. TABLEAUX (1997)
Nicole Bidoit, Serenella Cerrito, Christine Froidevaux
A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6 (3) (1996)
Serenella Cerrito
Herbrand Methods in Sequent Calculi: Unification in LL. JICSLP (1992)
Serenella Cerrito
A Linear Axiomatization of Negation as Failure. J. Log. Program. 12 (1&2) (1992)
Serenella Cerrito
A Linear Semantics for Allowed Logic Programs LICS (1990)