Florent Jacquemard
93
Documents
Publications
- 14
- 9
- 8
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 6
- 3
- 2
- 7
- 9
- 4
- 9
- 4
- 6
- 3
- 4
- 5
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 12
- 6
- 3
- 2
- 2
- 1
- 3
- 2
|
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
Conference papers
hal-04458185v1
|
|
Tokenization of MIDI Sequences for Transcription9th International Conference on Technologies for Music Notation and Representation (TENOR 2024), Apr 2024, Zurich, Switzerland
Conference papers
hal-04458252v1
|
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan
Conference papers
hal-04458240v1
|
|
|
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⟩
Conference papers
hal-03647675v2
|
|
Automated Transcription of Electronic Drumkits4th International Workshop on Reading Music Systems (WoRMS), Nov 2022, online, Spain
Conference papers
hal-03815760v3
|
|
ASAP: a dataset of aligned scores and performances for piano transcriptionISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
Conference papers
hal-02929324v1
|
|
Optimization of audio graphs by resamplingDAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom
Conference papers
hal-02284258v1
|
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
Conference papers
hal-02309923v1
|
|
|
Modeling and Learning Rhythm StructureSound and Music Computing Conference (SMC), May 2019, Malaga, Spain
Conference papers
hal-02024437v2
|
|
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⟩
Conference papers
hal-01988990v2
|
|
A diff procedure for music score files6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7
Conference papers
hal-02267454v2
|
|
Évaluation de la correction rythmique des partitions numériséesJIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95
Conference papers
hal-01791404v1
|
|
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
Conference papers
hal-01895171v1
|
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
Conference papers
hal-01472646v1
|
|
|
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
Conference papers
hal-01403982v1
|
|
Une approche interactive pour la transcription rythmique dans OpenMusicJournées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
Conference papers
hal-01298806v1
|
|
A Supervised Approach for Rhythm Transcription Based on Tree Series EnumerationInternational Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands
Conference papers
hal-01315689v2
|
|
Some results on confluence: decision and what to do without5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
Conference papers
hal-01367535v1
|
|
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⟩
Conference papers
hal-01097345v2
|
|
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
Conference papers
hal-01138642v1
|
|
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
Conference papers
hal-01149319v2
|
|
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateurJournées d'Informatique Musicale, 2015, Montréal, Canada
Conference papers
hal-01142022v1
|
|
Towards an Equational Theory of Rhythm NotationMusic Encoding Conference 2015, May 2015, Florence, Italy
Conference papers
hal-01105418v1
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece
Conference papers
hal-01021617v1
|
Rhythm Tree RewritingMeeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria
Conference papers
hal-01109666v1
|
|
|
Formal Timing Analysis Of Mixed Music Scores2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia
Conference papers
hal-00829821v2
|
|
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
Conference papers
hal-00787033v1
|
|
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed MusicEMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
Conference papers
hal-00850299v1
|
|
Unranked Tree Rewriting and Effective Closures of LanguagesMeeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
Conference papers
hal-00852379v1
|
|
Rewrite Closure and CF Hedge Automata7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
Conference papers
hal-00767719v1
|
|
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
Conference papers
hal-00718854v1
|
|
Controlled Term Rewriting8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194
Conference papers
hal-00643160v1
|
|
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
Conference papers
hal-01156639v1
|
|
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⟩
Conference papers
inria-00578896v1
|
|
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
Conference papers
hal-00642921v1
|
|
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⟩
Conference papers
inria-00578916v1
|
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⟩
Conference papers
inria-00578884v1
|
|
|
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⟩
Conference papers
inria-00578901v1
|
|
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⟩
Conference papers
inria-00579001v1
|
|
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⟩
Conference papers
inria-00578926v1
|
|
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⟩
Conference papers
inria-00578959v1
|
|
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⟩
Conference papers
inria-00578966v1
|
|
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⟩
Conference papers
inria-00329803v1
|
|
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⟩
Conference papers
inria-00579004v1
|
|
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
Conference papers
inria-00579015v1
|
|
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⟩
Conference papers
inria-00579009v1
|
|
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⟩
Conference papers
inria-00579010v1
|
|
Automating Sufficient Completeness Check for Conditional and Constrained TRS20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States
Conference papers
inria-00579017v1
|
|
Security Protocol Verification with Implicit Induction and Explicit Destructors1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44
Conference papers
inria-00579018v1
|
|
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⟩
Conference papers
inria-00579011v1
|
|
A Theory of Dictionary Attacks and its Complexity17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15
Conference papers
inria-00579014v1
|
|
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
Conference papers
inria-00579012v1
|
Compiling and Verifying Security ProtocolsInternational Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160
Conference papers
inria-00099161v1
|
|
Compiling and narrowing cryptographic protocolsWorkshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p
Conference papers
inria-00098875v1
|
|
Decidable fragments of simultaneous rigid reachabilityInternational Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260
Conference papers
inria-00098806v1
|
|
MIDI To Score Automated Drum TranscriptionDLfM 2022 - 9th International Conference on Digital Libraries for Musicology, Jul 2022, Prague, Czech Republic
Conference poster
hal-03847232v1
|
|
Evaluating musical score difference: a two-level comparisonDigital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018
Conference poster
hal-01989029v1
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece
Conference poster
hal-01133597v1
|
|
Tree Automata with Constraints: a brief surveyTree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Documents associated with scientific events
hal-00840959v1
|
|
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⟩
Book sections
hal-00340140v1
|
|
Symbolic Weighted Language Models, Quantitative Parsing and Verification over Infinite Alphabets2021
Preprints, Working Papers, ...
hal-03380268v1
|
|
What does the Mongeau-Sankoff algorithm compute?2019
Preprints, Working Papers, ...
hal-02340896v1
|
|
Rewrite Closure and CF Hedge Automata2012
Preprints, Working Papers, ...
hal-00752496v2
|
|
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
Accreditation to supervise research
tel-00643595v1
|