Serenella Cerrito

According to our database, Serenella Cerrito authored at least 30 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach.

Serenella Cerrito, Valentin Goranko, Sophie Paillocher

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

Tableaux like model checking on-the-fly for ATL+.

Serenella Cerrito

CoRR, 2021

2019

Minimisation of Models Satisfying CTL Formulas.

Serenella Cerrito, Amélie David, Valentin Goranko

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2017

Temporal abductive reasoning about biochemical reactions.

Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe

J. Appl. Non Class. Logics, 2017

Minimisation of ATL ^* Models.

Serenella Cerrito, Amélie David

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2015

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL⁺.

Serenella Cerrito, Amélie David, Valentin Goranko

ACM Trans. Comput. Log., 2015

2014

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.

Serenella Cerrito, Amélie David, Valentin Goranko

CoRR, 2014

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.

Serenella Cerrito, Amélie David, Valentin Goranko

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

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

2011

A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

An efficient approach to nominal equalities in hybrid logic tableaux.

Serenella Cerrito, Marta Cialdea Mayer

J. Appl. Non Class. Logics, 2010

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.

Marta Cialdea Mayer, Serenella Cerrito

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Nominal Substitution at Work with the Global and Converse Modalities.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Advances in Modal Logic 8, 2010

2004

Pattern matching as cut elimination.

Serenella Cerrito, Delia Kesner

Theor. Comput. Sci., 2004

A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic.

Nicole Bidoit, Serenella Cerrito, Virginie Thion

J. Appl. Non Class. Logics, 2004

2003

Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride.

Nicole Bidoit, Serenella Cerrito, Virginie Thion

Proceedings of the 19èmes Journées Bases de Données Avancées, 2003

2002

A General Theorem Prover for Quantified Modal Logics.

Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.

Marta Cialdea Mayer, Serenella Cerrito

Stud Logica, 2001

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Variants of First-Order Modal Logics.

Marta Cialdea Mayer, Serenella Cerrito

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

First Order Linear Temporal Logic over Finite Time Structures.

Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique.

Véronique Benzaken, Serenella Cerrito, Sébastien Praud

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998

Bounded Model Search in Linear Temporal Logic and Its Application to Planning.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Using Linear Temporal Logic to Model and Solve Planning Problems.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.

Serenella Cerrito, Marta Cialdea Mayer

Log. J. IGPL, 1997

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.

Serenella Cerrito, Marta Cialdea Mayer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

A Linear Logic Approach to Consistency Preserving Updates.

Nicole Bidoit, Serenella Cerrito, Christine Froidevaux

J. Log. Comput., 1996

1992

A Linear Axiomatization of Negation as Failure.

Serenella Cerrito

J. Log. Program., 1992

Herbrand Methods in Sequent Calculi: Unification in LL.

Serenella Cerrito

Proceedings of the Logic Programming, 1992

1990

A Linear Semantics for Allowed Logic Programs

Serenella Cerrito

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990