Revues internationales avec comité de lecture

1. New types of automata to solve fixed point problems (abstract)
   TCS (Theoretical Computer Science), vol 259/1-2, pp.183-197, 2001
   (Rapport interne 98.10 en format postscript gzipé / internal report in .gz.ps format)
2. A solution to the problem of (A,B)-invariance for series (abstract)
   TCS (Theoretical Computer Science), vol 293/1, pp.115-139, 2003
   (Rapport interne 99.08 en format postscript gzipé (version corrigée) / internal report in .gz.ps format)
3. Some representations for series on idempotent semirings
   Kybernetika, vol 39/2, pp.177-192, 2003
   (Rapport interne 2003-001 en format postscript gzipé / internal report in .gz.ps format)
   version journal de / journal version of Workshop on Max-Plus Algebras
4. Deciding unambiguity and sequentiality from a finitely ambiguous automaton (Abstract)
   avec / with Sylvain Lombardy, Jean Mairesse & Christophe Prieur
   TCS (Theoretical Computer Science), vol 327/3, pp.349-373, 2004
   (Rapport interne 2003-018 en format postscript gzipé / internal report in .gz.ps format)
   version journal de / journal version of DLT 2003
5. On the supports of recognizable series over a field and a single letter alphabet
   avec / with Guillaume Chapuy
   IPL (Information Processing Letters), vol 111, pp. 1096-1098, 2011
   doi:10.1016/j.ipl.2011.09.010
6. On the finiteness problem for automaton (semi)groups
   avec / with Ali Akhavi, Sylvain Lombardy, Jean Mairesse & Matthieu Picantin
   IJAC (International Journal of Algebra and Computation) - à paraître / to appear, 2012
   arXiv

Conférences internationales avec comité de lecture

1. Some applications of multi-automata to fixed point problems
   FICS 2000 (FIxed Points in Computer Science):
2. Several types of representations for series on idempotent semirings
          - or how to go beyond recognizability keeping representability
   Proceedings of the Satellite Workshop on Max-Plus Algebras, 27-29 August, 2001, Praha, (S. Gaubert and J. J. Loiseau editors), IFAC SSSC 01, Elsevier Science.
3. Deciding the sequentiality of a finitely ambiguous Max-Plus automaton (abstract)
   avec / with Sylvain Lombardy, Jean Mairesse & Christophe Prieur
   Proc. of DLT 2003, Lect. Notes in Comp. Sci., 2710 (Springer, 2003), 373-385.
4. Implementing computations in automaton (semi)groups
   avec / with Jean Mairesse & Matthieu Picantin
   CIAA 2012, â paraître dans / to appear in LNCS 7381

Divers

1. Thèse de Doctorat / Ph.D. Thesis: Langages, séries et contrôle de trajectoires
   postscript.gz, pdf, résumé / abstract (en Anglais / in English)
2. mémoire de DEA : Systèmes à événements discrets, synthèse d'un superviseur.