| 2013 | LATA | Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions. | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot |
| 2012 | DLT | Decidability of Geometricity of Regular Languages. | Marie-Pierre Bal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy |
| 2012 | LATA | Approximate Regular Expressions and Their Derivatives. | Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot |
| 2011 | LATA | Partial Derivatives of an Extended Regular Expression. | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
| 2010 | LATA | Geometricity of Binary Regular Languages. | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
| 2009 | LATA | Multi-tilde Operators and Their Glushkov Automata. | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
| 2009 | SOFSEM | A New Family of Regular Operators Fitting with the Position Automaton Computation. | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
| 2007 | DLT | An Efficient Computation of the Equation | Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi |
| 2007 | LATA | Geometrical Languages. | Baptiste Blanpain, Jean-Marc Champarnaud, Jean-Philippe Dubernard |
| 2003 | DLT | NFA Reduction Algorithms by Means of Regular Inequalities. | Jean-Marc Champarnaud, Fabien Coulon |
| 2001 | CPM | Computing the Equation Automaton of a Regular Expression in Space and Time. | Jean-Marc Champarnaud, Djelloul Ziadi |
| 1992 | STACS | A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups. | Jean-Marc Champarnaud |