| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot |
Approximate Regular Expressions and Their Derivatives.  |
LATA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Erratum to "Acyclic automata and small expressions using multi-tilde-bar operators" [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435].  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jacques Farré, Franck Guingne |
Reduction Techniques for Acyclic Cover Transducers.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Partial Derivatives of an Extended Regular Expression.  |
LATA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne |
Geometrical Regular Languages and Linear Diophantine Equations.  |
DCFS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel (eds.) |
Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings  |
CIAA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Acyclic automata and small expressions using multi-tilde-bar operators.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Geometricity of Binary Regular Languages.  |
LATA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Regular Geometrical Languages and Tiling the Plane.  |
CIAA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
An Efficient Algorithm to Test Whether a Binary and Prolongeable Regular Language is Geometrical.  |
Int. J. Found. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi |
An Efficient Computation of the Equation K-automaton of a Regular K-expression.  |
Fundam. Inform.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Multi-tilde Operators and Their Glushkov Automata.  |
LATA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
A New Family of Regular Operators Fitting with the Position Automaton Computation.  |
SOFSEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Small Extended Expressions for Acyclic Automata.  |
CIAA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Franck Guingne, André Kempe, Florent Nicart |
Algorithms for the Join and Auto-Intersection of Multi-Tape Weighted Finite-State Machines.  |
Int. J. Found. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).  |
CIAA  |
2008 |
DBLP DOI BibTeX RDF |
minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages |
| 1 | Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi |
Normalized Expressions and Finite Automata.  |
IJAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe |
Labelling Multi-Tape Automata with Constrained Symbol Classes.  |
Int. J. Found. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Blanpain, Jean-Marc Champarnaud, Jean-Philippe Dubernard |
Geometrical Languages.  |
LATA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi |
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression.  |
Developments in Language Theory  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Franck Guingne, Jacques Farré |
Reducing Acyclic Cover Transducers.  |
CIAA  |
2007 |
DBLP DOI BibTeX RDF |
subsequential transducer, cover transducer for a finite subsequential function, finite state transducer, state reduction |
| 1 | Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi |
From the ZPC Structure of a Regular Expression to its Follow Automaton.  |
IJAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe |
Multi-tape Automata with Symbol Classes.  |
CIAA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Thomas Paranthoën |
Random generation of DFAs.  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon |
Erratum to "NFA reduction algorithms by means of regular inequalities" [TCS 327 (2004) 241-253].  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Franck Guingne, Georges Hansel |
Similarity relations and cover automata.  |
ITA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën |
Brute force determinization of nfas by means of state covers.  |
Int. J. Found. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Franck Guingne, Georges Hansel |
Cover transducers for functions with finite domain.  |
Int. J. Found. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon |
Enumerating nondeterministic automata for a given language without constructing the canonical automaton.  |
Int. J. Found. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | André Kempe, Jean-Marc Champarnaud, Franck Guingne, Florent Nicart |
WFSM Auto-intersection and Join Algorithms.  |
FSMNLP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | André Kempe, Jean-Marc Champarnaud, Jason Eisner, Franck Guingne, Florent Nicart |
A Class of Rational n-WFSM Auto-intersections.  |
CIAA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Gérard Duchamp |
Derivatives of rational expressions and related theorems.  |
Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon |
NFA reduction algorithms by means of regular inequalities.  |
Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Georges Hansel, Dominique Perrin |
Unavoidable Sets of Constant Length.  |
IJAC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi |
From Regular Weighted Expressions To Finite Automata.  |
Int. J. Found. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Georges Hansel, Thomas Paranthoën, Djelloul Ziadi |
Random Generation Models for NFAs.  |
Journal of Automata, Languages and Combinatorics  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën |
Compact and fast algorithms for safe regular expression search.  |
Int. J. Comput. Math.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Franck Guingne, Georges Hansel |
Reducing Cover Subsequential Transducers.  |
DCFS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi |
Follow Automaton versus Equation Automaton.  |
DCFS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën |
Brute Force Determinization of NFAs by Means of State Covers.  |
CIAA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi |
Computing the Follow Automaton of an Expression.  |
CIAA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Guingne, Florent Nicart, Jean-Marc Champarnaud, Lauri Karttunen, Tamás Gaál, André Kempe |
Virtual Operations On Virtual Networks: The Priority Union .  |
Int. J. Found. Comput. Sci.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon |
Theoretical study and implementation of the canonical automaton.  |
Fundam. Inform.  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Fabien Coulon |
NFA Reduction Algorithms by Means of Regular Inequalities.  |
Developments in Language Theory  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Thomas Paranthoën |
Random DFAs over a Non-Unary Alphabet.  |
DCFS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi |
From Regular Weighted Expressions to Finite Automata.  |
CIAA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Denis Maurel (eds.) |
Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers  |
CIAA  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi |
Canonical derivatives, partial derivatives and finite automaton constructions.  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud |
Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions.  |
Int. J. Found. Comput. Sci.  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Georges Hansel, Thomas Paranthoën, Djelloul Ziadi |
NFAs bitstream-based random generation.  |
DCFS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi |
Foreword.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud |
Subset construction complexity for homogeneous automata, position automata and ZPC-structures.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi |
From C-Continuations to New Quadratic Algorithms for Automaton Synthesis.  |
IJAC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi |
From Mirkin's Prebases to Antimirov's Word Partial Derivatives.  |
Fundam. Inform.  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi |
Computing the Equation Automaton of a Regular Expression in Space and Time.  |
CPM  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Gérard Duchamp |
Brzozowski's Derivatives Extended to Multiplicities.  |
CIAA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi |
New Finite Automaton Constructions Based on Canonical Derivatives.  |
CIAA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud |
Implicit Structures to Implement NFA's from Regular Expressions.  |
CIAA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Djelloul Ziadi, Jean-Marc Champarnaud |
An Optimal Parallel Algorithm to Convert a Regular Expression into its Glushkov Automaton.  |
Theor. Comput. Sci.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Andary, Pascal Caron, Jean-Marc Champarnaud, Gérard Duchamp, Marianne Flouret, Éric Laugerotte |
SEA: A Symbolic Environment for Automata Theory.  |
WIA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.) |
Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers  |
WIA  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Are Uppman, Jean-Marc Champarnaud |
Autographe: A Graphical Version of Automate.  |
Workshop on Implementing Automata  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Francis Michon, Jean-Marc Champarnaud |
Automata and Binary Decision Diagrams.  |
Workshop on Implementing Automata  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Djelloul Ziadi, Jean-Luc Ponty |
Determinization of Glushkov Automata.  |
Workshop on Implementing Automata  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Ponty, Djelloul Ziadi, Jean-Marc Champarnaud |
A New Quadratic Algorithm to Convert a Regular Expression into an Automaton.  |
Workshop on Implementing Automata  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud |
A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups.  |
STACS  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Georges Hansel |
AUTOMATE, a Computing Package for Automata and Finite Semigroups.  |
J. Symb. Comput.  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Eric Pin |
A maxmin problem on finite automata.  |
Discrete Applied Mathematics  |
1989 |
DBLP DOI BibTeX RDF |
|