| 2022 | LATIN | The Net Automaton of a Rational Expression. | Sylvain Lombardy, Jacques Sakarovitch |
| 2020 | STACS | Unambiguous Separators for Tropical Tree Automata. | Thomas Colcombet, Sylvain Lombardy |
| 2018 | MFCS | On Hadamard Series and Rotating Q-Automata. | Louis-Marie Dando, Sylvain Lombardy |
| 2013 | DLT | Factorizations and Universal Automaton of Omega Languages. | Vincent Carnino, Sylvain Lombardy |
| 2012 | DLT | Decidability of Geometricity of Regular Languages. | Marie-Pierre Bal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy |
| 2010 | ICALP | Regular Temporal Cost Functions. | Thomas Colcombet, Denis Kuperberg, Sylvain Lombardy |
| 2010 | LATIN | Radix Cross-Sections for Length Morphisms. | Sylvain Lombardy, Jacques Sakarovitch |
| 2009 | STACS | Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata. | Daniel Kirsten, Sylvain Lombardy |
| 2008 | ISIT | Embeddings of local automata. | Marie-Pierre Bal, Sylvain Lombardy, Dominique Perrin |
| 2007 | STACS | On the Size of the Universal Automaton of a Regular Language. | Sylvain Lombardy |
| 2006 | CSR | Conjugacy and Equivalence of Weighted Automata and Functional Transducers. | Marie-Pierre Bal, Sylvain Lombardy, Jacques Sakarovitch |
| 2005 | ICALP | On the Equivalence of -Automata. | Marie-Pierre Bal, Sylvain Lombardy, Jacques Sakarovitch |
| 2004 | LATIN | How Expressions Can Code for Automata. | Sylvain Lombardy, Jacques Sakarovitch |
| 2003 | DLT | Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton. | Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur |
| 2002 | ICALP | On the Construction of Reversible Automata for Reversible Languages. | Sylvain Lombardy |
| 2002 | LATIN | Star Height of Reversible Languages and Universal Automata. | Sylvain Lombardy, Jacques Sakarovitch |
| 2002 | MFCS | Derivation of Rational Expressions with Multiplicity. | Sylvain Lombardy, Jacques Sakarovitch |
| 2000 | DLT | On the Star Height of Rational Languages: A New Presentation for Two Old Results. | Sylvain Lombardy, Jacques Sakarovitch |