2011

With Philippe Darondeau, Stéphane Demri et Roland Meyer, Petri Net Reachability Graphs: Decidability Status of FO Properties , FSTTCS 2011. Published by LIPIcs, available here (with bibtex file), or in pdf.

2010

Contextual graph grammars characterising Rational Graphs, NCMA 2010: pdf (Band 263 of OCG, pp 141-153).

With N. Bertrand Probabilistic Regular Graphs, Infinity 2010. Published in EPTCS (volume 39, pp 77-90) : pdf.

2009

On external presentations of infinite graphs, Infinity 2009 (workshop satellite de Concur 2009). Published in EPTCS (vol. 10, pp 23-35): pdf.

With S. Pinchinat Diagnosability of pushdown systems, Haifa Verification Conference 2009 (formal publication of the 2008 report, below, LNCS 6405, pp 21-33): pdf.

Contextual graph grammars characterizing context-sensitive languages, rapport de recherche Irisa (1926). pdf. This report is published at NCMA (see above).

2008

With S. Pinchinat Diagnosis of pushdown systems, Irisa research report (1904). ps, pdf. This work was presented at AutomathA and published at HVC 2009

2006

With A. Carayol On rational trees, Computer Science Logic (CSL) 2006. LNCS 4207 (Ed Z. Ésik) pdf (Copyright Springer).

2005

With C. Rispal Families of automata characterizing context-sensitive languages, Acta Informatica 41, 293-314. version pdf (Copyright Springer, access here: link).

2001

With C. Stirling Rational graphs trace context-sensitive languages, MFCS 2001. LNCS 2136 (Ed. A. Pultr et J. Sgall). Version ps, pdf (Copyright Springer).

2000

On rational graphs, Fossacs 2000. LNCS 1784 (Ed. J. Tiuryn) pp. 252 - 266. (ETAPS 2000 best theoretical paper award). ps, pdf (Copyright Springer).

On rational graphs, rapport de recherche Inria (3944). ps, pdf. Extended version of Fossacs' paper.

Note

Here is my BibTeX file of personal bibliographical entries.