Number of documents

9


2013   

Journal articles2 documents

  • Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher. Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (2), pp.1-39. ⟨http://www.lmcs-online.org/ojs/viewarticle.php?id=1240⟩. ⟨hal-00852382⟩
  • José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard. Operational semantics of a domain specific language for real time musician-computer interaction. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩. ⟨hal-00854719⟩

Conference papers5 documents

  • Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet. A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music. EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada. ⟨hal-00850299⟩
  • Florent Jacquemard, Michael Rusinowitch. Rewrite Closure and CF Hedge Automata. 7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain. ⟨hal-00767719⟩
  • Florent Jacquemard, Michaël Rusinowitch. Unranked Tree Rewriting and Effective Closures of Languages. Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands. ⟨hal-00852379⟩
  • Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard. From Authored to Produced Time in Computer-Musician Interactions. CHI 2013 Workshop on Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction, John Thomas, Yue Pan, Thomas Erickson, Eli Blevis, Catherine Letondal, Aurélien Tabard, Apr 2013, Paris, France. ⟨hal-00787033⟩
  • Léa Fanchon, Florent Jacquemard. Formal Timing Analysis Of Mixed Music Scores. 2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia. ⟨hal-00829821v2⟩

Documents associated with scientific events1 document

  • Emmanuel Filiot, Florent Jacquemard, Sophie Tison. Tree Automata with Constraints: a brief survey. Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013. ⟨hal-00840959⟩

Reports1 document

  • Léa Fanchon, Florent Jacquemard. Formal Timing Analysis of Mixed Music Scores. [Research Report] 2013, pp.10. ⟨hal-00797595⟩