Number of documents



Conference papers4 documents

  • José Echeveste, Arshia Cont, Florent Jacquemard, Jean-Louis Giavitto. Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatique : Accompagnement musical automatique. Modélisation des systèmes réactifs (MSR 11), Nov 2011, Lille, France. pp.109-124. ⟨hal-01156639⟩
  • Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩. ⟨inria-00578896⟩
  • José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard. Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique. 8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Étienne Craye and Abdoulaye Gamalié, Nov 2011, Lille, France. pp.109-124. ⟨hal-00642921⟩
  • Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai. Controlled Term Rewriting. 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194. ⟨hal-00643160⟩

Habilitation à diriger des recherches1 document

  • Florent Jacquemard. Extended Tree Automata Models for the Verification of Infinite State Systems. Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011. ⟨tel-00643595⟩