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, #ic#  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 \'etude des jeux distribu\'es  (with J. Bernet), Technique et Science Informatique  32: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\'elisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM)  2, 2012 (hal)  (pdf).

  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: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).