Solving First Order Formulae of Pseudo-Regular Theory. - Sébastien Limet; Pierre Pillot (ICTAC, 2005)

Deciding Satisfiability of Positive Second Order Joinability Formulae. - Sébastien Limet; Pierre Pillot (LPAR, 2006)

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis. - Pierre Pillot (2007)