Research interests.

My research interests focus on languages recognizable (by automaton) of words whose shape is an infinite structure (for example and ordinal, or more generally a linear ordering, or a poset.) Mon activité de recherche expliquée aux étudiants en informatique (tentative).

I am also interested in Java Virtual Machines.

Publications [bibtex entries] [from the bibtool of the laboratory: by topic or by type]

Recognizability of languages of transfinite words

• Schützenberger and Eilenberg theorems for words on linear orderings
  With Chloé Rispal. Journal of Computer and System Science, Vol. 78, Issue 2, pp. 517-536, March 2012. doi:10.1016/j.jcss.2011.06.003
• Series-parallel languages on scattered and countable posets
  With Chloé Rispal. Theoretical Computer Science. Vol. 412, Issue 22 (may 2011). Pages 2356-2369. doi:10.1016/j.tcs.2011.01.016
• Logic and rational languages of words indexed by linear orderings
  With Alexis Bès, Olivier Carton, and Chloé Rispal. Theory of Computing Systems (special issue of CSR'08). Volume 46, Issue 4 (2010), Page 737-760. doi:10.1007/s00224-009-9222-6
• Logic and bounded-width rational languages of posets over countable scattered linear orderings
  Proceedings of LFCS 2009, Deerfield Beach, Florida, U.S.A., S. Artemov and A. Nerode Eds, vol. 5407 of Lecture Notes in Computer Science, pp 61-75, 2009.
• Logic and rational languages of words indexed by linear orderings
  With Alexis Bès, Olivier Carton, and Chloé Rispal. Proceedings of CSR 2008, Moscow, Russia, Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov and Anatol Slissenko Eds, vol. 5010 of Lecture Notes in Computer Science, pp 76-85, 2008.
• Series-parallel languages on scattered and countable posets
  With Chloé Rispal. Proceedings of MFCS 2007: 32nd International Symposium on Mathematical Foundations of Computer Science, Český Krumlov, Czech Republic, L. Kučera and A. Kučera Eds, vol. 4708 of Lecture Notes in Computer Science, pp 477-488, 2007.
• Schützenberger and Eilenberg theorems for words on linear orderings
  With Chloé Rispal. Proceedings of DLT 2005: Nineth International Conference on Developments in Language Theory, Palermo, Italy, C. De Felice and A. Restivo Eds, vol. 3572 of Lecture Notes in Computer Science, pp 134-145, 2005.
• Logic over words on denumerable ordinals
  Journal of Computer and System Science, vol. 63, N. 3, pp 394-431, Nov. 2001.
• An Eilenberg theorem for words on countable ordinals
  With Olivier Carton. Proceedings of Latin'98: Theoretical Informatics, vol. 1380 of Lecture Notes in Computer Science, pp. 53-64, April 1998.
• Star-free sets of words on ordinals
  Information and Computation, vol. 166, pp 93-111, 2001.
• Automata, semigroups and recognizability of words on ordinals
  International Journal of Algebra and Computation, vol. 8, num. 1, pp 1-21, February 1998.
• Finite automata and ordinals
  Theoretical Computer Science, vol. 156, pp 119-144, March 1996.

Generic programming - Java

• Corosol, une JVM modulaire parametrable à la volée
  Avec Christophe Deleray, Gilles Roussel et Etienne Duris. Actes de la conférence francophone Langages et Modèles à Objets (LMO'04), Lille, France. Revue L'Objet, éditions Hermès, Vol.10, 2004. pp 89-102.
• MyJVM: a 100% pure Java parameterizable virtual machine
  With Christophe Deleray, Gilles Roussel, Etienne Duris and Rémi Forax. Proceedings of the Second International Conference on the Principles and Practice of Programming in Java, Kilkenny City, Ireland. pp 117-119, June 2003. ACM International Conferences Proceedings Series.
  

Thesis

• Automates, logiques et algèbres: un peu d'ordres !, Habilitation à diriger des recherches, Décembre 2010, Université Paris-Est.
• Langages reconnaissables de mots indexés par des ordinaux (Recognizable languages of words indexed by ordinals), PhD thesis, January 1998, University of Marne-la-Vallée, France.

The publications of the algorithmic team of the laboratory

Former and current students

• 2010, May-Sept (Master 1): Grégory Châtel.
• 2009, May-Sept (Licence 3): Grégory Châtel.
• 2007, Apr-Sept (Master 2): Saïd Rabie.
• 2001-2006 (PhD thesis): Christophe Deleray. "Corosol, a dynamically parameterizable Java virtual machine". PhD defended on Oct, 18th, 2006.
• 2000, Apr-Sept (DEA): Christophe Deleray. "On Parameterizable Java Virtual Machines"