Number of documents



Journal articles4 documents

  • Florent Jacquemard, Luc Segoufin, Jérémie Dimino. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32. ⟨hal-00769249v3⟩
  • Florent Jacquemard, Michael Rusinowitch. One-variable context-free hedge automata. Journal of Computer and System Sciences, Elsevier, 2016, ⟨10.1016/j.jcss.2016.10.006⟩. ⟨hal-01426626⟩
  • Florent Jacquemard, Clément Poncelet. An Automatic Test Framework for Interactive Music Systems. Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18. ⟨hal-01274035⟩
  • Clement Poncelet, Florent Jacquemard. Model-Based Testing for Building Reliable Realtime Interactive Music Systems. Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172. ⟨hal-01314969v2⟩

Conference papers3 documents

  • Adrien Ycart, Jean Bresson, Florent Jacquemard, Sławek Staworko. Une approche interactive pour la transcription rythmique dans OpenMusic. Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France. ⟨hal-01298806⟩
  • Adrien Ycart, Florent Jacquemard, Jean Bresson, Slawomir Staworko. A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration. International Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands. ⟨hal-01315689v2⟩
  • Florent Jacquemard. Some results on confluence: decision and what to do without. 5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria. ⟨hal-01367535⟩