[Back]

Conference

  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.