Serenella Cerrito - Citegraph

Author Info

Name	Affiliation	Papers
SERENELLA CERRITO	Address correspondence to Serenella Cerrito, Universitè de Paris-Sud, L.R.I., Bat. 490, Centre d'Orsay, 91405 Orsay Cedex, France.	25
Collaborators	Citations	PageRank
12	139	13.72
Referers	Referees	References
149	268	256

Search Limit

100268

Publications (25 rows)

Collaborators (12 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Temporal abductive reasoning about biochemical reactions.	0	0.34	2017
Minimisation of ATL ^* Models.	0	0.34	2017
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +	0	0.34	2014
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.	0	0.34	2014
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities	5	0.42	2013
A tableaux based decision procedure for a broad class of hybrid formulae with binders	6	0.49	2011
An efficient approach to nominal equalities in hybrid logic tableaux	6	0.45	2010
Nominal Substitution at Work with the Global and Converse Modalities.	7	0.49	2010
Herod and pilate: two tableau provers for basic hybrid logic	3	0.42	2010
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic	12	0.65	2004
Pattern Matching as Cut Elimination	9	0.72	2004
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride	0	0.34	2003
A General Theorem Prover for Quantified Modal Logics	4	0.49	2002
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics	4	0.60	2001
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation	2	0.46	2001
Variants of First-Order Modal Logics	3	0.44	2000
First Order Linear Temporal Logic over Finite Time Structures	19	1.09	1999
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique	0	0.34	1999
Using Linear Temporal Logic to Model and Solve Planning Problems	14	0.77	1998
Bounded Model Search in Linear Temporal Logic and Its Application to Planning	12	0.69	1998
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics	3	0.61	1997
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4	7	0.57	1997
A Linear Logic Approach to Consistency Preserving Updates	2	0.64	1996
Herbrand Methods in Sequent Calculi: Unification in LL	3	0.42	1992
A linear axiomatization of negation as failure	18	1.26	1992