Openmusic : visual programming environment for music composition, analysis and research, Proceedings of the 19th ACM international conference on Multimedia, pp.743-746, 2011. ,
Visual lisp/clos programming in Openmusic, Higher-Order and Symbolic Computation, pp.81-111, 2009. ,
Fragments de recherche et d'expérimentation : Eléments de réflexions autour de l'écriture rythmique d'Emmanuel Nunes. Présentation à un séminaire Mamux à l'Ircam, 2012. ,
Kant : a Critique of Pure Quantification, ICMC, 1994. ,
Rhythm quantization for transcription, Computer Music Journal, vol.24, issue.2, pp.60-76, 2000. ,
Détermination automatique de la pulsation, de la métrique et des motifs musicaux dans des interprétations à tempo variable d'oeuvres polyphoniques, Thèse de doctorat, 2004. ,
Symbolic music comparison with tree data structures, Thèse de doctorat, 2010. ,
Logic programming, Handbook of theoretical computer science B) : formal models and semantics, 1991. ,