Pascal Caron

• Chapitres de livres :
• On Glushkov K-Graphs.
  (en collaboration avec M. Flouret) in Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, Carlos Martin-Vide (ed.). Scientific Applications of Language Methods. Imperial College Press: London, 103-132, 2010.
  
  



• Revues avec comité de lecture :
• Combination of roots and boolean operations: An application to state complexity
  (en collaboration avec Edwin Hamel-de le court, et Jean-Gabriel Luque)
  Information and Computation. 289(part): 104961, 2022.
  
  
• A combinatorial approach for the state complexity of the shuffle product
  (en collaboration avec Jean-Gabriel Luque, et Bruno Patrou)
  Journal of Automata, Languages and Combinatorics. 25(4): 291-320, 2020.
  
  
• New tools for state complexity
  (en collaboration avec Edwin Hamel-De-Le-Court, Jean-Gabriel Luque, et Bruno Patrou)
  Discret. Math. Theor. Comput. Sci. 22(1), 2020.
  
  
• (k,l)-Unambiguity and quasi-deterministic Structures
  (en collaboration avec Marianne Flouret, et Ludovic Mignot)
  Journal of Automata, Languages and Combinatorics. 24(1): 13-49, 2019.
  
  
• State complexity of combined operations involving catenation and binary Boolean operations: beyond the Brzozowski conjectures
  (en collaboration avec Jean-Gabriel Luque, et Bruno Patrou)
  Theoret. Comp. Sci. 800: 15-30, 2019.
  
  
• State complexity of multiple catenations
  (en collaboration avec Jean-Gabriel Luque, et Bruno Patrou)
  Fund. Inform. 160(3): 255-279, 2018.
  
  
• On the hierarchy of generalizations of one-unambiguous languages
  (en collaboration avec Clément Miklarz et Ludovic Mignot)
  Theor. Comput. Sci. 679: 95-106, 2017.
  
  
• State complexity of catenation combined with a boolean operation: a unified approach
  (en collaboration avec Jean-Gabriel Luque, Ludovic Mignot et Bruno Patrou)
  Int. J. of Foundations of Computer Science. 27(06): 675-703, 2016.
  
  
• A general framework for the derivation of regular expressions
  (en collaboration avec Jean-Marc Champarnaud et Ludovic Mignot)
  RAIRO- Theoretical Informatics and Applications. 48(03): 281-305, 2014.
  
  
• Multi-tilde-bar expressions and their automata
  (en collaboration avec Jean-Marc Champarnaud et Ludovic Mignot)
  Acta Informatica. 49(6): 413-436, 2012.
  
  
• Multi-Bar and Multi-Tilde Regular Operators
  (en collaboration avec Jean-Marc Champarnaud et Ludovic Mignot)
  Journal of Automata, Languages and Combinatorics. 16(1): 11-26, 2011.
  
  
• From Glushkov WFAs to K-expressions
  (en collaboration avec Marianne Flouret)
  Fund. Inform. 109(1): 1-25, 2011.
  
  
• Acyclic automata and small expressions using multi-tilde-bar operators
  (en collaboration avec Jean-Marc Champarnaud et Ludovic Mignot)
  Theoret. Comput. Sci. 411(38-39): 3423-3435, 2010.
  
  
• Glushkov construction for series: the non commutative case.
  (en collaboration avec Marianne Flouret)
  Internat. J. Comput. Math. 80(4): 457-472, 2003.
  
  
• Characterization of Glushkov automata.
  (en collaboration avec Djelloul Ziadi)
  Theoret. Comput. Sci. 233(1-2): 75-90, 2000.
  
  
• Families of locally testable languages.
  Theoret. Comput. Sci. 241(1-2): 361-376, 2000.
  
  
• Langage: A Maple Package for automaton characterization of regular languages.
  Theoret. Comput. Sci. 231(1): 5-15, 2000.
  
  
• AG: A set of Maple packages for manipulating automata and finite semigroups.
  Software-Practice & Experience, 27(8):863-884, 1997.
  
  



• Colloques d'audience internationale avec comité de programme :
• A Study of a Simple Class of Modifiers: Product Modifiers.
  (en collaboration avec E. Hamel-De le court et J-G. Luque)
  In Proceedings of the 24th International Conference on Developments in Language Theory (DLT 2020) Lect. Notes in Comp. Sci. 12086, Springer, 110-121.
  
  
• Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem.
  (en collaboration avec E. Hamel-De le Court et J-G. Luque)
  In Proceedings of the 10th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), EPTCS 305, 154-168.
  
  
