Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. - Véronique Benzaken; Serenella Cerrito; Sébastien Praud (Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999)

First Order Linear Temporal Logic over Finite Time Structures. - Serenella Cerrito; Marta Cialdea Mayer; Sébastien Praud (LPAR, 1999)