1. Two-way automata and regular languages of overlapping tiles  (with A. Dicky), Fundamenta Informaticae  141:311-343, 2015  (doi)  (hal)  (pdf).

  2. On Labeled Birooted Trees Languages: Algebras, Automata and Logic, Information and Computation  243:222-248, 2015  (doi)  (hal)  (pdf).

  3. A syntactic congruence for languages of birooted trees  (with A. Blumensath), Semigroup Forum  , 2014  (doi)  (hal)  (pdf).

  4. Une étude des jeux distribués  (with J. Bernet), Technique et Science Informatique  32 (9-10):1007-1041, 2013  (doi)  (hal)  (pdf).

  5. Advanced synchronization of audio or symbolic musical patterns: an algebraic approach  (with F. Berthaut and B. Martin), International Journal of Semantic Computing  6 (4):409-427, 2012  (doi)  (hal)  (pdf).

  6. Vers une modélisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM)  2, 2012 (hal)  (pdf) (related slides).

  7. The monadic theory of finite representations of infinite words  (with A. Dawar), Inf. Process. Lett.  103 (3):94-101, 2007 (hal)  (pdf).

  8. On the relationship between weak monadic second order logic on arbitrary trees, with application to the mu-calculus  (with G. Lenzi), Fundam. Inform.  61 (3-4):247-265, 2004 (hal)  (pdf).

  9. Permissive strategies: from parity games to safety games  (with J. Bernet and I. Walukiewicz), Theoretical Informatics and Applications (RAIRO)  36:261-275, 2002 (hal)  (pdf).

  10. On the logical definability of topologically closed recognizable languages of infinite trees  (with G. Lenzi), Computing and Informatics  21:185-203, 2002 (hal)  (pdf).