
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
Publications
|
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
Communication dans un congrès
hal-04458185
v1
|
|
Tokenization of MIDI Sequences for Transcription9th International Conference on Technologies for Music Notation and Representation (TENOR 2024), Apr 2024, Zurich, Switzerland
Communication dans un congrès
hal-04458252
v1
|
|
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan
Communication dans un congrès
hal-04458240
v1
|
|
Automated Transcription of Electronic Drumkits4th International Workshop on Reading Music Systems (WoRMS), Nov 2022, online, Spain
Communication dans un congrès
hal-03815760
v3
|
|
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⟩
Communication dans un congrès
hal-03647675
v2
|
|
ASAP: a dataset of aligned scores and performances for piano transcriptionISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
Communication dans un congrès
hal-02929324
v1
|
|
A diff procedure for music score files6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7
Communication dans un congrès
hal-02267454
v2
|
|
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⟩
Communication dans un congrès
hal-01988990
v2
|
|
Modeling and Learning Rhythm StructureSound and Music Computing Conference (SMC), May 2019, Malaga, Spain
Communication dans un congrès
hal-02024437
v2
|
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
Communication dans un congrès
hal-02309923
v1
|
|
|
Optimization of audio graphs by resamplingDAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom
Communication dans un congrès
hal-02284258
v1
|
|
Évaluation de la correction rythmique des partitions numériséesJIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95
Communication dans un congrès
hal-01791404
v1
|
|
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
Communication dans un congrès
hal-01895171
v1
|
|
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
Communication dans un congrès
hal-01403982
v1
|
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
Communication dans un congrès
hal-01472646
v1
|
|
|
A Supervised Approach for Rhythm Transcription Based on Tree Series EnumerationInternational Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands
Communication dans un congrès
hal-01315689
v2
|
|
Une approche interactive pour la transcription rythmique dans OpenMusicJournées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
Communication dans un congrès
hal-01298806
v1
|
|
Some results on confluence: decision and what to do without5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
Communication dans un congrès
hal-01367535
v1
|
|
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
Communication dans un congrès
hal-01138642
v1
|
|
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⟩
Communication dans un congrès
hal-01097345
v2
|
|
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateurJournées d'Informatique Musicale, 2015, Montréal, Canada
Communication dans un congrès
hal-01142022
v1
|
|
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
Communication dans un congrès
hal-01149319
v2
|
|
Towards an Equational Theory of Rhythm NotationMusic Encoding Conference 2015, May 2015, Florence, Italy
Communication dans un congrès
hal-01105418
v1
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece
Communication dans un congrès
hal-01021617
v1
|
Rhythm Tree RewritingMeeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01109666
v1
|
|
|
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
Communication dans un congrès
hal-00787033
v1
|
|
Formal Timing Analysis Of Mixed Music Scores2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia
Communication dans un congrès
hal-00829821
v2
|
|
Unranked Tree Rewriting and Effective Closures of LanguagesMeeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
Communication dans un congrès
hal-00852379
v1
|
|
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed MusicEMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
Communication dans un congrès
hal-00850299
v1
|
|
Rewrite Closure and CF Hedge Automata7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
Communication dans un congrès
hal-00767719
v1
|
|
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
Communication dans un congrès
hal-00718854
v1
|
|
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⟩
Communication dans un congrès
inria-00578896
v1
|
|
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
Communication dans un congrès
hal-01156639
v1
|
|
Controlled Term Rewriting8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194
Communication dans un congrès
hal-00643160
v1
|
|
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
Communication dans un congrès
hal-00642921
v1
|
|
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⟩
Communication dans un congrès
inria-00578901
v1
|
|
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⟩
Communication dans un congrès
inria-00578916
v1
|
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⟩
Communication dans un congrès
inria-00578884
v1
|
|
|
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⟩
Communication dans un congrès
inria-00578959
v1
|
|
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⟩
Communication dans un congrès
inria-00579001
v1
|
|
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⟩
Communication dans un congrès
inria-00578926
v1
|
|
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⟩
Communication dans un congrès
inria-00579004
v1
|
|
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⟩
Communication dans un congrès
inria-00329803
v1
|
|
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⟩
Communication dans un congrès
inria-00578966
v1
|
|
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
Communication dans un congrès
inria-00579015
v1
|
|
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⟩
Communication dans un congrès
inria-00579009
v1
|
|
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⟩
Communication dans un congrès
inria-00579011
v1
|
|
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⟩
Communication dans un congrès
inria-00579010
v1
|
|
Security Protocol Verification with Implicit Induction and Explicit Destructors1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44
Communication dans un congrès
inria-00579018
v1
|
|
Automating Sufficient Completeness Check for Conditional and Constrained TRS20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States
Communication dans un congrès
inria-00579017
v1
|
|
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
Communication dans un congrès
inria-00579012
v1
|
|
A Theory of Dictionary Attacks and its Complexity17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15
Communication dans un congrès
inria-00579014
v1
|
Compiling and Verifying Security ProtocolsInternational Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160
Communication dans un congrès
inria-00099161
v1
|
|
Compiling and narrowing cryptographic protocolsWorkshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p
Communication dans un congrès
inria-00098875
v1
|
|
Decidable fragments of simultaneous rigid reachabilityInternational Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260
Communication dans un congrès
inria-00098806
v1
|
|
MIDI To Score Automated Drum TranscriptionDLfM 2022 - 9th International Conference on Digital Libraries for Musicology, Jul 2022, Prague, Czech Republic
Poster de conférence
hal-03847232
v1
|
|
Evaluating musical score difference: a two-level comparisonDigital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018
Poster de conférence
hal-01989029
v1
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece
Poster de conférence
hal-01133597
v1
|
|
Tree Automata with Constraints: a brief surveyTree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Document associé à des manifestations scientifiques
hal-00840959
v1
|
|
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⟩
Chapitre d'ouvrage
hal-00340140
v1
|
|
Symbolic Weighted Language Models, Quantitative Parsing and Verification over Infinite Alphabets2021
Pré-publication, Document de travail
hal-03380268
v1
|
|
What does the Mongeau-Sankoff algorithm compute?2019
Pré-publication, Document de travail
hal-02340896
v1
|
|
Rewrite Closure and CF Hedge Automata2012
Pré-publication, Document de travail
hal-00752496
v2
|
|
Offline methods of conformance testing for Antescofo[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport
(rapport de recherche)
hal-01132155
v1
|
|
Compilation of the Intermediate Representation V1[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport
(rapport de recherche)
hal-01132159
v1
|
|
Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC[Contrat] Institut français de Vienne. 2015
Rapport
(rapport contrat/projet)
hal-01254591
v1
|
|
A Term Rewriting Based Structural Theory of Rhythm Notation[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015
Rapport
(rapport de recherche)
hal-01134096
v3
|
|
Antescofo Intermediate Representation[Research Report] RR-8520, INRIA. 2014, pp.13
Rapport
(rapport de recherche)
hal-00979359
v1
|
|
Formal Timing Analysis of Mixed Music Scores[Research Report] 2013, pp.10
Rapport
(rapport de recherche)
hal-00797595
v1
|
|
Rewrite based Verification of XML Updates[Research Report] RR-7007, INRIA. 2009, pp.39
Rapport
(rapport de recherche)
inria-00408162
v1
|
|
Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems[Research Report] RR-5863, INRIA. 2006, pp.17
Rapport
(rapport de recherche)
inria-00070163
v1
|
|
Tree Automata with Equality Constraints Modulo Equational Theories[Research Report] RR-5754, INRIA. 2005, pp.27
Rapport
(rapport de recherche)
inria-00071215
v1
|
|
Compiling and Verifying Security Protocols[Research Report] RR-3938, INRIA. 2000, pp.25
Rapport
(rapport de recherche)
inria-00072712
v1
|
|
Ground Reducibility is EXPTIME-complete[Research Report] RR-3800, INRIA. 1999, pp.26
Rapport
(rapport de recherche)
inria-00072859
v1
|
|
Rigid Reachability[Intern report] 98-R-388 || ganzinger98a, 1998, 24 p
Rapport
inria-00098741
v1
|
|
Unification in Extensions of Shallow Equational Theories[Intern report] 98-R-387 || jacquemard98a, 1998, 33 p
Rapport
inria-00098740
v1
|
|
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
HDR
tel-00643595
v1
|
Chargement...
Chargement...