Mathieu Giraud, Florent Jacquemard. Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations. Information and Computation, Elsevier, In press, ⟨10.1016/j.ic.2020.104652⟩. ⟨hal-01857267v4⟩

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. ⟨10.2168/LMCS-12(2:3)2016⟩. ⟨hal-00769249v3⟩

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⟩

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⟩

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⟩

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. ⟨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⟩

Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin. Antescofo à l'avant-garde de l'informatique musicale. Interstices, INRIA, 2012. ⟨hal-00753014⟩

Adel Bouhoula, Florent Jacquemard. Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems. Journal of Applied Logic, Elsevier, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩. ⟨hal-00643136⟩

Florent Jacquemard, Francis Klay, Camille Vacher. Rigid Tree Automata and Applications. Information and Computation, Elsevier, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩. ⟨inria-00578820⟩

Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Tree automata with equality constraints modulo equational theories. Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩. ⟨inria-00329693⟩

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin. Visibly Tree Automata with Memory and Constraints. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩. ⟨inria-00578844⟩

Stéphanie Delaune, Florent Jacquemard. Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. Journal of Automated Reasoning, Springer Verlag, 2006, 36 (1-2), pp.85-124. ⟨10.1007/s10817-005-9017-7⟩. ⟨inria-00578855⟩

Florent Jacquemard. Reachability and confluence are undecidable for flat term rewriting systems. Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270. ⟨inria-00578875⟩

Hubert Comon-Lundh, Florent Jacquemard. Ground Reducibility is EXPTIME-complete. Information and Computation, Elsevier, 2003, 187 (1), pp.123-153. ⟨inria-00578859⟩

Harald Ganzinger, Florent Jacquemard, Margus Veanes. Rigid reachability, the non-symmetric form of rigid E-unification. International Journal of Foundations of Computer Science, World Scientific Publishing, 2000, 11 (1), pp.3-27. ⟨inria-00099097⟩

Francesco Foscarin, Andrew Mcleod, Philippe Rigaux, Florent Jacquemard, Masahiko Sakai. ASAP: a dataset of aligned scores and performances for piano transcription. ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada. ⟨hal-02929324⟩

Pierre Donat-Bouillud, Jean-Louis Giavitto, Florent Jacquemard. Optimization of audio graphs by resampling. DAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom. ⟨hal-02284258⟩

Francesco Foscarin, Florent Jacquemard, Philippe Rigaux. Modeling and Learning Rhythm Structure. Sound and Music Computing Conference (SMC), May 2019, Malaga, Spain. ⟨hal-02024437v2⟩

Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard. A diff procedure for music score files: Computation and visualization of the differences between two music score files. 6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7. ⟨hal-02267454v2⟩

Francesco Foscarin, Florent Jacquemard, Raphaël Fournier-Sniehotta. Computation and Visualization of Differences between two XML Music Score Files. ISMIR 2019 - 20th annual conference of the International Society for Music Information Retrieval, Nov 2019, Delft, Netherlands. ⟨hal-02309923⟩

Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, Masahiko Sakai. A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring. MCM 2019 - Mathematics and Computation in Music, Jun 2019, Madrid, Spain. ⟨10.1007/978-3-030-21392-3_20⟩. ⟨hal-01988990v2⟩

Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard, Philippe Rigaux. Évaluation de la correction rythmique des partitions numérisées. JIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95. ⟨hal-01791404⟩

