Serenella Cerrito

32 papers A* 2A 3B 10C 1Misc 1Journal 12Unranked 3

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. FSCD Serenella Cerrito, Valentin Goranko, Sophie Paillocher
2021	J	`jnl`	Tableaux like model checking on-the-fly for ATL+. CoRR Serenella Cerrito
2019	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings TABLEAUX Serenella Cerrito, Andrei Popescu
2019	C	`conf`	Minimisation of Models Satisfying CTL Formulas. TIME Serenella Cerrito, Amélie David, Valentin Goranko
2017	B	`conf`	Minimisation of ATL ^* Models. TABLEAUX Serenella Cerrito, Amélie David
2017	J	`jnl`	Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe
2015	J	`jnl`	Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL ACM Trans. Comput. Log. Serenella Cerrito, Amélie David, Valentin Goranko
2014	J	`jnl`	Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR Serenella Cerrito, Amélie David, Valentin Goranko
2014	A	`conf`	Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR Serenella Cerrito, Amélie David, Valentin Goranko
2013	J	`jnl`	A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. J. Autom. Reason. Serenella Cerrito, Marta Cialdea Mayer
2011	B	`conf`	A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. TABLEAUX Serenella Cerrito, Marta Cialdea Mayer
2010	J	`jnl`	An efficient approach to nominal equalities in hybrid logic tableaux. J. Appl. Non Class. Logics Serenella Cerrito, Marta Cialdea Mayer
2010	A	`conf`	Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. IJCAR Marta Cialdea Mayer, Serenella Cerrito
2010	B	`conf`	Nominal Substitution at Work with the Global and Converse Modalities. Advances in Modal Logic Serenella Cerrito, Marta Cialdea Mayer
2004	J	`jnl`	A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. J. Appl. Non Class. Logics Nicole Bidoit, Serenella Cerrito, Virginie Thion
2004	J	`jnl`	Pattern matching as cut elimination. Theor. Comput. Sci. Serenella Cerrito, Delia Kesner
2003	—	`conf`	Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA Nicole Bidoit, Serenella Cerrito, Virginie Thion
2002	B	`conf`	A General Theorem Prover for Quantified Modal Logics. TABLEAUX Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer
2001	A	`conf`	Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. IJCAR Serenella Cerrito, Marta Cialdea Mayer
2001	J	`jnl`	Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Stud Logica Marta Cialdea Mayer, Serenella Cerrito
2000	B	`conf`	Variants of First-Order Modal Logics. TABLEAUX Marta Cialdea Mayer, Serenella Cerrito
1999	B	`conf`	First Order Linear Temporal Logic over Finite Time Structures. LPAR Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
1999	A*	`conf`	Pattern Matching as Cut Elimination. LICS Serenella Cerrito, Delia Kesner
1999	—	`conf`	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 Véronique Benzaken, Serenella Cerrito, Sébastien Praud
1998	B	`conf`	Bounded Model Search in Linear Temporal Logic and Its Application to Planning. TABLEAUX Serenella Cerrito, Marta Cialdea Mayer
1998	Misc	`conf`	Using Linear Temporal Logic to Model and Solve Planning Problems. AIMSA Serenella Cerrito, Marta Cialdea Mayer
1997	J	`jnl`	A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Log. J. IGPL Serenella Cerrito, Marta Cialdea Mayer
1997	B	`conf`	Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. TABLEAUX Serenella Cerrito, Marta Cialdea Mayer
1996	J	`jnl`	A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. Nicole Bidoit, Serenella Cerrito, Christine Froidevaux
1992	J	`jnl`	A Linear Axiomatization of Negation as Failure. J. Log. Program. Serenella Cerrito
1992	—	`conf`	Herbrand Methods in Sequent Calculi: Unification in LL. JICSLP Serenella Cerrito
1990	A*	`conf`	A Linear Semantics for Allowed Logic Programs LICS Serenella Cerrito