Travaux en cours de publication

• Number representation and finite automata, (.pdf),
  Chapitre 2 de Combinatorics, Automata and Number Theory, (V. Berthé and M. Rigo, Eds.), © Cambridge University Press 2010, à paraître.
  (en collaboration avec Christiane Frougny)
  


• Corrigendum to our paper: ‘How expressions can code for automata’ (.pdf),
  (en collaboration avec Sylvain Lombardy)
  


• Lexicographic decomposition of k-valued transducers (.pdf)
  Theory of Computing Systems, à paraître.
  (en collaboration avec Rodrigo de Souza)
  

Publications récentes

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


• Radix enumeration of rational languages (.pdf),
  RAIRO - Theoret. Informatics and Appl. 44 (2010) 19--36.
  (en collaboration avec 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).
  (Version anglaise et corrigée de Éléments de théorie des automates, Vuibert (2003). Traduction de Reuben Thomas.)
  


• On the number of broken derived terms of a rational expression (.pdf)
  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
  (en collaboration avec Pierre-Yves Angrand and Sylvain Lombardy)
  


• 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.
  (en collaboration avec 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.
  (en collaboration avec Shigeki Akiyama et Christiane Frougny)
  Version journal de On the Representation of Numbers in a Rational Base (.pdf, abstract)
  Proc. of WORDS 2005 (S. Brlek et 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.
  (en collaboration avec Rodrigo de Souza)
  


• Weighted automata with discounting (.pdf)
  Information Proc. Letter, 108 (2008) 23--28 .
  (en collaboration avec 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.
  (en collaboration avec 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.
  (en collaboration avec 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).
  (en collaboration avec 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.
  (en collaboration avec Marie-Pierre Béal et Sylvain Lombardy)
  


• Sequential ? (.pdf, abstract)
  Theoret. Comput. Sci. 356 (2006) 224-244.
  (en collaboration avec Sylvain Lombardy)
  


• The Language, the Expression and the (small) Automaton (.pdf, abstract)
  Proc. of CIAA'2005 (J. Farré, I. Litovsky et 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 et S. Schmitz eds.) Lect. Notes in Comp. Sci. 3845 Springer (2006) 116-128.
  (en collaboration avec Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, et 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 et M. Ito, eds.) World Scientific (2005).
  


• On the equivalence of Z-automata (.pdf, abstract)
  Proc. of ICALP'05 (L. Caires et al., eds.), Lect. Notes in Comp. Sci. 3580 Springer (2005), 397-409.
  (en collaboration avec Marie-Pierre Béal et 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.
  (en collaboration avec 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 et W. Ritter, eds.), Lect. Notes in Comp. Sci. 2420 Springer (2002) 471-482.
  (en collaboration avec Sylvain Lombardy)
  


• Introducing Vaucanson (.pdf, abstract)
  Theoret. Comput. Sci. 328 (2004) 77-96.
  Version journal de: Proc. of CIAA'2003 (O. Ibarra et Z. Dang, eds.) Lect. Notes in Comp. Sci. 2759 Springer (2003) 96-107.
  (en collaboration avec Sylvain Lombardy, Raphaël Poss, et 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 et T. Imaoka, eds.) World Scientific (2003) 266--285.
  (en collaboration avec Sylvain Lombardy)
  


• Éléments de théorie des automates, Vuibert (2003).
  


• 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.
  (en collaboration avec 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.
  (en collaboration avec Marie-Pierre Béal, Olivier Carton et 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 et M. Rusinowitch eds.) Lect. Notes in Comp. Sci. 1641 Springer (1999) 356-370.
  (en collaboration avec Christiane Frougny)