Francesco Foscarin, David Fiala, Florent Jacquemard, Philippe Rigaux, Virginie Thion. Gioqoso, an online Quality Assessment Tool for Music Notation. 4th International Conference on Technologies for Music Notation and Representation (TENOR'18), Sandeep Bhagwati and Jean Bresson, May 2018, Montreal, Canada. ⟨hal-01895171⟩

Florent Jacquemard, Adrien Ycart, Masahiko Sakai. Generating equivalent rhythmic notations based on rhythm tree languages. Third International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain. ⟨hal-01403982⟩

Florent Jacquemard, Adrien Ycart. Interactive Music Transcription based on Rhythm Tree Languages. 16th Rhythm Production and Perception Workshop, Ryan Stables, Jason Hockman, Mark Elliott, Alan Wing, Jul 2017, Birmingham, United Kingdom. ⟨hal-01472646⟩

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⟩

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⟩

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⟩

Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai. Towards an Equational Theory of Rhythm Notation. Music Encoding Conference 2015, May 2015, Florence, Italy. ⟨hal-01105418⟩

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⟩

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, Jean Bresson, Pierre Donat-Bouillud. Rhythm Tree Rewriting. Meeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria. ⟨hal-01109666⟩

Clément Poncelet Sanchez, Florent Jacquemard. Test Methods for Score-Based Interactive Music Systems. ICMC SMC 2014, Sep 2014, Athen, Greece. ⟨hal-01021617⟩

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⟩

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⟩

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⟩

Léa Fanchon, Florent Jacquemard. Formal Timing Analysis Of Mixed Music Scores. 2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia. ⟨hal-00829821v2⟩

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, José Echeveste, Jean-Louis Giavitto, Florent Jacquemard. Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo. ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia. ⟨hal-00718854⟩

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⟩

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⟩

Ryma Abassi, Florent Jacquemard, Michael Rusinowitch, Sihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas. Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩. ⟨inria-00578884⟩

Florent Jacquemard, Michael Rusinowitch. Rewrite-Based Verification of XML Updates. 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩. ⟨inria-00578916⟩

Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher. The Emptiness Problem for Tree Automata with Global Constraints. 25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩. ⟨inria-00578901⟩

Guillem Godoy, Florent Jacquemard. Unique Normalization for Shallow TRS. 20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. pp.63-77, ⟨10.1007/978-3-642-02348-4_5⟩. ⟨inria-00578959⟩

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard. Automatic Verification of Conformance of Firewall Configurations to Security Policies. IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩. ⟨inria-00578926⟩

Florent Jacquemard, Francis Klay, Camille Vacher. Rigid Tree Automata. Third International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.446-457, ⟨10.1007/978-3-642-00982-2_38⟩. ⟨inria-00579001⟩

Adel Bouhoula, Florent Jacquemard. Automated Induction with Constrained Tree Automata. 4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. pp.539-554, ⟨10.1007/978-3-540-71070-7_44⟩. ⟨inria-00579004⟩

Florent Jacquemard, Michael Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting. 19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩. ⟨inria-00329803⟩

Adria Gascon, Guillem Godoy, Florent Jacquemard. Closure of Tree Automata Languages under Innermost Rewriting. 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩. ⟨inria-00578966⟩

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin. Tree Automata with Memory, Visibility and Structural Constraints. 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Mar 2007, Braga, Portugal. pp.168-182, ⟨10.1007/978-3-540-71389-0_13⟩. ⟨inria-00579009⟩

Adel Bouhoula, Florent Jacquemard. Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction. Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Jul 2007, Poland. pp.27-44. ⟨inria-00579015⟩

Adel Bouhoula, Florent Jacquemard. Security Protocol Verification with Implicit Induction and Explicit Destructors. 1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44. ⟨inria-00579018⟩

Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Tree automata with equality constraints modulo equational theories. 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩. ⟨inria-00579011⟩

Adel Bouhoula, Florent Jacquemard. Automating Sufficient Completeness Check for Conditional and Constrained TRS. 20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States. ⟨inria-00579017⟩

Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard. The Confluence Problem for Flat TRSs. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩. ⟨inria-00579010⟩

Stéphanie Delaune, Florent Jacquemard. A Theory of Dictionary Attacks and its Complexity. 17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15. ⟨inria-00579014⟩

Stéphanie Delaune, Florent Jacquemard. A Decision Procedure for the Verification of Security Protocols with Explicit Destructors. 11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. pp.278-287. ⟨inria-00579012⟩

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160. ⟨inria-00099161⟩

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Compiling and narrowing cryptographic protocols. Workshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p. ⟨inria-00098875⟩

Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. Decidable fragments of simultaneous rigid reachability. International Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260. ⟨inria-00098806⟩

Francesco Foscarin, Raphaël Fournier-S'Niehotta, Philippe Rigaux, Florent Jacquemard. Evaluating musical score difference: a two-level comparison. Digital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018. ⟨hal-01989029⟩

Clément Poncelet, Florent Jacquemard. Test methods for Score-Based Interactive Music Systems Toward a formal Specification. ICMC/SMC 2014, Sep 2014, Athène, Greece. ⟨hal-01133597⟩

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⟩

Olivier Michel, Florent Jacquemard. An Analysis of a Public-Key Protocol with Membranes. Ciobanu, G. and Paun, G. and Pérez-Jiménez, J. Applications of Membrane Computing, Springer Verlag, pp.283--302, 2005, Natural Computing Series, ⟨10.1007/3-540-29937-8⟩. ⟨hal-00340140⟩

Henry Boisgibault, Mathieu Giraud, Florent Jacquemard. What does the Mongeau-Sankoff algorithm compute?. 2019. ⟨hal-02340896⟩

Florent Jacquemard, Michaël Rusinowitch. Rewrite Closure and CF Hedge Automata. 2012. ⟨hal-00752496v2⟩

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. ⟨hal-01134096v3⟩

Clément Poncelet, Florent Jacquemard. Offline methods of conformance testing for Antescofo. [Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015. ⟨hal-01132155⟩

Clément Poncelet, Florent Jacquemard. Compilation of the Intermediate Representation V1. [Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015. ⟨hal-01132159⟩

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, Clément Poncelet Sanchez. Antescofo Intermediate Representation. [Research Report] RR-8520, INRIA. 2014, pp.13. ⟨hal-00979359⟩

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

Florent Jacquemard, Michael Rusinowitch. Rewrite based Verification of XML Updates. [Research Report] RR-7007, INRIA. 2009, pp.39. ⟨inria-00408162⟩

Adel Bouhoula, Florent Jacquemard. Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems. [Research Report] RR-5863, INRIA. 2006, pp.17. ⟨inria-00070163⟩

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories. [Research Report] RR-5754, INRIA. 2005, pp.27. ⟨inria-00071215⟩

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols. [Research Report] RR-3938, INRIA. 2000, pp.25. ⟨inria-00072712⟩

Hubert Comon, Florent Jacquemard. Ground Reducibility is EXPTIME-complete. [Research Report] RR-3800, INRIA. 1999, pp.26. ⟨inria-00072859⟩

Florent Jacquemard, Christoph Meyer, Christoph Weidenbach. Unification in Extensions of Shallow Equational Theories. [Intern report] 98-R-387 || jacquemard98a, 1998, 33 p. ⟨inria-00098740⟩

Harald Ganzinger, Florent Jacquemard, Margus Veanes. Rigid Reachability. [Intern report] 98-R-388 || ganzinger98a, 1998, 24 p. ⟨inria-00098741⟩

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⟩