1. A contribution to formal methods : games, logic and automata, Research Habilitation Thesis, Universit\'e de Bordeaux I, 2005 (hal).

  2. Propri\'et\'es logiques du non d\'eterminisme et mu-calcul modal, PhD Thesis, Universit\'e de Bordeaux I, 1996.


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


  1. Unified Media Programming: An Algebraic Approach  (with S. Archipoff), in #farm#, pp 36-47, 2017  (doi)  (hal)  (pdf).

  2. A robust algebraic framework for high-level music programming, in Second International Conference on Technologies for Music Notation and Representation (TENOR), 2016.

  3. {Pour un raffinement spatio-temporel tuil{\'e}}  (with S. Archipoff), in #jfla#, Saint-Malo, France, 2016 (hal)  (pdf).

  4. Interpolations : \'ecritures de contraintes r\'eactives pour improvisation pianistique (d\'emo)  (with S. Archipoff et al. ), in #jim#, 2016 (hal)  (pdf).

  5. Vers une programmation re\'eactive structur\'ee  (with S. Archipoff), in #jim#, 2016.

  6. Structured Reactive Programming with Polymorphic Temporal Tiles  (with S. Archipoff), in #farm#, pp 29-40, 2016  (doi) .

  7. Walking automata in free inverse monoids, in #sofsem#, #lncs# 9587, pp 314--328, 2016 (hal)  (pdf).

  8. Flux m\'edia tuil\'es polymorphes: une s\'emantique op\'erationnelle en {Haskell}  (with T. Bazin), in #jfla#, 2015 (hal)  (pdf).

  9. Des signaux aux symphonies: pour une mod\'elisation homog\`ene des objets sonores  (with M. Desainte-Catherine), in #jim#, 2015 (hal)  (pdf).

  10. Inverse monoids of higher-dimensional strings, in #ictac#, #lncs# 9399, 2015 (hal)  (pdf).

  11. Embedding finite and infinite words into overlapping tiles  (with A. Dicky), in #dlt#, #lncs# 8633, pp 339--347, 2014  (doi)  (hal)  (pdf).

  12. Algebraic tools for the overlapping tile product  (with E. Dubourg), in #lata#, #lncs# 8370, pp 335 -- 346, 2014  (doi)  (hal)  (pdf).

  13. Tiled Polymorphic Temporal Media  (with P. Hudak), in #farm#, pp 49-60, 2014  (doi)  (hal)  (pdf).

  14. Programmer avec des tuiles musicales: le {T}-calcul en {Euterpea}  (with P. Hudak), in #jim#, 2014 (hal)  (pdf).

  15. {libTuile}~: un moteur d'ex\'ecution multi-\'echelle de processus musicaux hi\'erarchis\'es  (with F. Berthaut and M. Desainte-Catherine), in #jim#, 2013 (hal)  (pdf).

  16. Multi-scale design of interactive music systems : the {libTuiles} experiment  (with F. Berthaut and M. Desainte-Catherine), in #smc#, 2013 (hal)  (pdf).

  17. The {T}-Calculus~: towards a structured programming of (musical) time and space  (with F. Berthaut and M. De{S}ainte-Catherine and Y. Orlarey and S. Salvati), in #farm#, pp 23-34, 2013  (doi)  (hal)  (pdf).

  18. On languages of one-dimensional overlapping tiles, in #sofsem#, #lncs# 7741, pp 244-256, 2013  (doi)  (hal)  (pdf).

  19. Overlaping tile automata, in 8th Int. Computer Science Symp. in Russia ({CSR}), #lncs# 7913, pp 431--443, 2013  (doi)  (hal)  (pdf).

  20. Algebras, automata and logic for languages of labeled birooted trees, in #icalp#, #lncs# 7966, pp 318-329, 2013  (doi)  (hal)  (pdf).

  21. Mod\'elisation alg\'ebrique du diner des philosophes  (with A. Dicky), in Mod\'elisation des Syst\`emes R\'eactifs (MSR), in Journal Europ\'een des Syst\`emes Automatis\'es (JESA Volume 47 - no 1-2-3/2013), 2013  (doi)  (hal)  (pdf).

  22. Advanced synchronization of audio or symbolic musical patterns  (with F. Berthaut and B. Martin), in Sixth IEEE International Conference on Semantic Computing (ICSC), pp 202-209, 2012  (doi)  (hal)  (pdf).

  23. Quasi-recognizable vs {MSO} definable languages of one-dimensional overlapping tiles, in #mfcs#, #lncs# 7464, pp 516-528, 2012  (doi)  (hal)  (pdf).

  24. A Lazy Real-Time System Architecture For Interactive Music, in #jim#, pp 133-139, 2012 (hal)  (pdf).

  25. From asynchronous to synchronous specifications for distributed program synthesis  (with J. Bernet), in #sofsem#, #lncs# 4910, pp 162--173, 2008 (hal)  (pdf).

  26. On the (high) undecidability of distributed synthesis problems, in #sofsem#, #lncs# 4362, pp 320--329, 2007 (hal)  (pdf).

  27. On Distributed Program Specification and Synthesis in Architectures with Cycles  (with J. Bernet), in 26th IFIP W.G 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE), #lncs# 4229, pp 175--190, 2006 (hal)  (pdf).

  28. Automata on Directed Graphs: Edge Versus Vertex Marking  (with D. Berwanger), in Graph Transformations, #lncs# 4128, pp 46--60, 2006 (hal)  (pdf).

  29. Tree Automata and Discrete Distributed Games  (with J. Bernet), in #fct#, #lncs# 3623, pp 540--551, 2005 (hal)  (pdf).

  30. On the bisimulation invariant fragment of Monadic {$\Sigma_1$} in the finite  (with A. Dawar), in #fsttcs#, #lncs# 3328, pp 224--237, 2004.

  31. Relating Levels of the Mu-calculus Hierarchy and Levels of the Monadic Hierarchy  (with G. Lenzi), in #lics#, pp 347--356, 2001 (hal)  (pdf).

  32. A toolkit for first order extension of monadic games  (with J. Marcinkowski), in #stacs#, #lncs# 2010, 2001.

  33. On the structure of the monadic logic of the binary tree  (with G. Lenzi), in #mfcs#, #lncs# 1672, pp 310--320, 1999 (hal)  (pdf).

  34. Automata, tableaus and a reduction theorem for fixpoint calculi in arbitrary complete lattices, in #lics#, pp 172--182, 1997.

  35. When the satisfiability problem for fixpoint expressions in complete ordered sets is simple, in #csl#, 1997.

  36. On the expressive completeness of the modal mu-calculus with respect to monadic second order logic  (with I. Walukiewicz), in #concur#, #lncs# 1119, pp 263--277, 1996.

  37. Automata for the modal mu-calculus and related results  (with I. Walukiewicz), in #mfcs#, #lncs# 969, 1995.

  38. Some results about logical descriptions of non deterministic behaviours, in #fsttcs#, #lncs# 761, 1993.


  1. On properties of causal functions over timed streams of timed values, , LaBRI - Universit\'e de Bordeaux, 2017.

  2. Spatio-temporal domains: an overview, , LaBRI - Universit\'e de Bordeaux, 2017  (url) .

  3. Timed Denotational Semantics for Causal Functions Over Timed Streams  (with B. Serpette), , LaBRI, Universit\'e de Bordeaux, 2016.

  4. From out-of-time design to in-time production of temporal media  (with P. Hudak), , LaBRI, Universit\'e de Bordeaux, 2015  (url) .

  5. Free inverse monoids up to rewriting, , {LaBRI}, Universit\'e de Bordeaux, 2015  (url) .

  6. Quasi-inverse monoids (and premorphisms), , LaBRI, Universit\'e de Bordeaux, 2012  (url) .