Research interests

My research interests focus on recognizable (by automaton) languages 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]

Formal languages

• Branching Automata and Pomset Automata.
  Proceedings of FST&TCS'21, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, December 15-17, 2021.
• Equational Theories of Scattered and Countable Series-parallel Posets.
  With Amazigh Amrane. Proceedings of DLT'20, Florida, USA, pp xxx-xxx, 2020. doi:
• Logic and Rational Languages of Scattered and Countable Series-Parallel Posets.
  With Amazigh Amrane. Theoret. Comput. Sci., Vol. 809, pp 538-562, 2020. doi:10.1016/j.tcs.2020.01.015
• Logic and Rational Languages of Scattered and Countable Series-Parallel Posets.
  With Amazigh Amrane. Proceedings of LATA 2019, Saint Petersburg, Russia, pp 275-287, 2019. doi:10.1007/978-3-030-13435-8_20
• Complementation of branching automata for scattered and countable series-parallel posets.
  Selected papers of DLT'16. IJFCS. 2018.
• Complementation of branching automata for scattered and countable series-parallel posets.
  Proceedings of DLT 2016: Twentith International Conference on Developments in Language Theory, Montréal, Canada, S. Brlek and C. Reutenauer Eds, vol. 9840 of Lecture Notes in Computer Science, pp 13-24, 2016. doi:10.1007/978-3-662-53132-7. Best paper award.
• Logic and branching automata
  Logical Methods in Computer Science, Vol. 11(4:2), pp. 1-38, 2015.
• Logic and branching automata
  Proceedings of MFCS 2013: 38nd International Symposium on Mathematical Foundations of Computer Science, Klosterneuburg, Austria, Krishnendu Chatterjee and Jiri Sgall Eds, vol. 8087 of Lecture Notes in Computer Science, pp 123-134, 2013. doi:10.1007/978-3-642-40313-2_13
• 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, France.
• 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.

Former and current students

• 2017, Apr-Jul (with A. Amrane, Master 2): Jérôme Guelen.
• 2016-20 (PhD thesis): Amazigh Amrane. "Posets serie-parallèle transfinis: automates, logiques et théories équationnelles". PhD defended on Nov, 30th, 2020.
• 2016, Apr-Jul (with C. Selmi, Master 2): Amazigh Amrane.
• 2013, Apr-Jul (with JP. Dubernard, G. Guaiana, C. Selmi, Master 2): Asma Razgallah.
• 2012, May-Aug (with C. David. Master 1): Diane Delallée.
• 2011, May-Sept (Master 1): Grégory Châtel.
• 2010, 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"
• 1999, May-Aug (Master 1): Stéphane Gilbert.