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 | EE | 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 | EE | Virginie Thion,
Serenella Cerrito,
Marta Cialdea Mayer:
A General Theorem Prover for Quantified Modal Logics.
TABLEAUX 2002: 266-280 |
2001 |
14 | EE | 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 | EE | 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 | EE | Serenella Cerrito,
Marta Cialdea Mayer:
Using Linear Temporal Logic to Model and Solve Planning Problems.
AIMSA 1998: 141-152 |
7 | EE | 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 | EE | 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): (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 |