Serenella Cerrito

	2011
22		Serenella Cerrito, Marta Cialdea Mayer: A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. TABLEAUX 2011: 104-118
	2010
21		Serenella Cerrito, Marta Cialdea Mayer: Nominal Substitution at Work with the Global and Converse Modalities. Advances in Modal Logic 2010: 59-76
20		Marta Cialdea Mayer, Serenella Cerrito: Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. IJCAR 2010: 255-262
19		Serenella Cerrito, Marta Cialdea Mayer: An efficient approach to nominal equalities in hybrid logic tableaux. Journal of Applied Non-Classical Logics 20(1-2): 39-61 (2010)
	2004
18		Nicole Bidoit, Serenella Cerrito, Virginie Thion: A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. Journal of Applied Non-Classical Logics 14(4): 447-475 (2004)
17		Serenella Cerrito, Delia Kesner: Pattern matching as cut elimination. Theor. Comput. Sci. 323(1-3): 71-127 (2004)
	2003
16		Nicole Bidoit, Serenella Cerrito, Virginie Thion: Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA 2003
	2002
15		Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer: A General Theorem Prover for Quantified Modal Logics. TABLEAUX 2002: 266-280
	2001
14		Serenella Cerrito, Marta Cialdea Mayer: Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. IJCAR 2001: 137-151
13		Marta Cialdea Mayer, Serenella Cerrito: Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Studia Logica 69(1): 97-131 (2001)
	2000
12		Marta Cialdea Mayer, Serenella Cerrito: Variants of First-Order Modal Logics. TABLEAUX 2000: 175-189
	1999
11		Serenella Cerrito, Delia Kesner: Pattern Matching as Cut Elimination. LICS 1999: 98-108
10		Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud: First Order Linear Temporal Logic over Finite Time Structures. LPAR 1999: 62-76
9		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: 283-301
	1998
8		Serenella Cerrito, Marta Cialdea Mayer: Using Linear Temporal Logic to Model and Solve Planning Problems. AIMSA 1998: 141-152
7		Serenella Cerrito, Marta Cialdea Mayer: Bounded Model Search in Linear Temporal Logic and Its Application to Planning. TABLEAUX 1998: 124-140
	1997
6		Serenella Cerrito, Marta Cialdea Mayer: Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. TABLEAUX 1997: 138-152
5		Serenella Cerrito, Marta Cialdea Mayer: A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Logic Journal of the IGPL 5(2): 287-300 (1997)
	1996
4		Nicole Bidoit, Serenella Cerrito, Christine Froidevaux: A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6(3): 439-463 (1996)
	1992
3		Serenella Cerrito: Herbrand Methods in Sequent Calculi: Unification in LL. JICSLP 1992: 607-621
2		Serenella Cerrito: A Linear Axiomatization of Negation as Failure. J. Log. Program. 12(1&2): 1-24 (1992)
	1990
1		Serenella Cerrito: A Linear Semantics for Allowed Logic Programs LICS 1990: 219-227

Coauthor Index

1	Véronique Benzaken	[9]
2	Nicole Bidoit (Nicole Bidoit-Tollu)	[4] [16] [18]
3	Christine Froidevaux	[4]
4	Delia Kesner	[11] [17]
5	Marta Cialdea Mayer	[5] [6] [7] [8] [10] [12] [13] [14] [15] [19] [20] [21] [22]
6	Sébastien Praud	[9] [10]
7	Virginie Thion (Virginie Thion-Goasdoué, Virginie Goasdoué-Thion)	[15] [16] [18]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page