• On the Hierarchy of Block Deterministic Languages.
  (en collaboration avec L. Mignot et C. Miklarz)
  In Proceedings of the 20th International Conference on Implementation and Application of Automata (CIAA'15) Lect. Notes in Comp. Sci 9223, Springer 63-75.
  
  
• (k,l)-Unambiguity and Quasi-Deterministic Structures: an Alternative for the Determinization.
  (en collaboration avec M. Flouret et L. Mignot)
  Exposé à LATA'2014
  In Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA'14) Lect. Notes in Comp. Sci 8370, Springer, 260-272.
  
  
• Multi-Tilde-Bar Expressions and their Derivatives.
  (en collaboration avec J.-M. Champarnaud et L. Mignot)
  In Proceedings of the 17th International Conference on Implementation and Application of Automata (CIAA'12) Lect. Notes in Comp. Sci. 7381, Springer, 321-329.
  
  
• Generalized One-Unambiguity
  (en collaboration avec Y-S Han et L. Mignot)
  In Proceedings of the 15th International Conference on Developments in Language Theory (DLT 2011) Lect. Notes in Comp. Sci. 6795, Springer, 129-140.
  
  
• Partial Derivatives of an Extended Regular Expression
  (en collaboration avec J.-M. Champarnaud et L. Mignot)
  Exposé à LATA'2011
  In Proceedings of the 5th International Conference on Language and Automata Theory and Applications (LATA'11) Lect. Notes in Comp. Sci. 6638, Springer, 179-191.
  
  
• Small extended expressions for acyclic automata.
  (en collaboration avec J.-M. Champarnaud et L. Mignot)
  In Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA'09) Lect. Notes in Comp. Sci. 5642, Springer, 198-207.
  
  
• Multi-tilde operators and their Glushkov automata.
  (en collaboration avec J.-M. Champarnaud et L. Mignot)
  In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09) Lect. Notes in Comp. Sci. 5457, Springer, 290-301.
  
  
• A new family of regular operators fitting with the position automaton computation.
  (en collaboration avec J.-M. Champarnaud et L. Mignot)
  In Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09) Lect. Notes in Comp. Sci. 5404, Springer, 645-655.
  
  
• From Glushkov WFAs to rational expressions.
  (en collaboration avec M. Flouret)
  Exposé à DLT'03
  Proc. of DLT 2003, Lect. Notes in Comp. Sci., 2710 (Springer, 2003), 373-385.
  
  
• Star normal form, rational expressions and Glushkov WFA.
  (en collaboration avec M. Flouret)
  Exposé à CIAA'02
  Proc. of CIAA 2002, Lect. Notes in Comp. Sci., 2608 (Springer, 2003), 248-254.
  
  
• Glushkov construction for multiplicities.
  (en collaboration avec M. Flouret)
  Exposé à CIAA'00
  Proc. of CIAA 2000, Lect. Notes in Comp. Sci., 2088 (Springer, 2001), 67-79. (Postscript)
  
  
• SEA: A Symbolic Environment for Automata theory.
  (en collaboration avec P. Andary, J.-M. Champarnaud, G. Duchamp, M. Flouret et E. Laugerotte)
  Exposé à WIA'99
  Proc. of WIA 1999, Lect. Notes in Comp. Sci., 2214 (Springer, 2001), 13-26. (Postscript)
  
  
• Langage: A Maple package for automaton characterization of regular languages.
  Exposé à WIA'97
  Proc. of WIA 1997, Lect. Notes in Comp. Sci., 1436 (Springer, 1998), 46-55. (Postscript)
  
  
• AG: A set of Maple packages for symbolic computing of automata and semigroups.
  Exposé à TAPSOFT 1997
  Proc. of TAPSOFT 1997, Lect. Notes in Comp. Sci., 1214 (Springer, 1997), 879-882. (Postscript)
  
  


• Logiciel
• AGL: Un ensemble de paquetages Maple pour la manipulation d'automates, de demi-groupes et de langages rationnels.
• Logiciel AGL Version 1.0.
• Manuel d'utilisateur.


• Mon Habilitation à Diriger des Recherches : Une contribution à l'étude des automates pour les langages rationnels et les séries rationnelles (2011)
• Texte intégral
  Cette habilitation regroupe quatre parties. La première traite du problème de l'algorithmique des automates pondérés, appelé K-automates (construire un automate à partir d'une expression, caractérisation des K-automates de Glushkov, nouvelles formes de K-expressions rationnelles). La seconde partie de ce mémoire est dédiée aux nouveaux opérateurs de tildes et de barres permettant de supprimer ou d'ajouter le mot vide dans le langage de facteurs chevauchants. La troisième partie traite des derivées de Brzozowski et d'Antimirov ainsi que de leurs extensions (généralisation des dérivées sur les nouveaux opérateurs de tildes et de barres, généralisation de la construction d'Antimirov aux expressions avec intersection et complémentaires. La dernière partie de ce mémoire est dédiée aux langages faiblement 1-nonambigu. Ces langages sont une extension au complémentaire des langages 1-non-ambigus définis par Bruggemann-Klein et Wood.


• Ma thèse : Langages rationnels et automates, de la théorie à l'implémentation (1997)
• Texte intégral (postscript gzipé, 375Ko)
  Cette thèse constitue un point de départ pour la programmation d'un système de calcul formel sur les automates, les demi-groupes et les langages rationnels.
  On y trouve la caractérisation des automates construits selon l'algorithme de Glushkov.
  Des caractérisations de familles de langages testables à partir de leurs automates minimaux y sont également décrites.
  Le logiciel AGL regroupe un ensemble de packages Maple sur les automates, les demi-groupes et les langages rationnels. L'ensemble des algorithmes déduits des caractérisations y est implanté.
  Ce logiciel constitue un prototype pour un système de calcul formel dédié aux automates, aux demi-groupes et aux langages rationnels.