A new parallel-tree-traversal algorithm for the comparison of music score files
Florent Jacquemard, Xiaobo Wang
27th International Society for Music Information Retrieval Conference Late-Breaking Demos, 2026
Access Paper Download PDF 
Publications
Selected publications. You can find other publication on HAL and Google Scholar.Music Score Comparison based on a Tree-structured Intermediate Representation
Florent Jacquemard, Xiaobo Wang
Fourth International Conference on Computational and Cognitive Musicology (ICCCM), 2026
Access Paper Download PDF Pitch Spelling Jazz Lead Sheets, Solo Transcriptions, Classical Piano and Monophonic Scores
Augustin Bouquillard, Florent Jacquemard
Post-Proceedings of the International Symposium on Computer Music Multidisciplinary Research (CMMR), 2026
Access Paper Download PDF Pitch Spelling Jazz Lead Sheets and Solo Transcriptions
Augustin Bouquillard, Florent Jacquemard
Proceedings of the 17th International Symposium on Computer Music Multidisciplinary Research (CMMR), 2025
Access Paper Download PDF Automated MEI Transcription of a Dataset of Electronic Drum Kit Recordings
Florent Jacquemard, Lydia Rodriguez-de la Nava
Proceedings of the Music Encoding Conference (MEC), 2025
Access Paper Download PDF Tokenization of MIDI Sequences for Transcription
Yosuke Amagasu, Florent Jacquemard, Masahiko Sakai
Proceedings of 9th International Conference on Technologies for Music Notation and Representation (TENOR), 2024
Access Paper Download PDF Engraving Oriented Joint Estimation of Pitch Spelling and Local and Global Keys
Augustin Bouquillard, Florent Jacquemard
Proceedings of International Conference on Technologies for Music Notation and Representation (TENOR), 2024
Access Paper Download PDF 8+8=4: Formalizing Time Units to Handle Symbolic Music Durations
Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer
Proceedings of 16th International Symposium on Computer Music Multidisciplinary Research (CMMR), 2023
Access Paper Download PDF Automated Transcription of Electronic Drumkits
Martin Digard, Florent Jacquemard, Lydia Rodriguez-de la Nava
Proceedings of 4th International Workshop on Reading Music Systems (WoRMS), 2022
Access Paper Download PDF MIDI To Score Automated Drum Transcription
Martin Digard, Florent Jacquemard, Lydia Rodriguez-de la Nava
9th International Conference on Digital Libraries for Musicology (DLfM), 2022
Access Paper Download PDF Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
Florent Jacquemard, Lydia Rodriguez-de la Nava
Proceedings of International Conference on Implementation and Application of Automata (CIAA), Springer LNCS vol. 13266, 2022
Access Paper Download PDF Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations
Mathieu Giraud, Florent Jacquemard
Information and Computation, vol. 282, 2022
Access Paper Download PDF ASAP: a dataset of aligned scores and performances for piano transcription
Francesco Foscarin, Andrew Mcleod, Philippe Rigaux, Florent Jacquemard, Masahiko Sakai
Proceedings of the 21st International Society for Music Information Retrieval (ISMIR), 2020
Access Paper Download PDF Computation and Visualization of Differences between two XML Music Score Files
Francesco Foscarin, Florent Jacquemard, Raphaël Fournier-Sniehotta
Proceedings of the 20th annual conference of the International Society for Music Information Retrieval (ISMIR), 2019
Access Paper Download PDF A diff procedure for music score files
Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard
Proceedings of 6th International Conference on Digital Libraries for Musicology (DLfM), 2019
Access Paper Download PDF Optimization of audio graphs by resampling
Pierre Donat-Bouillud, Jean-Louis Giavitto, Florent Jacquemard
Proceedings of the 22nd International Conference on Digital Audio Effects, 2019
Access Paper Download PDF A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, Masahiko Sakai
Proceedings of the Seventh International Conference on Mathematics and Computation in Music (MCM), 2019
Access Paper Download PDF Modeling and Learning Rhythm Structure
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux
Proceedings of Sound and Music Computing Conference (SMC), 2019
Access Paper Download PDF Evaluating musical score difference: a two-level comparison
Francesco Foscarin, Raphaël Fournier-SNiehotta, Philippe Rigaux, Florent Jacquemard
Proceedings of the Digital Music Research Network One-Day Workshop 2018 (DMRN+13), 2018
Access Paper Download PDF Gioqoso, an online Quality Assessment Tool for Music Notation
Francesco Foscarin, David Fiala, Florent Jacquemard, Philippe Rigaux, Virginie Thion
Proceedings of the International Conference on Technologies for Music Notation and Representation (TENOR), 2018
Access Paper Download PDF Évaluation de la correction rythmique des partitions numérisées
Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard
Proceedings of Journées d'Informatique Musicale (JIM), 2018
Access Paper Download PDF Interactive Music Transcription based on Rhythm Tree Languages
Florent Jacquemard, Adrien Ycart
Proceedings of 16th Rhythm Production and Perception Workshop, 2017
Access Paper Download PDF Generating equivalent rhythmic notations based on rhythm tree languages
Florent Jacquemard, Adrien Ycart, Masahiko Sakai
Proceedings of Third International Conference on Technologies for Music Notation and Representation (TENOR), 2017
Access Paper Download PDF Some results on confluence: decision and what to do without
Florent Jacquemard
Proceedings of Proceedings of the 5th International Workshop on Confluence, 2016
Access Paper Download PDF A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration
Adrien Ycart, Florent Jacquemard, Jean Bresson, Slawomir Staworko
Proceedings of the 42nd International Computer Music Conference (ICMC), 2016
Access Paper Download PDF Une approche interactive pour la transcription rythmique dans OpenMusic
Adrien Ycart, Jean Bresson, Florent Jacquemard, Slawek Staworko
Proceedings of Journées d'Informatique Musicale (JIM)), 2016
Access Paper Download PDF One-variable context-free hedge automata
Florent Jacquemard, Michael Rusinowitch
Journal of Computer and System Sciences, vol. 104, 2016
Access Paper Download PDF Model-Based Testing for Building Reliable Realtime Interactive Music Systems
Clément Poncelet, Florent Jacquemard
Science of Computer Programming 132(2), 2016
Access Paper Download PDF FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems
Florent Jacquemard, Luc Segoufin, Jérémie Dimino
Logical Methods in Computer Science 12(2), 2016
Access Paper Download PDF An Automatic Test Framework for Interactive Music Systems
Florent Jacquemard, Clément Poncelet
Journal of New Music Research 45(2), 2016
Access Paper Download PDF Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
Proceedings of 25th International Conference on Automated Deduction (CADE), Springer LNCS volume 9195, 2015
Access Paper Download PDF A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting
Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
Proceedings of 5th International Conference on Mathematics and Computation in Music (MCM), Springer LNCS vol. 9110, 2015
Access Paper Download PDF Towards an Equational Theory of Rhythm Notation
Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai
Proceedings of Music Encoding Conference, 2015
Access Paper Download PDF Model Based Testing of an Interactive Music System
Clément Poncelet, Florent Jacquemard
In the proceedings of Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), 2015
Access Paper Download PDF Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur
Jean Bresson, Dimitri Bouche, Jérémie Garcia, Thibaut Carpentier, Florent Jacquemard, John Maccallum, Diemo Schwarz
Proceedings of Journées d'Informatique Musicale, 2015
Access Paper Download PDF Test Methods for Score-Based Interactive Music Systems
Clément Poncelet, Florent Jacquemard
In the proceedings of joint International Computer Music Conference and Sound and Music Computation (ICMC SMC), 2014
Access Paper Download PDF Rhythm Tree Rewriting
Florent Jacquemard, Jean Bresson, Pierre Donat-Bouillud
In the proceedings of Meeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, 2014
Access Paper Download PDF A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet
Proceedings of 13th International Conference on Embedded Software (EMSOFT), 2013
Access Paper Download PDF Operational semantics of a domain specific language for real time musician-computer interaction
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
Discrete Event Dynamic Systems 23 (4), 2013
Access Paper Download PDF Formal Timing Analysis Of Mixed Music Scores
Léa Fanchon, Florent Jacquemard
In the proceedings of International Computer Music Conference (ICMC), 2013
Access Paper Download PDF Unranked Tree Rewriting and Effective Closures of Languages
Florent Jacquemard, Michaël Rusinowitch
Proceedings of Meeting of the IFIP WG 1.6 on Term Rewriting, 2013
Access Paper Download PDF Rewrite Closure and CF Hedge Automata
Florent Jacquemard, Michael Rusinowitch
Proceedings of 7th International Conference on Language and Automata Theory and Application, Springer LNCS 7810, 2013
Access Paper Download PDF From Authored to Produced Time in Computer-Musician Interactions
Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
In the proceedings of CHI 2013 Workshop Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction (ACM CHI), 2013
Access Paper Download PDF Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
Luis Barguño, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
Logical Methods in Computer Science 9(2:01), 2013
Access Paper Download PDF Antescofo à l'avant-garde de l'informatique musicale
Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin
Interstices, 2012
Access Paper Download PDF Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
Arshia Cont, José Echeveste, Jean-Louis Giavitto, Florent Jacquemard
In the proceedings of International Computer Music Conference (ICMC), 2012
Access Paper Download PDF Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems
Adel Bouhoula, Florent Jacquemard
Journal of Applied Logic 10 (1), 2012
Access Paper Download PDF Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d'accompagnement automatique
José Echeveste, Arshia Cont, Florent Jacquemard, Jean-Louis Giavitto
In the proceedings of Mod'elisation des syst`emes r'eactifs (MSR 11), 2011
Access Paper Download PDF Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
In the proceedings of 8e Colloque sur la Modélisation des Systèmes Réactifs (MSR), 2011
Access Paper Download PDF Controlled Term Rewriting
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
In the proceedings of Proceedings of the 8th International Symposium Frontiers of Combining Systems (FroCoS), 2011
Access Paper Download PDF Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard
In the proceedings of Theory of Security and Applications (TOSCA), joint workshop affiliated to ETAPS, Springer LNCS volume 6993, 2011
Access Paper Download PDF Rigid Tree Automata and Applications
Florent Jacquemard, Francis Klay, Camille Vacher
Information and Computation 209 (3),, 2011
Access Paper Download PDF XML Access Control: from XACML to Annotated Schemas
Ryma Abbassi, Florent Jacquemard, Michael Rusinowitch, Sihem Sihem Guemara El Fatmi
In the proceedings of Second International Conference on Communications and Networking (ComNet), 2010
Access Paper Download PDF The Emptiness Problem for Tree Automata with Global Constraints
Luis Barguño}, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
In the proceedings of 25th Annual IEEE Symposium on Logic in Computer Science (LICS), 2010
Access Paper Download PDF Rewrite-Based Verification of XML Updates
Florent Jacquemard, Michael Rusinowitch
In the proceedings of 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), 2010
Access Paper Download PDF Automatic Verification of Conformance of Firewall Configurations to Security Policies
Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard
In the proceedings of IEEE Symposium on Computers and Communications (ISCC), 2009
Access Paper Download PDF Unique Normalization for Shallow TRS
Guillem Godoy, Florent Jacquemard
In the proceedings 20th International Conference on Rewriting Techniques and Applications (RTA), Springer LNCS vol 5595, 2009
Access Paper Download PDF Rigid Tree Automata
Florent Jacquemard, Francis Klay, Camille Vacher
In the proceedings of Third International Conference on Language and Automata Theory and Applications, Springer LNCS vol 5457, 2009
Access Paper Download PDF Automated Induction with Constrained Tree Automata
Adel Bouhoula, Florent Jacquemard
In the proceedings of 4th International Joint Conference on Automated Reasoning (IJCAR), Springer LNAI vol. 5195, 2008
Access Paper Download PDF Closure of Tree Automata Languages under Innermost Rewriting
Adria Gascon, Guillem Godoy, Florent Jacquemard
In the proceedings of Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), 2008
Access Paper Download PDF Visibly Tree Automata with Memory and Constraints
Hubert Comon-Lundh, Florent Jacquemard
Logical Methods in Computer Science 4 (2), 2008
Access Paper Download PDF Tree automata with equality constraints modulo equational theories
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
Journal of Logic and Algebraic Programming 75 (2), 2008
Access Paper Download PDF Closure of Hedge-Automata Languages by Hedge Rewriting
Florent Jacquemard, Michael Rusinowitch
In the proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA), Springer LNCS volume 5117, 2008
Access Paper Download PDF Tree Automata Techniques and Applications
Hubert Comon, Max Dauchet, Rémi Gilleron, Florent Jacquemard, Christoph Löding, Denis Lugiez, Sophie Tison, and Marc Tommasi
Online book, 2008
Access Paper Download PDF Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
Adel Bouhoula, Florent Jacquemard
In the proceedings of Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), 2007
Access Paper Download PDF Tree Automata with Memory, Visibility and Structural Constraints
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Springer LNCS, 2007
Access Paper Download PDF Tree automata with equality constraints modulo equational theories
Florent Jacquemard, Michaël Rusinowitch, and Laurent Vigneron
Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Springer LNCS, 2006
Access Paper Download PDF Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks
Stéphanie Delaune and Florent Jacquemard
Journal of Automated Reasoning, 36(1-2):85-124, 2006, 2006
Access Paper Download PDF An analysis of a public key protocol with membranes
Olivier Michel, Florent Jacquemard
Applications of Membrane Computing, Natural Computing Series, pages 283–302. Springer, 2006, 2006
Access Paper Download PDF A decision procedure for the verification of security protocols with explicit destructors
Stéphanie Delaune and Florent Jacquemard
Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Springer LNCS, 2004
Access Paper Download PDF Narrowing-based constraint solving for the verification of security protocols
Stéphanie Delaune and Florent Jacquemard
Proceedings of the 18th International Workshop on Unification (UNIF), 2004, 2004
Access Paper A Theory of Dictionary Attacks and its Complexity
Stéphanie Delaune and Florent Jacquemard
Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW), pages 2–15, IEEE Computer Society Press, 2004., 2004
Access Paper Download PDF Compiling and Verifying Security Protocols
Florent Jacquemard, Michaël Rusinowitch, and Laurent Vigneron
Proceedings of the 7th international conference on Logic for programming and automated reasoning (LPAR), pages 131–160, Springer-Verlag, 2000., 2000
Access Paper Download PDF