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


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


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