Works to be published

• The enumerating series of an abstract numeration system (.pdf),
  Journées Montoises 2010.
  (joint work with Pierre-Yves Angrand)
  


• Corrigendum to our paper: ‘How expressions can code for automata’ (.pdf),
  RAIRO - Theoret. Informatics and Appl., to appear.
  (joint work with Sylvain Lombardy)
  


• On the number of broken derived terms of a rational expression (.pdf)
  J. Automata, Languages, and Combinatorics, to appear.
  (joint work with Pierre-Yves Angrand and Sylvain Lombardy)
  Journal version of Proc. DCFS 2009 , (J. Dassow, G. Pighizzini, B. Truthe, eds.), Otto-von-Guericke-Universität, Magdeburg (2009) 79--90. http://theo.cs.ovgu.de/dcfs2009
  

Recent publications

• Corrigendum to our paper: ‘How expressions can code for automata’ (.pdf),
  RAIRO - Theoret. Informatics and Appl., 44 (2010) 339--362.
  (joint work with Sylvain Lombardy)
  


• Number representation and finite automata, (.pdf),
  Chapitre 2 de Combinatorics, Automata and Number Theory, (V. Berthé and M. Rigo, Eds.),
  Encyclopedia of Mathematics and Its Applications 135, Cambridge University Press 2010, 34--107.
  (joint work with Christiane Frougny)
  


• Lexicographic decomposition of k-valued transducers (.pdf)
  Theory of Computing Systems 47, (2010), 758--785.
  (joint work with Rodrigo de Souza)


• Radix cross-sections for length morphisms (.pdf)
  Proc. LATIN 2010. (A. Lopez-Ortiz, ed.), Lect. Notes in Comp. Sci. 6034, Springer (2010) 184--195.
  (joint work with Sylvain Lombardy)
  


• Radix enumeration of rational languages (.pdf),
  RAIRO - Theoret. Informatics and Appl. 44 (2010) 19--36.
  (joint work with Pierre-Yves Angrand)
  


• Rational and recognisable power series (.pdf),
  Chapter IV in the Handbook of Weighted Automata, (M. Droste, W. Kuich and H. Vogler, Eds.), Springer (2009), 105--174.
  


• Elements of Automata Theory, Cambridge University Press (2009).
  (English edition with corrections of Éléments de théorie des automates, Vuibert (2003). Translation by Reuben Thomas.)
  


• An XML format proposal for the description of weighted automata, transducers and regular expressions (.pdf)
  Post-Proc. FSMNLP 2008 (J. Pikorski, B. Watson, A. Yli-Jyrä, eds.), IOS Press (2009) 199--206.
  (joint work with Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Florent Terrones)
  


• Powers of rationals modulo 1 and rational base number systems (.pdf, abstract)
  Israel J. Math. 168 (2008) 53--91.
  (joint work with Shigeki Akiyama et Christiane Frougny)
  Journal version of On the Representation of Numbers in a Rational Base (.pdf, abstract)
  Proc. of WORDS 2005 (S. Brlek and Ch. Reutenauer, eds.), Monographies du LaCIM 36 UQaM, Montréal, Canada (2005) 47-64.
  


• On the decidability of bounded valuedness of transducers (.pdf)
  Proc. of MFCS'08 (E.~Ochmanski, J.~Tyszkiewicz, eds.), Lect. Notes in Comp. Sci. 5162, Springer (2008) 588--600.
  (joint work with Rodrigo de Souza)
  


• Weighted automata with discounting (.pdf)
  Information Proc. Letter, 108 (2008) 23--28 .
  (joint work with Manfred Droste et Heiko Vogler)
  


• On the decomposition of k-valued rational relations (.pdf)
  Proc. of STACS'08 (S. Albers, P. Weil, eds.) 2008, 621--632.
  (joint work with Rodrigo de Souza)
  


• The universal automaton (.pdf)
  in Logic and Automata, History and Perspectives (J. Flum, E. Grädel and Th. Wilke, eds), Texts in Logic and Games 2 Amsterdam Univ. Press (2007) 457--504.
  (joint work with Sylvain Lombardy)
  


