AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups. - Pascal Caron (TAPSOFT, 1997)

AG: A Set of Maple Packages for Manipulating Automata and Semigroups. - Pascal Caron (Softw. Pract. Exp., 1997)

SEA: A Symbolic Environment for Automata Theory. - Philippe Andary; Pascal Caron; Jean-Marc Champarnaud; Gérard Duchamp; Marianne Flouret; Éric Laugerotte (WIA, 1999)

Glushkov Construction for Multiplicities. - Pascal Caron; Marianne Flouret (CIAA, 2000)

LANGAGE: A Maple Package for Automaton Characterization of Regular Languages. - Pascal Caron (Theor. Comput. Sci., 2000)

Families of locally testable languages. - Pascal Caron (Theor. Comput. Sci., 2000)

Characterization of Glushkov automata. - Pascal Caron; Djelloul Ziadi (Theor. Comput. Sci., 2000)

Star Normal Form, Rational Expressions, and Glushkov WFAs Properties. - Pascal Caron; Marianne Flouret (CIAA, 2002)

From Glushkov WFAs to Rational Expressions. - Pascal Caron; Marianne Flouret (Developments in Language Theory, 2003)

Glushkov Construction for Series: The Non Commutative Case. - Pascal Caron; Marianne Flouret (Int. J. Comput. Math., 2003)

Multi-tilde Operators and Their Glushkov Automata. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (LATA, 2009)

A New Family of Regular Operators Fitting with the Position Automaton Computation. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (SOFSEM, 2009)

Small Extended Expressions for Acyclic Automata. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (CIAA, 2009)

Algorithms for Glushkov K-graphs - Pascal Caron; Marianne Flouret (CoRR, 2009)

On Glushkov K-graphs. - Pascal Caron; Marianne Flouret (Scientific Applications of Language Methods, 2010)

Acyclic automata and small expressions using multi-tilde-bar operators. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (Theor. Comput. Sci., 2010)

Generalized One-Unambiguity. - Pascal Caron; Yo-Sub Han; Ludovic Mignot (Developments in Language Theory, 2011)

Partial Derivatives of an Extended Regular Expression. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (LATA, 2011)

From Glushkov WFAs to K-Expressions. - Pascal Caron; Marianne Flouret (Fundam. Informaticae, 2011)

Multi-Bar and Multi-Tilde Regular Operators. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (J. Autom. Lang. Comb., 2011)

Erratum to "Acyclic automata and small expressions using multi-tilde-bar operators" [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (Theor. Comput. Sci., 2011)

Multi-Tilde-Bar Derivatives. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (CIAA, 2012)

Multi-tilde-bar expressions and their automata. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (Acta Informatica, 2012)

Obituary for Sheng Yu. - Béatrice Bouchou-Markhoff; Pascal Caron; Jean-Marc Champarnaud; Denis Maurel (Theor. Comput. Sci., 2012)

Preface. - Béatrice Bouchou-Markhoff; Pascal Caron; Jean-Marc Champarnaud; Denis Maurel (Theor. Comput. Sci., 2012)

(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. - Pascal Caron; Marianne Flouret; Ludovic Mignot (LATA, 2014)

(k, l)-Unambiguity and Quasi-Deterministic Structures. - Pascal Caron; Marianne Flouret; Ludovic Mignot (CoRR, 2014)

A general framework for the derivation of regular expressions. - Pascal Caron; Jean-Marc Champarnaud; Ludovic Mignot (RAIRO Theor. Informatics Appl., 2014)

On the Hierarchy of Block Deterministic Languages. - Pascal Caron; Ludovic Mignot; Clément Miklarz (CIAA, 2015)

State complexity of multiple catenation. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (CoRR, 2016)

State Complexity of Catenation Combined with a Boolean Operation: A Unified Approach. - Pascal Caron; Jean-Gabriel Luque; Ludovic Mignot; Bruno Patrou (Int. J. Found. Comput. Sci., 2016)

State complexity of catenation combined with boolean operations. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (CoRR, 2017)

On the decidability of $k$-Block determinism. - Pascal Caron; Ludovic Mignot; Clément Miklarz (CoRR, 2017)

On the hierarchy of generalizations of one-unambiguous regular languages. - Pascal Caron; Ludovic Mignot; Clément Miklarz (Theor. Comput. Sci., 2017)

State Complexity of Multiple Catenations. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (Fundam. Informaticae, 2018)

Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque (GandALF, 2019)

(k,l)-Unambiguity and Quasi-Deterministic Structures. - Pascal Caron; Marianne Flouret; Ludovic Mignot (J. Autom. Lang. Comb., 2019)

State complexity of combined operations involving catenation and binary Boolean operations: Beyond the Brzozowski conjectures. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (Theor. Comput. Sci., 2019)

A Study of a Simple Class of Modifiers: Product Modifiers. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque (DLT, 2020)

The state complexity of a class of operations involving roots and boolean operations. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque (CoRR, 2020)

New tools for state complexity. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque; Bruno Patrou (Discret. Math. Theor. Comput. Sci., 2020)

A Combinatorial Approach for the State Complexity of the Shuffle Product. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (J. Autom. Lang. Comb., 2020)

State complexity of the star of a Boolean operation. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque (CoRR, 2022)

Combination of roots and boolean operations: An application to state complexity. - Pascal Caron; Edwin Hamel-De le Court; Jean-Gabriel Luque (Inf. Comput., 2022)

Operational State Complexity Revisited: The Contribution of Monsters and Modifiers. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (DCFS, 2023)

The Exact State Complexity for the Composition of Root and Reversal. - Pascal Caron; Alexandre Durand; Bruno Patrou (DLT, 2023)

Presentation of monoids generated by a projection and an involution. - Pascal Caron; Jean-Gabriel Luque; Bruno Patrou (CoRR, 2024)