Florent Jacquemard
Publications
Publications
|
|
Detecting Notational Errors in Digital Music ScoresInternational Conference on Technologies for Music Notation and Representation (TENOR) 2025, Oct 2025, Beijing, China. ⟨10.48550/arXiv.2510.02746⟩ |
|
|
Pitch Spelling Jazz Lead Sheets and Solo TranscriptionsCMMR 2025 - 17th International Symposium on Computer Music Multidisciplinary Research, Nov 2025, London, United Kingdom |
|
|
Automated MEI Transcription of a Dataset of Electronic Drum Kit RecordingsMEI 2025 - Music Encoding Conference, Jun 2025, London, United Kingdom. ⟨10.17613/yfef8-p7m15⟩ |
|
|
Engraving Oriented Joint Estimation of Pitch Spelling and Local and Global KeysInternational Conference on Technologies for Music Notation and Representation (TENOR), Apr 2024, Zurich, Switzerland |
|
|
Tokenization of MIDI Sequences for Transcription9th International Conference on Technologies for Music Notation and Representation (TENOR 2024), Apr 2024, Zurich, Switzerland |
|
|
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan |
|
|
Automated Transcription of Electronic Drumkits4th International Workshop on Reading Music Systems (WoRMS), Nov 2022, Online, Spain |
|
|
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music TranscriptionCIAA 2022 - International Conference on Implementation and Application of Automata, Jun 2022, Rouen, France. pp.67-79, ⟨10.1007/978-3-031-07469-1_5⟩ |
|
|
ASAP: a dataset of aligned scores and performances for piano transcriptionISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada |
Computation and Visualization of Differences between two XML Music Score FilesISMIR 2019 - 20th annual conference of the International Society for Music Information Retrieval, Nov 2019, Delft, Netherlands |
|
|
|
A Parse-based Framework for Coupled Rhythm Quantization and Score StructuringMCM 2019 - Mathematics and Computation in Music, Jun 2019, Madrid, Spain. ⟨10.1007/978-3-030-21392-3_20⟩ |
|
|
Modeling and Learning Rhythm StructureSound and Music Computing Conference (SMC), May 2019, Malaga, Spain |
|
|
A diff procedure for music score files6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7 |
|
|
Optimization of audio graphs by resamplingDAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom |
|
|
Gioqoso, an online Quality Assessment Tool for Music Notation4th International Conference on Technologies for Music Notation and Representation (TENOR'18), Sandeep Bhagwati and Jean Bresson, May 2018, Montreal, Canada |
|
|
Évaluation de la correction rythmique des partitions numériséesJIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95 |
|
|
Generating equivalent rhythmic notations based on rhythm tree languagesThird International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain |
Interactive Music Transcription based on Rhythm Tree Languages16th Rhythm Production and Perception Workshop, Ryan Stables, Jason Hockman, Mark Elliott, Alan Wing, Jul 2017, Birmingham, United Kingdom |
|
|
|
A Supervised Approach for Rhythm Transcription Based on Tree Series EnumerationInternational Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands |
|
|
Une approche interactive pour la transcription rythmique dans OpenMusicJournées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France |
|
|
Some results on confluence: decision and what to do without5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria |
|
|
A Structural Theory of Rhythm Notation based on Tree Representations and Term RewritingMathematics and Computation in Music: 5th International Conference, MCM 2015, Oscar Bandtlow and Elaine Chew, Jun 2015, London, United Kingdom. pp.12 |
|
|
Model Based Testing of an Interactive Music SystemProceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩ |
|
|
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateurJournées d'Informatique Musicale, 2015, Montréal, Canada |
|
|
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany |
|
|
Towards an Equational Theory of Rhythm NotationMusic Encoding Conference 2015, May 2015, Florence, Italy |
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece |
Rhythm Tree RewritingMeeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria |
|
|
|
From Authored to Produced Time in Computer-Musician InteractionsCHI 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 |
|
|
Formal Timing Analysis Of Mixed Music Scores2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia |
|
|
Unranked Tree Rewriting and Effective Closures of LanguagesMeeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands |
|
|
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed MusicEMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada |
|
|
Rewrite Closure and CF Hedge Automata7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain |
|
|
Correct Automatic Accompaniment Despite Machine Listening or Human Errors in AntescofoICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia |
|
|
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-CalculusTheory 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⟩ |
|
|
Controlled Term Rewriting8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194 |
|
|
Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatiqueModélisation des systèmes réactifs (MSR 11), Nov 2011, Lille, France. pp.109-124 |
|
|
Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Étienne Craye and Abdoulaye Gamalié, Nov 2011, Lille, France. pp.109-124 |
|
|
Rewrite-Based Verification of XML Updates12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩ |
|
|
The Emptiness Problem for Tree Automata with Global Constraints25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩ |
XML Access Control: from XACML to Annotated SchemasSecond International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩ |
|
|
|
Rigid Tree AutomataThird International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.446-457, ⟨10.1007/978-3-642-00982-2_38⟩ |
|
|
Unique Normalization for Shallow TRS20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. pp.63-77, ⟨10.1007/978-3-642-02348-4_5⟩ |
|
|
Automatic Verification of Conformance of Firewall Configurations to Security PoliciesIEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩ |
|
|
Automated Induction with Constrained Tree Automata4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. pp.539-554, ⟨10.1007/978-3-540-71070-7_44⟩ |
|
|
Closure of Hedge-Automata Languages by Hedge Rewriting19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩ |
|
|
Closure of Tree Automata Languages under Innermost Rewriting8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩ |
|
|
Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit InductionJoint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Jul 2007, Poland. pp.27-44 |
|
|
Tree Automata with Memory, Visibility and Structural Constraints10th 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⟩ |
|
|
The Confluence Problem for Flat TRSs8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩ |
|
|
Security Protocol Verification with Implicit Induction and Explicit Destructors1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44 |
|
|
Automating Sufficient Completeness Check for Conditional and Constrained TRS20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States |
|
|
Tree automata with equality constraints modulo equational theories3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩ |
|
|
A Decision Procedure for the Verification of Security Protocols with Explicit Destructors11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. pp.278-287 |
|
|
A Theory of Dictionary Attacks and its Complexity17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15 |
Compiling and Verifying Security ProtocolsInternational Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160 |
|
Decidable fragments of simultaneous rigid reachabilityInternational Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260 |
|
Compiling and narrowing cryptographic protocolsWorkshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p |
|
|
MIDI To Score Automated Drum TranscriptionDLfM 2022 - 9th International Conference on Digital Libraries for Musicology, Jul 2022, Prague, Czech Republic |
|
|
Evaluating musical score difference: a two-level comparisonDigital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018 |
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece |
|
|
Tree Automata with Constraints: a brief surveyTree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013 |
|
|
An Analysis of a Public-Key Protocol with MembranesCiobanu, 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⟩ |
|
|
Symbolic Weighted Language Models, Quantitative Parsing and Verification over Infinite Alphabets2021 |
|
|
What does the Mongeau-Sankoff algorithm compute?2019 |
|
|
Rewrite Closure and CF Hedge Automata2012 |
|
|
Compilation of the Intermediate Representation V1[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 |
|
|
Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC[Contrat] Institut français de Vienne. 2015 |
|
|
A Term Rewriting Based Structural Theory of Rhythm Notation[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015 |
|
|
Offline methods of conformance testing for Antescofo[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 |
|
|
Antescofo Intermediate Representation[Research Report] RR-8520, INRIA. 2014, pp.13 |
|
|
Formal Timing Analysis of Mixed Music Scores[Research Report] 2013, pp.10 |
|
|
Rewrite based Verification of XML Updates[Research Report] RR-7007, INRIA. 2009, pp.39 |
|
|
Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems[Research Report] RR-5863, INRIA. 2006, pp.17 |
|
|
Tree Automata with Equality Constraints Modulo Equational Theories[Research Report] RR-5754, INRIA. 2005, pp.27 |
|
|
Compiling and Verifying Security Protocols[Research Report] RR-3938, INRIA. 2000, pp.25 |
|
|
Ground Reducibility is EXPTIME-complete[Research Report] RR-3800, INRIA. 1999, pp.26 |
|
|
Rigid Reachability[Intern report] 98-R-388 || ganzinger98a, 1998, 24 p |
|
|
Unification in Extensions of Shallow Equational Theories[Intern report] 98-R-387 || jacquemard98a, 1998, 33 p |
|
|
Extended Tree Automata Models for the Verification of Infinite State SystemsFormal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011 |