https://florent-jacquemard.github.io/portfolio/00-CTATA/ https://florent-jacquemard.github.io/portfolio/01-TRS/ https://florent-jacquemard.github.io/portfolio/04-ITP/ https://florent-jacquemard.github.io/portfolio/05-XML/ https://florent-jacquemard.github.io/portfolio/09-protocols/ https://florent-jacquemard.github.io/portfolio/10-AMT/ https://florent-jacquemard.github.io/portfolio/12-TSM/ https://florent-jacquemard.github.io/portfolio/14-diff/ https://florent-jacquemard.github.io/portfolio/15-PS/ https://florent-jacquemard.github.io/portfolio/16-SWVPA/ https://florent-jacquemard.github.io/portfolio/18-AscoTest/ https://florent-jacquemard.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://florent-jacquemard.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://florent-jacquemard.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://florent-jacquemard.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://florent-jacquemard.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/projects/1999-CALIFE/ https://florent-jacquemard.github.io/projects/2000-AVISS/ https://florent-jacquemard.github.io/projects/2000-EVA/ https://florent-jacquemard.github.io/projects/2003-PROUVE/ https://florent-jacquemard.github.io/projects/2003-Rossignol/ https://florent-jacquemard.github.io/projects/2006-STIC/ https://florent-jacquemard.github.io/projects/2007-AVOTE/ https://florent-jacquemard.github.io/projects/2008-FoX/ https://florent-jacquemard.github.io/projects/2008-STIC/ https://florent-jacquemard.github.io/projects/2009-Webdam/ https://florent-jacquemard.github.io/projects/2010-ACCESS/ https://florent-jacquemard.github.io/projects/2010-STIC/ https://florent-jacquemard.github.io/projects/2012-Inedit/ https://florent-jacquemard.github.io/projects/2013-EFFICACe/ https://florent-jacquemard.github.io/projects/2015-LETITBE/ https://florent-jacquemard.github.io/projects/2015-Musical/ https://florent-jacquemard.github.io/projects/2016-GioQoso/ https://florent-jacquemard.github.io/projects/2016-RQ/ https://florent-jacquemard.github.io/projects/2017-Munir/ https://florent-jacquemard.github.io/projects/2017-Yamaha/ https://florent-jacquemard.github.io/projects/2017-polyMIR/ https://florent-jacquemard.github.io/projects/2020-Codex/ https://florent-jacquemard.github.io/projects/2020-CollabScore/ https://florent-jacquemard.github.io/projects/2020-JSPS/ https://florent-jacquemard.github.io/projects/2021-Polifonia/ https://florent-jacquemard.github.io/publication/2000-07-01-Compiling-Verifying-Security-Protocols 2000-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2004-06-01-Theory-Dictionary-Attacks-Complexity 2004-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2004-07-01-Narrowing-based-constraint-solving-verification-security-protocols 2004-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2004-10-04-Secision-Procedure-Verification-Security-Protocols-with-Explicit-Destructors 2004-10-04T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2006-03-01-Analysis-Public-Key-Protocol-with-Membranes 2006-03-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2006-04-01-Decision-Procedures-Security-Protocols-Probabilistic-Encryption-against-Offline-Dictionary-Attacks 2006-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2006-08-01-Tree-Automata-with-Equality-Constraints-modulo-Equational-Theories 2006-08-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2007-03-01-Tree-Automata-with-Memory-Visibility-and-Structural-Constraints 2007-03-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2007-07-01-Verifying-Regular-Trace-Properties-of-Security-Protocols-with-Explicit-Destructors-and-Implicit-Induction 2007-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2007-01-01-TATA 2008-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2008-01-01-Closure-of-Hedge-Automata-Languages-by-Hedge-Rewriting 2008-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2008-01-01-Tree-automata-with-equality-constraints-modulo-equational-theories 2008-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2008-06-01-Visibly-Tree-Automata-with-Memory-and-Constraints 2008-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2008-07-01-Closure-of-Tree-Automata-Languages-under-Innermost-Rewriting 2008-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2008-08-01-Automated-Induction-with-Constrained-Tree-Automata 2008-08-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2009-04-01-Rigid-Tree-Automata 2009-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2009-06-01-Unique-Normalization-for-Shallow-TRS 2009-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2009-07-01-Automatic-Verification-of-Conformance-of-Firewall-Configurations-to-Security-Policies 2009-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2010-07-01-Rewrite-Based-Verification-of-XML-Updates 2010-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2010-07-01-The-Emptiness-Problem-for-Tree-Automata-with-Global-Constraints 2010-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2010-11-01-XML-Access-Control-from-XACML-to-Annotated-Schemas 2010-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2011-02-01-Rigid-Tree-Automata-and-Applications 2011-02-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2011-03-01-Multiple-Congruence-Relations-First-Order-Theories-on-Terms-and-the-Frames-of-the-Applied-Pi-Calculus 2011-03-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2011-10-01-Controlled-Term-Rewriting 2011-10-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2011-11-01-Formalisation-des-relations-temporelles-dans-un-contexte-daccompagnement-musical-automatique 2011-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2011-11-01-Formalisation-des-relations-temporelles-entre-une-partition-et-une-performance-musicale-dans-un-contexte-daccompagnement-automatique 2011-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2012-01-01-Sufficient-Completeness-Verification-for-Conditional-and-Constrained-Term-Rewriting-Systems 2012-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2012-09-01-Correct-Automatic-Accompaniment-Despite-Machine-Listening-or-Human-Errors-in-Antescofo 2012-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2012-11-01-Antescofo-a-lavant-garde-de-linformatique-musicale 2012-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-01-01-Decidable-Classes-of-Tree-Automata-Mixing-Local-and-Global-Constraints-Modulo-Flat-Theories 2013-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-04-01-From-Authored-to-Produced-Time-in-Computer-Musician-Interactions 2013-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-04-01-Rewrite-Closure-and-CF-Hedge-Automata 2013-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-06-01-Unranked-Tree-Rewriting-and-Effective-Closures-of-Languages 2013-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-08-01-Formal-Timing-Analysis-Of-Mixed-Music-Scores 2013-08-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-08-01-Operational-semantics-of-a-domain-specific-language-for-real-time-musician-computer-interaction 2013-08-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2013-09-01-A-Synchronous-Embedding-of-Antescofo-a-Domain-Specific-Language-for-Interactive-Mixed-Music 2013-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2014-07-01-Rhythm-Tree-Rewriting 2014-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2014-09-01-Test-Methods-for-Score-Based-Interactive-Music-Systems 2014-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2015-01-01-Projet-EFFICACE-Developpements-et-perspectives-en-composition-assistee-par-ordinateur 2015-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2015-04-01-Model-Based-Testing-of-an-Interactive-Music-System 2015-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2015-05-01-Towards-an-Equational-Theory-of-Rhythm-Notation 2015-05-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2015-06-01-A-Structural-Theory-of-Rhythm-Notation-based-on-Tree-Representations-and-Term-Rewriting 2015-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2015-08-01-Term-Rewriting-with-Prefix-Context-Constraints-and-Bottom-Up-Strategies 2015-08-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-01-01-An-Automatic-Test-Framework-for-Interactive-Music-Systems 2016-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-01-01-FO21-on-data-trees-data-tree-automata-and-branching-vector-addition-systems 2016-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-01-01-Model-Based-Testing-for-Building-Reliable-Realtime-Interactive-Music-Systems 2016-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-01-01-One-variable-context-free-hedge-automata 2016-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-03-01-Une-approche-interactive-pour-la-transcription-rythmique-dans-OpenMusic 2016-03-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-09-01-A-Supervised-Approach-for-Rhythm-Transcription-Based-on-Tree-Series-Enumeration 2016-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2016-09-01-Some-results-on-confluence-decision-and-what-to-do-without 2016-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2017-05-01-Generating-equivalent-rhythmic-notations-based-on-rhythm-tree-languages 2017-05-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2017-07-01-Interactive-Music-Transcription-based-on-Rhythm-Tree-Languages 2017-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2018-05-01-Evaluation-de-la-correction-rythmique-des-partitions-numerisees 2018-05-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2018-05-01-Gioqoso-an-online-Quality-Assessment-Tool-for-Music-Notation 2018-05-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2018-07-01-Evaluating-musical-score-difference 2018-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2019-05-01-Modeling-and-Learning-Rhythm-Structure 2019-05-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2019-06-01-A-Parse-based-Framework-for-Coupled-Rhythm-Quantization-and-Score-Structuring 2019-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2019-09-01-Optimization-of-audio-graphs-by-resampling 2019-09-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2019-11-01-A-diff-procedure-for-music-score-files 2019-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2019-11-01-Computation-and-Visualization-of-Differences-between-two-XML-Music-Score-Files 2019-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2020-10-01-ASAP-a-dataset-of-aligned-scores-and-performances-for-piano-transcription 2020-10-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2022-01-01-Weighted-Automata-Computation-of-Edit-Distances-with-Consolidations-and-Fragmentations 2022-01-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2022-06-01-Symbolic-Weighted-Language-Models-Quantitative-Parsing-and-Automated-Music-Transcription 2022-06-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2022-07-01-MIDI-To-Score-Automated-Transcription 2022-07-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2022-11-01-Automated-Transcription-of-Electronic-Drumkits 2022-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2023-11-01-884-Formalizing-Time-Units-to-Handle-Symbolic-Music-Durations 2023-11-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2024-04-01-Engraving-Oriented-Joint-Estimation-of-Pitch-Spelling-and-Local-and-Global-Keys 2024-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2024-04-01-Tokenization-of-MIDI-Sequences-for-Transcription 2024-04-01T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2025-06-03-Automated-MEI-Transcription-Dataset-of-Electronic-Drum-Kit-Recordings 2025-06-03T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2025-11-03-Pitch-Spelling-Jazz-Lead-Sheets-and-Solo-Transcriptions 2025-11-03T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2025-11-03-Pitch-Spelling-extended 2026-06-15T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2025-09-21-Music-Score-Comparison-based-TSM 2026-09-21T00:00:00+00:00 https://florent-jacquemard.github.io/publication/2026-11-09-Parallel-Tree-Traversal-Music-Score-Comparison 2026-11-09T00:00:00+00:00 https://florent-jacquemard.github.io/software/1996-Maude/ https://florent-jacquemard.github.io/software/1997-SPASS/ https://florent-jacquemard.github.io/software/1999-CASRUL/ https://florent-jacquemard.github.io/software/2000-TL/ https://florent-jacquemard.github.io/software/2006-TACE/ https://florent-jacquemard.github.io/software/2012-antescofo/ https://florent-jacquemard.github.io/software/2013-ascotest/ https://florent-jacquemard.github.io/software/2016-RQ/ https://florent-jacquemard.github.io/software/2017-qparse/ https://florent-jacquemard.github.io/software/2019-scorediff https://florent-jacquemard.github.io/software/2022-TSM https://florent-jacquemard.github.io/software/2023-PSE https://florent-jacquemard.github.io/software/2026-TSMdiff https://florent-jacquemard.github.io/teaching/2005-MPRI https://florent-jacquemard.github.io/teaching/2015-spring-teaching-1 https://florent-jacquemard.github.io/teaching/2007-tata https://florent-jacquemard.github.io/teaching/2011-VTSA https://florent-jacquemard.github.io/teaching/2017-ENS-Paris-Saclay https://florent-jacquemard.github.io/teaching/2019-ISR https://florent-jacquemard.github.io/teaching/2022-OOP-INALCO https://florent-jacquemard.github.io/ https://florent-jacquemard.github.io/archive-layout-with-content/ https://florent-jacquemard.github.io/categories/ https://florent-jacquemard.github.io/collection-archive/ https://florent-jacquemard.github.io/cv-json/ https://florent-jacquemard.github.io/cv/ https://florent-jacquemard.github.io/markdown/ https://florent-jacquemard.github.io/non-menu-page/ https://florent-jacquemard.github.io/page-archive/ https://florent-jacquemard.github.io/portfolio/ https://florent-jacquemard.github.io/projects/ https://florent-jacquemard.github.io/publications/ https://florent-jacquemard.github.io/sitemap/ https://florent-jacquemard.github.io/software/ https://florent-jacquemard.github.io/tags/ https://florent-jacquemard.github.io/talkmap.html https://florent-jacquemard.github.io/talks/ https://florent-jacquemard.github.io/teaching/ https://florent-jacquemard.github.io/terms/ https://florent-jacquemard.github.io/year-archive/ https://florent-jacquemard.github.io/AcademicPages/ https://florent-jacquemard.github.io/markdown_generator/ https://florent-jacquemard.github.io/files/HDR-FJ.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/HDR-slides-FJ.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/ISR19RewritingMusic-part0.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/ISR19RewritingMusic-part1.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/ISR19RewritingMusic-part2.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/paper1.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/paper2.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/paper3.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/slides1.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/slides2.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/slides3.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/files/tata.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/AMT.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/PSE.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/SWA-crop.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/SWA.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/SWVPA.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/TSM.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/images/TSM0.pdf 2026-10-02T16:46:12+00:00 https://florent-jacquemard.github.io/talkmap/map.html 2026-10-02T16:46:12+00:00