• On the cost and complexity of the successor function (.pdf)
  Proc. of WORDS 2007 (P. Arnoux, N. Bédaride, J. Cassaigne, eds.), CIRM, Luminy, Marseille (2007).
  (joint work with Valérie Berthé, Christiane Frougny, Michel Rigo)
  


• Conjugacy and equivalence of weighted automata and functional transducers (.pdf, abstract)
  Proc. of CSR'06 (D. Grigoriev, J. Harrison and E. A. Hirsch, eds.), Lect. Notes in Comp. Sci. 3967 Springer (2006) 58-69.
  (joint work with Marie-Pierre Béal et Sylvain Lombardy)
  


• Sequential ? (.pdf, abstract)
  Theoret. Comput. Sci. 356 (2006) 224-244.
  (joint work with Sylvain Lombardy)
  


• The Language, the Expression and the (small) Automaton (.pdf, abstract)
  Proc. of CIAA'2005 (J. Farré, I. Litovsky and S. Schmitz eds.) Lect. Notes in Comp. Sci. 3845 Springer (2006) 15-30.
  


• Inside Vaucanson (.pdf, abstract)
  Proc. of CIAA'2005 (J. Farré, I. Litovsky and S. Schmitz eds.) Lect. Notes in Comp. Sci. 3845 Springer (2006) 116-128.
  (joint work with Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, and Louis-Noël Pouchet)
  


• The rational skimming theorem (.pdf, abstract)
  in The Mathematical Foundation of Informatics, Proc. of the conf., Hanoï, Vietnam, 1999 (Do Long Van and M. Ito, eds.) World Scientific (2005).
  


• On the equivalence of Z-automata (.pdf, abstract)
  Proc. of ICALP'05 (L. Caires and al., eds.), Lect. Notes in Comp. Sci. 3580 Springer (2005), 397-409.
  (joint work with Marie-Pierre Béal and Sylvain Lombardy)
  


• How expressions can code for automata (.pdf, résumé & abstract)
  RAIRO- Theoret. Informatics and Appl. 39 (2005) 217-237.
  Version journal de: Proc. of LATIN'2004 (M.~Farach-Colton, ed.) Lect. Notes in Comp. Sci. 2976 Springer (2004) 242-251.
  (joint work with Sylvain Lombardy)
  


• Derivatives of rational expressions with multiplicity (.pdf, résumé & abstract)
  Theoret. Comput. Sci. 332 (2005) 141-177.
  Version journal de: Proc. of MFCS'2002 (K. Diks and W. Ritter, eds.), Lect. Notes in Comp. Sci. 2420 Springer (2002) 471-482.
  (joint work with Sylvain Lombardy)
  


• Introducing Vaucanson (.pdf, abstract)
  Theoret. Comput. Sci. 328 (2004) 77-96.
  Version journal de: Proc. of CIAA'2003 (O. Ibarra and Z. Dang, eds.) Lect. Notes in Comp. Sci. 2759 Springer (2003) 96-107.
  (joint work with Sylvain Lombardy, Raphaël Poss, and Yann Régis-Gianas)
  


• On the star height of rational languages, a new presentation for two old results
  in Words, Languages & Combinatorics~III , Proc. of the Int. Colloquium Kyoto, Japan, 2000 (M. Ito and T. Imaoka, eds.) World Scientific (2003) 266--285.
  (joint work with Sylvain Lombardy)
  


• The finite power property in free groups
  Theoret. Comput. Sci. 293 (2003) 55-82.
  Version journal de: Idempotency (J. Gunawardena, ed.), Cambridge University Press (1998) 80-87.
  (joint work with Flavio d'Alessandro)
  


• Squaring transducers
  Theoret. Comput. Sci. 292 (2003) 45-63.
  Version journal de: Proc. of LATIN 2000 (G. Gonnet & D. Panario, eds.), Lect. Notes in Comp. Sci. 1776 Springer (2000) 397-406.
  (joint work with Marie-Pierre Béal, Olivier Carton and Christophe Prieur)
  


• Two groups associated with quadratic Pisot units
  Int. J. of Algebra and Computation 12 (2002) 825-847.
  Version journal de: Proc. of RTA'99 (P. Narendran and M. Rusinowitch eds.) Lect. Notes in Comp. Sci. 1641 Springer (1999) 356-370.
  (joint work with Christiane Frougny)