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