Number of documents

9


2015   

Conference papers5 documents

  • Jean Bresson, Dimitri Bouche, Jérémie Garcia, Thibaut Carpentier, Florent Jacquemard, et al.. Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur. Journées d'Informatique Musicale, 2015, Montréal, Canada. ⟨hal-01142022⟩
  • Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai. Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. 25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany. ⟨hal-01149319v2⟩
  • Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson. A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting. Mathematics and Computation in Music: 5th International Conference, MCM 2015, Oscar Bandtlow and Elaine Chew, Jun 2015, London, United Kingdom. pp.12. ⟨hal-01138642⟩
  • Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai. Towards an Equational Theory of Rhythm Notation. Music Encoding Conference 2015, May 2015, Florence, Italy. ⟨hal-01105418⟩
  • Clément Poncelet, Florent Jacquemard. Model Based Testing of an Interactive Music System. Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩. ⟨hal-01097345v2⟩

Reports4 documents

  • Clément Poncelet, Florent Jacquemard. Offline methods of conformance testing for Antescofo. [Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015. ⟨hal-01132155⟩
  • Florent Jacquemard. Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC. [Contrat] Institut français de Vienne. 2015. ⟨hal-01254591⟩
  • Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson. A Term Rewriting Based Structural Theory of Rhythm Notation. [Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015, pp.11. ⟨hal-01134096v3⟩
  • Clément Poncelet, Florent Jacquemard. Compilation of the Intermediate Representation V1. [Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015. ⟨hal-01132159⟩