Jean-Marc Champarnaud

92 papers A 1B 2C 24Misc 1Journal 52Unranked 11
YearRankTypeTitle / Venue / Authors
2017 J jnl
Bottom-Up Quotients for Tree Languages.
J. Autom. Lang. Comb.
Jean-Marc Champarnaud, Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi
2016 J jnl
Constrained Expressions and their Derivatives.
Fundam. Informaticae
Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart
2015 J jnl
Bottom Up Quotients and Residuals for Tree Languages.
CoRR
Jean-Marc Champarnaud, Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi
2015 J jnl
Extended to multi-tilde-bar regular expressions and efficient finite automata constructions.
J. Discrete Algorithms
Faissal Ouardi, Jean-Marc Champarnaud, Djelloul Ziadi
2015 J jnl
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions.
Fundam. Informaticae
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot
2014 J jnl
A general framework for the derivation of regular expressions.
RAIRO Theor. Informatics Appl.
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2014 J jnl
Constrained Expressions and their Derivatives.
CoRR
Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart
2013 J jnl
A generic method for the enumeration of various classes of directed polycubes.
Discret. Math. Theor. Comput. Sci.
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
2013 J jnl
Derivatives of Approximate Regular Expressions.
Discret. Math. Theor. Comput. Sci.
Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot
2013 J jnl
Enumeration of Specific Classes of Polycubes.
Electron. J. Comb.
Jean-Marc Champarnaud, Quentin Cohen-Solal, Jean-Philippe Dubernard, Hadrien Jeanne
2013 J jnl
Extended to Multi-Tilde-Bar Regular Expressions and Efficient Finite Automata Constructions.
CoRR
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2013 J jnl
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions
CoRR
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot
2013 C conf
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions.
LATA
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot
2012 J jnl
A General Framework for the Derivation of Regular Expressions
CoRR
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2012 C conf
Approximate Regular Expressions and Their Derivatives.
LATA
Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot
2012 C conf
Decidability of Geometricity of Regular Languages.
Developments in Language Theory
Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy
2012 J jnl
Derivatives of Approximate Regular Expressions
CoRR
Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot
2012 J jnl
Geometrical regular languages and linear Diophantine equations: The strongly connected case.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
2012 C conf
Multi-Tilde-Bar Derivatives.
CIAA
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2012 J jnl
Multi-tilde-bar expressions and their automata.
Acta Informatica
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2012 J jnl
Obituary for Sheng Yu.
Theor. Comput. Sci.
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
2012 J jnl
Preface.
Theor. Comput. Sci.
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
2011 J jnl
Erratum to "Acyclic automata and small expressions using multi-tilde-bar operators" [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435].
Theor. Comput. Sci.
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2011 — conf
Geometrical Regular Languages and Linear Diophantine Equations.
DCFS
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
2011 C ed.
Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
CIAA
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
2011 J jnl
Multi-Bar and Multi-Tilde Regular Operators.
J. Autom. Lang. Comb.
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2011 C conf
Partial Derivatives of an Extended Regular Expression.
LATA
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2011 J jnl
Reduction Techniques for Acyclic Cover Transducers.
Fundam. Informaticae
Jean-Marc Champarnaud, Jacques Farré, Franck Guingne
2010 J jnl
Acyclic automata and small expressions using multi-tilde-bar operators.
Theor. Comput. Sci.
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2010 C conf
Geometricity of Binary Regular Languages.
LATA
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
2010 C conf
Regular Geometrical Languages and Tiling the Plane.
CIAA
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
2009 B conf
A New Family of Regular Operators Fitting with the Position Automaton Computation.
SOFSEM
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2009 J jnl
An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
2009 J jnl
An Efficient Computation of the Equation K-automaton of a Regular K-expression.
Fundam. Informaticae
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2009 C conf
Multi-tilde Operators and Their Glushkov Automata.
LATA
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2009 C conf
Small Extended Expressions for Acyclic Automata.
CIAA
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot
2008 J jnl
Algorithms for the Join and Auto-Intersection of Multi-Tape Weighted Finite-State Machines.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Franck Guingne, André Kempe, Florent Nicart
2008 C conf
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).
CIAA
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne
2007 C conf
An Efficient Computation of the Equation
Developments in Language Theory
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2007 C conf
Geometrical Languages.
LATA
Baptiste Blanpain, Jean-Marc Champarnaud, Jean-Philippe Dubernard
2007 J jnl
Labelling Multi-Tape Automata with Constrained Symbol Classes.
Int. J. Found. Comput. Sci.
Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe
2007 J jnl
Normalized Expressions and Finite Automata.
Int. J. Algebra Comput.
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2007 C conf
Reducing Acyclic Cover Transducers.
CIAA
Jean-Marc Champarnaud, Franck Guingne, Jacques Farré
2006 J jnl
From the ZPC Structure of a Regular Expression to its Follow Automaton.
Int. J. Algebra Comput.
Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi
2006 C conf
Multi-tape Automata with Symbol Classes.
CIAA
Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe
2005 C conf
A Class of Rational
CIAA
André Kempe, Jean-Marc Champarnaud, Jason Eisner, Franck Guingne, Florent Nicart
2005 J jnl
Brute force determinization of nfas by means of state covers.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën
2005 J jnl
Cover transducers for functions with finite domain.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Franck Guingne, Georges Hansel
2005 J jnl
Enumerating nondeterministic automata for a given language without constructing the canonical automaton.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Fabien Coulon
2005 J jnl
Erratum to "NFA reduction algorithms by means of regular inequalities" [TCS 327 (2004) 241-253].
Theor. Comput. Sci.
Jean-Marc Champarnaud, Fabien Coulon
2005 J jnl
Random generation of DFAs.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Thomas Paranthoën
2005 J jnl
Similarity relations and cover automata.
RAIRO Theor. Informatics Appl.
Jean-Marc Champarnaud, Franck Guingne, Georges Hansel
2005 — conf
WFSM Auto-intersection and Join Algorithms.
FSMNLP
André Kempe, Jean-Marc Champarnaud, Franck Guingne, Florent Nicart
2004 C conf
Brute Force Determinization of NFAs by Means of State Covers.
CIAA
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën
2004 J jnl
Compact and fast algorithms for safe regular expression search.
Int. J. Comput. Math.
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën
2004 C conf
Computing the Follow Automaton of an Expression.
CIAA
Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi
2004 J jnl
Derivatives of rational expressions and related theorems.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Gérard Duchamp
2004 — conf
Follow Automaton versus Equation Automaton.
DCFS
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi
2004 J jnl
From Regular Weighted Expressions To Finite Automata.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi
2004 J jnl
NFA reduction algorithms by means of regular inequalities.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Fabien Coulon
2004 J jnl
Random Generation Models for NFAs.
J. Autom. Lang. Comb.
Jean-Marc Champarnaud, Georges Hansel, Thomas Paranthoën, Djelloul Ziadi
2004 — conf
Reducing Cover Subsequential Transducers.
DCFS
Jean-Marc Champarnaud, Franck Guingne, Georges Hansel
2004 J jnl
Unavoidable Sets of Constant Length.
Int. J. Algebra Comput.
Jean-Marc Champarnaud, Georges Hansel, Dominique Perrin
2003 C conf
From Regular Weighted Expressions to Finite Automata.
CIAA
Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi
2003 C ed.
Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
CIAA
Jean-Marc Champarnaud, Denis Maurel
2003 C conf
NFA Reduction Algorithms by Means of Regular Inequalities.
Developments in Language Theory
Jean-Marc Champarnaud, Fabien Coulon
2003 — conf
Random DFAs over a Non-Unary Alphabet.
DCFS
Jean-Marc Champarnaud, Thomas Paranthoën
2003 J jnl
Theoretical study and implementation of the canonical automaton.
Fundam. Informaticae
Jean-Marc Champarnaud, Fabien Coulon
2003 J jnl
Virtual Operations On Virtual Networks: The Priority Union .
Int. J. Found. Comput. Sci.
Franck Guingne, Florent Nicart, Jean-Marc Champarnaud, Lauri Karttunen, Tamás Gaál, André Kempe
2002 J jnl
Canonical derivatives, partial derivatives and finite automaton constructions.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Djelloul Ziadi
2002 J jnl
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions.
Int. J. Found. Comput. Sci.
Jean-Marc Champarnaud
2002 — conf
NFAs bitstream-based random generation.
DCFS
Jean-Marc Champarnaud, Georges Hansel, Thomas Paranthoën, Djelloul Ziadi
2002 Misc conf
Split and join for minimizing: Brzozowski's algorithm.
PSC
Jean-Marc Champarnaud, Ahmed Khorsi, Thomas Paranthoën
2001 C conf
Brzozowski's Derivatives Extended to Multiplicities.
CIAA
Jean-Marc Champarnaud, Gérard Duchamp
2001 B conf
Computing the Equation Automaton of a Regular Expression in Space and Time.
CPM
Jean-Marc Champarnaud, Djelloul Ziadi
2001 J jnl
Foreword.
Theor. Comput. Sci.
Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi
2001 J jnl
From C-Continuations to New Quadratic Algorithms for Automaton Synthesis.
Int. J. Algebra Comput.
Jean-Marc Champarnaud, Djelloul Ziadi
2001 J jnl
From Mirkin's Prebases to Antimirov's Word Partial Derivatives.
Fundam. Informaticae
Jean-Marc Champarnaud, Djelloul Ziadi
2001 J jnl
Subset construction complexity for homogeneous automata, position automata and ZPC-structures.
Theor. Comput. Sci.
Jean-Marc Champarnaud
2000 C conf
Implicit Structures to Implement NFA's from Regular Expressions.
CIAA
Jean-Marc Champarnaud
2000 C conf
New Finite Automaton Constructions Based on Canonical Derivatives.
CIAA
Jean-Marc Champarnaud, Djelloul Ziadi
1999 J jnl
An Optimal Parallel Algorithm to Convert a Regular Expression into its Glushkov Automaton.
Theor. Comput. Sci.
Djelloul Ziadi, Jean-Marc Champarnaud
1999 — ed.
Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
WIA
Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi
1999 J jnl
From regular expressions to finite automata.
Int. J. Comput. Math.
Jean-Marc Champarnaud, Jean-Luc Ponty, Djelloul Ziadi
1999 — conf
SEA: A Symbolic Environment for Automata Theory.
WIA
Philippe Andary, Pascal Caron, Jean-Marc Champarnaud, Gérard Duchamp, Marianne Flouret, Éric Laugerotte
1998 — conf
Autographe: A Graphical Version of Automate.
Workshop on Implementing Automata
Are Uppman, Jean-Marc Champarnaud
1998 — conf
Automata and Binary Decision Diagrams.
Workshop on Implementing Automata
Jean-Francis Michon, Jean-Marc Champarnaud
1998 — conf
Determinization of Glushkov Automata.
Workshop on Implementing Automata
Jean-Marc Champarnaud, Djelloul Ziadi, Jean-Luc Ponty
1996 — conf
A New Quadratic Algorithm to Convert a Regular Expression into an Automaton.
Workshop on Implementing Automata
Jean-Luc Ponty, Djelloul Ziadi, Jean-Marc Champarnaud
1992 A conf
A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.
STACS
Jean-Marc Champarnaud
1991 J jnl
AUTOMATE, a Computing Package for Automata and Finite Semigroups.
J. Symb. Comput.
Jean-Marc Champarnaud, Georges Hansel
1989 J jnl
A maxmin problem on finite automata.
Discret. Appl. Math.
Jean-Marc Champarnaud, Jean-Eric Pin