| 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 |
