2012
Avec Sébastien Chédor et Thierry Jéron, Test generation from recursive tiles systems, TAP 2012 (Test and Proof). Publié dans LNCS (vol. 7305, pp. 99-114). pdf
2011
Avec Philippe Darondeau, Stéphane Demri et Roland Meyer, Petri Net Reachability Graphs: Decidability Status of FO Properties , FSTTCS 2011. Publié dans les LIPIcs, disponible ici (avec le fichier bibtex), ou aussi en pdf.
2010
Contextual graph grammars characterising Rational Graphs, NCMA 2010: pdf (Band 263 de OCG, pp 141-153).
Avec N. Bertrand Probabilistic Regular Graphs, Infinity 2010. Publié dans EPTCS (volume 39, pp 77-90) : pdf.
2009
On external presentations of infinite graphs, Infinity 2009 (workshop satellite de Concur 2009). Publié dans EPTCS (vol. 10, pp 23-35) : pdf.
Avec S. Pinchinat Diagnosability of pushdown systems, Haifa Verification Conference 2009 (publication formelle du rapport de 2008, LNCS vol. 6405, pp 21-33): pdf.
Contextual graph grammars characterizing context-sensitive languages, rapport de recherche Irisa (1926). version pdf. Ce rapport est publié à NCMA (voir ci-dessus).
2008
Avec S. Pinchinat Diagnosis of pushdown systems, rapport de recherche Irisa (1904). Version ps, version pdf. Ce travail a été présenté dans le cadre de la conférence AutomathA
2006
Avec A. Carayol On rational trees, Computer Science Logic (CSL) 2006. LNCS 4207 (Ed Z. Ésik) version pdf (Copyright des éditions Springer).
2005
Avec C. Rispal Families of automata characterizing context-sensitive languages, Acta Informatica 41, 293-314. version pdf (Copyright des éditions Springer, il est disponible sur link).
2001
Avec C. Stirling Rational graphs trace context-sensitive languages, MFCS 2001. LNCS 2136 (Ed. A. Pultr et J. Sgall). Version ps, version pdf (Copyright des éditions Springer).
2000
On rational graphs, Fossacs 2000. LNCS 1784 (Ed. J. Tiuryn) pp. 252 - 266. (ETAPS 2000 best theoretical paper award). Version ps, version pdf (Copyright des éditions Springer).
On rational graphs, rapport de recherche Inria (3944). Version ps, version pdf. Ce rapport est une version détaillée du papier présenté à Fossacs.
Note
Pour simplifier les choses, voici mon fichier BibTeX de références personnelles.
