Florent Jacquemard

96
Documents

Publications

14
9
8
8
7
6
6
6
6
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
3
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
3
2
1
3
2

Publications

Deposit thumbnail

Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations

Mathieu Giraud , Florent Jacquemard

Information and Computation, 2022, 282, pp.104652. ⟨10.1016/j.ic.2020.104652⟩

Article dans une revue hal-01857267v4
Deposit thumbnail

FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.

Florent Jacquemard , Luc Segoufin , Jérémie Dimino

Logical Methods in Computer Science, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩

Article dans une revue hal-00769249v3
Deposit thumbnail

Model-Based Testing for Building Reliable Realtime Interactive Music Systems

Clement Poncelet , Florent Jacquemard

Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172

Article dans une revue hal-01314969v2
Deposit thumbnail

One-variable context-free hedge automata

Florent Jacquemard , Michael Rusinowitch

Journal of Computer and System Sciences, 2016, ⟨10.1016/j.jcss.2016.10.006⟩

Article dans une revue hal-01426626v1
Deposit thumbnail

An Automatic Test Framework for Interactive Music Systems

Florent Jacquemard , Clément Poncelet

Journal of New Music Research, 2016, 45 (2), pp.18

Article dans une revue hal-01274035v1
Deposit thumbnail

Operational semantics of a domain specific language for real time musician-computer interaction

José Echeveste , Arshia Cont , Jean-Louis Giavitto , Florent Jacquemard

Discrete Event Dynamic Systems, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩

Article dans une revue hal-00854719v1
Deposit thumbnail

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

Luis Barguñó , Carlos Creus , Guillem Godoy , Florent Jacquemard , Camille Vacher

Logical Methods in Computer Science, 2013, 9 (2), pp.1-39

Article dans une revue hal-00852382v1

Antescofo à l'avant-garde de l'informatique musicale

Arshia Cont , Florent Jacquemard , Pierre-Olivier Gaumin

Interstices, 2012

Article dans une revue hal-00753014v1
Deposit thumbnail

Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems

Adel Bouhoula , Florent Jacquemard

Journal of Applied Logic, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩

Article dans une revue hal-00643136v1
Deposit thumbnail

Rigid Tree Automata and Applications

Florent Jacquemard , Francis Klay , Camille Vacher

Information and Computation, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩

Article dans une revue inria-00578820v1
Deposit thumbnail

Tree automata with equality constraints modulo equational theories

Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron

Journal of Logic and Algebraic Programming, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩

Article dans une revue inria-00329693v1
Deposit thumbnail

Visibly Tree Automata with Memory and Constraints

Hubert Comon-Lundh , Florent Jacquemard , Nicolas Perrin

Logical Methods in Computer Science, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩

Article dans une revue inria-00578844v1
Deposit thumbnail

Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks

Stéphanie Delaune , Florent Jacquemard

Journal of Automated Reasoning, 2006, 36 (1-2), pp.85-124. ⟨10.1007/s10817-005-9017-7⟩

Article dans une revue istex inria-00578855v1
Deposit thumbnail

Ground Reducibility is EXPTIME-complete

Hubert Comon-Lundh , Florent Jacquemard

Information and Computation, 2003, 187 (1), pp.123-153

Article dans une revue inria-00578859v1
Deposit thumbnail

Reachability and confluence are undecidable for flat term rewriting systems

Florent Jacquemard

Information Processing Letters, 2003, 87 (5), pp.265-270

Article dans une revue inria-00578875v1

Rigid reachability, the non-symmetric form of rigid E-unification

Harald Ganzinger , Florent Jacquemard , Margus Veanes

International Journal of Foundations of Computer Science, 2000, 11 (1), pp.3-27

Article dans une revue inria-00099097v1
Deposit thumbnail

Detecting Notational Errors in Digital Music Scores

Léo Géré , Nicolas Audebert , Florent Jacquemard

International Conference on Technologies for Music Notation and Representation (TENOR) 2025, Oct 2025, Beijing, China. ⟨10.48550/arXiv.2510.02746⟩

Communication dans un congrès hal-05294807v1
Deposit thumbnail

Pitch Spelling Jazz Lead Sheets and Solo Transcriptions

Augustin Bouquillard , Florent Jacquemard

CMMR 2025 - 17th International Symposium on Computer Music Multidisciplinary Research, Nov 2025, London, United Kingdom

Communication dans un congrès hal-05230392v1
Deposit thumbnail

Automated MEI Transcription of a Dataset of Electronic Drum Kit Recordings

Florent Jacquemard , Lydia Rodriguez-de la Nava

MEI 2025 - Music Encoding Conference, Jun 2025, London, United Kingdom. ⟨10.17613/yfef8-p7m15⟩

Communication dans un congrès hal-05230366v1
Deposit thumbnail

Engraving Oriented Joint Estimation of Pitch Spelling and Local and Global Keys

Augustin Bouquillard , Florent Jacquemard

International Conference on Technologies for Music Notation and Representation (TENOR), Apr 2024, Zurich, Switzerland

Communication dans un congrès hal-04458185v1
Deposit thumbnail

Tokenization of MIDI Sequences for Transcription

Yosuke Amagasu , Florent Jacquemard , Masahiko Sakai

9th International Conference on Technologies for Music Notation and Representation (TENOR 2024), Apr 2024, Zurich, Switzerland

Communication dans un congrès hal-04458252v1

8+8=4: Formalizing Time Units to Handle Symbolic Music Durations

Emmanouil Karystinaios , Francesco Foscarin , Florent Jacquemard , Masahiko Sakai , Satoshi Tojo et al.

16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan

Communication dans un congrès hal-04458240v1
Deposit thumbnail

Automated Transcription of Electronic Drumkits

Martin Digard , Florent Jacquemard , Lydia Rodriguez-de la Nava

4th International Workshop on Reading Music Systems (WoRMS), Nov 2022, Online, Spain

Communication dans un congrès hal-03815760v3
Deposit thumbnail

Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription

Florent Jacquemard , Lydia Rodriguez de La Nava

CIAA 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-03647675v2
Deposit thumbnail

ASAP: a dataset of aligned scores and performances for piano transcription

Francesco Foscarin , Andrew Mcleod , Philippe Rigaux , Florent Jacquemard , Masahiko Sakai

ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada

Communication dans un congrès hal-02929324v1

Computation and Visualization of Differences between two XML Music Score Files

Francesco Foscarin , Florent Jacquemard , Raphaël Fournier-Sniehotta

ISMIR 2019 - 20th annual conference of the International Society for Music Information Retrieval, Nov 2019, Delft, Netherlands

Communication dans un congrès hal-02309923v1
Deposit thumbnail

A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring

Francesco Foscarin , Florent Jacquemard , Philippe Rigaux , Masahiko Sakai

MCM 2019 - Mathematics and Computation in Music, Jun 2019, Madrid, Spain. ⟨10.1007/978-3-030-21392-3_20⟩

Communication dans un congrès hal-01988990v2
Deposit thumbnail

Modeling and Learning Rhythm Structure

Francesco Foscarin , Florent Jacquemard , Philippe Rigaux

Sound and Music Computing Conference (SMC), May 2019, Malaga, Spain

Communication dans un congrès hal-02024437v2
Deposit thumbnail

A diff procedure for music score files

Francesco Foscarin , Raphaël Fournier-S'Niehotta , Florent Jacquemard

6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7

Communication dans un congrès hal-02267454v2
Deposit thumbnail

Optimization of audio graphs by resampling

Pierre Donat-Bouillud , Jean-Louis Giavitto , Florent Jacquemard

DAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom

Communication dans un congrès hal-02284258v1
Deposit thumbnail

Gioqoso, an online Quality Assessment Tool for Music Notation

Francesco Foscarin , David Fiala , Florent Jacquemard , Philippe Rigaux , Virginie Thion

4th 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-01895171v1
Deposit thumbnail

Évaluation de la correction rythmique des partitions numérisées

Francesco Foscarin , Raphaël Fournier-S'Niehotta , Florent Jacquemard , Philippe Rigaux

JIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95

Communication dans un congrès hal-01791404v1
Deposit thumbnail

Generating equivalent rhythmic notations based on rhythm tree languages

Florent Jacquemard , Adrien Ycart , Masahiko Sakai

Third 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-01403982v1

Interactive Music Transcription based on Rhythm Tree Languages

Florent Jacquemard , Adrien Ycart

16th Rhythm Production and Perception Workshop, Ryan Stables, Jason Hockman, Mark Elliott, Alan Wing, Jul 2017, Birmingham, United Kingdom

Communication dans un congrès hal-01472646v1
Deposit thumbnail

A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration

Adrien Ycart , Florent Jacquemard , Jean Bresson , Slawomir Staworko

International Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands

Communication dans un congrès hal-01315689v2
Deposit thumbnail

Une approche interactive pour la transcription rythmique dans OpenMusic

Adrien Ycart , Jean Bresson , Florent Jacquemard , Sławek Staworko

Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France

Communication dans un congrès hal-01298806v1
Deposit thumbnail

Some results on confluence: decision and what to do without

Florent Jacquemard

5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria

Communication dans un congrès hal-01367535v1
Deposit thumbnail

A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting

Florent Jacquemard , Pierre Donat-Bouillud , Jean Bresson

Mathematics 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-01138642v1
Deposit thumbnail

Model Based Testing of an Interactive Music System

Clément Poncelet , Florent Jacquemard

Proceedings 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-01097345v2
Deposit thumbnail

Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur

Jean Bresson , Dimitri Bouche , Jérémie Garcia , Thibaut Carpentier , Florent Jacquemard et al.

Journées d'Informatique Musicale, 2015, Montréal, Canada

Communication dans un congrès hal-01142022v1
Deposit thumbnail

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies

Florent Jacquemard , Yoshiharu Kojima , Masahiko Sakai

25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany

Communication dans un congrès hal-01149319v2
Deposit thumbnail

Towards an Equational Theory of Rhythm Notation

Pierre Donat-Bouillud , Florent Jacquemard , Masahiko Sakai

Music Encoding Conference 2015, May 2015, Florence, Italy

Communication dans un congrès hal-01105418v1
Deposit thumbnail

Test Methods for Score-Based Interactive Music Systems

Clément Poncelet Sanchez , Florent Jacquemard

ICMC SMC 2014, Sep 2014, Athen, Greece

Communication dans un congrès hal-01021617v1

Rhythm Tree Rewriting

Florent Jacquemard , Jean Bresson , Pierre Donat-Bouillud

Meeting 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-01109666v1
Deposit thumbnail

From Authored to Produced Time in Computer-Musician Interactions

Arshia Cont , Jean-Louis Giavitto , Florent Jacquemard

CHI 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-00787033v1
Deposit thumbnail

Formal Timing Analysis Of Mixed Music Scores

Léa Fanchon , Florent Jacquemard

2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia

Communication dans un congrès hal-00829821v2
Deposit thumbnail

Unranked Tree Rewriting and Effective Closures of Languages

Florent Jacquemard , Michaël Rusinowitch

Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands

Communication dans un congrès hal-00852379v1
Deposit thumbnail

A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music

Guillaume Baudart , Louis Mandel , Florent Jacquemard , Marc Pouzet

EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada

Communication dans un congrès hal-00850299v1
Deposit thumbnail

Rewrite Closure and CF Hedge Automata

Florent Jacquemard , Michael Rusinowitch

7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain

Communication dans un congrès hal-00767719v1
Deposit thumbnail

Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo

Arshia Cont , José Echeveste , Jean-Louis Giavitto , Florent Jacquemard

ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia

Communication dans un congrès hal-00718854v1
Deposit thumbnail

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Florent Jacquemard , Etienne Lozes , Ralf Treinen , Jules Villard

Theory 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-00578896v1
Deposit thumbnail

Controlled Term Rewriting

Florent Jacquemard , Yoshiharu Kojima , Masahiko Sakai

8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194

Communication dans un congrès hal-00643160v1
Deposit thumbnail

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

Modélisation des systèmes réactifs (MSR 11), Nov 2011, Lille, France. pp.109-124

Communication dans un congrès hal-01156639v1
Deposit thumbnail

Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique

José Echeveste , Arshia Cont , Jean-Louis Giavitto , Florent Jacquemard

8e 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-00642921v1
Deposit thumbnail

Rewrite-Based Verification of XML Updates

Florent Jacquemard , Michael Rusinowitch

12th 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-00578916v1
Deposit thumbnail

The Emptiness Problem for Tree Automata with Global Constraints

Luis Barguñó , Carlos Creus , Guillem Godoy , Florent Jacquemard , Camille Vacher

25th 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-00578901v1

XML Access Control: from XACML to Annotated Schemas

Ryma Abassi , Florent Jacquemard , Michael Rusinowitch , Sihem Guemara El Fatmi

Second 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-00578884v1
Deposit thumbnail

Rigid Tree Automata

Florent Jacquemard , Francis Klay , Camille Vacher

Third 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-00579001v1
Deposit thumbnail

Unique Normalization for Shallow TRS

Guillem Godoy , Florent Jacquemard

20th 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-00578959v1
Deposit thumbnail

Automatic Verification of Conformance of Firewall Configurations to Security Policies

Nihel Ben Youssef , Adel Bouhoula , Florent Jacquemard

IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩

Communication dans un congrès inria-00578926v1
Deposit thumbnail

Automated Induction with Constrained Tree Automata

Adel Bouhoula , Florent Jacquemard

4th 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-00579004v1
Deposit thumbnail

Closure of Hedge-Automata Languages by Hedge Rewriting

Florent Jacquemard , Michael Rusinowitch

19th 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-00329803v1
Deposit thumbnail

Closure of Tree Automata Languages under Innermost Rewriting

Adria Gascon , Guillem Godoy , Florent Jacquemard

8th 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-00578966v1
Deposit thumbnail

Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction

Adel Bouhoula , Florent Jacquemard

Joint 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-00579015v1
Deposit thumbnail

Tree Automata with Memory, Visibility and Structural Constraints

Hubert Comon-Lundh , Florent Jacquemard , Nicolas Perrin

10th 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-00579009v1
Deposit thumbnail

The Confluence Problem for Flat TRSs

Ichiro Mitsuhashi , Michio Oyamaguch , Florent Jacquemard

8th 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-00579010v1
Deposit thumbnail

Security Protocol Verification with Implicit Induction and Explicit Destructors

Adel Bouhoula , Florent Jacquemard

1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44

Communication dans un congrès inria-00579018v1
Deposit thumbnail

Automating Sufficient Completeness Check for Conditional and Constrained TRS

Adel Bouhoula , Florent Jacquemard

20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States

Communication dans un congrès inria-00579017v1
Deposit thumbnail

Tree automata with equality constraints modulo equational theories

Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron

3d 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-00579011v1
Deposit thumbnail

A Decision Procedure for the Verification of Security Protocols with Explicit Destructors

Stéphanie Delaune , Florent Jacquemard

11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. pp.278-287

Communication dans un congrès inria-00579012v1
Deposit thumbnail

A Theory of Dictionary Attacks and its Complexity

Stéphanie Delaune , Florent Jacquemard

17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15

Communication dans un congrès inria-00579014v1

Compiling and Verifying Security Protocols

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron

International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160

Communication dans un congrès inria-00099161v1

Decidable fragments of simultaneous rigid reachability

Véronique Cortier , Harald Ganzinger , Florent Jacquemard , Margus Veanes

International Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260

Communication dans un congrès inria-00098806v1

Compiling and narrowing cryptographic protocols

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron

Workshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p

Communication dans un congrès inria-00098875v1
Deposit thumbnail

MIDI To Score Automated Drum Transcription

Martin Digard , Florent Jacquemard , Lydia Rodriguez-de la Nava

DLfM 2022 - 9th International Conference on Digital Libraries for Musicology, Jul 2022, Prague, Czech Republic

Poster de conférence hal-03847232v1
Deposit thumbnail

Evaluating musical score difference: a two-level comparison

Francesco Foscarin , Raphaël Fournier-S'Niehotta , Philippe Rigaux , Florent Jacquemard

Digital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018

Poster de conférence hal-01989029v1
Deposit thumbnail

Test methods for Score-Based Interactive Music Systems Toward a formal Specification

Clément Poncelet , Florent Jacquemard

ICMC/SMC 2014, Sep 2014, Athène, Greece

Poster de conférence hal-01133597v1
Deposit thumbnail

Tree Automata with Constraints: a brief survey

Emmanuel Filiot , Florent Jacquemard , Sophie Tison

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013

Document associé à des manifestations scientifiques hal-00840959v1
Deposit thumbnail

An Analysis of a Public-Key Protocol with Membranes

Olivier Michel , Florent Jacquemard

Ciobanu, 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-00340140v1
Deposit thumbnail

Compilation of the Intermediate Representation V1

Clément Poncelet , Florent Jacquemard

[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015

Rapport (rapport de recherche) hal-01132159v1
Deposit thumbnail

Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC

Florent Jacquemard

[Contrat] Institut français de Vienne. 2015

Rapport (rapport contrat/projet) hal-01254591v1
Deposit thumbnail

A Term Rewriting Based Structural Theory of Rhythm Notation

Florent Jacquemard , Pierre Donat-Bouillud , Jean Bresson

[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015

Rapport (rapport de recherche) hal-01134096v3
Deposit thumbnail

Offline methods of conformance testing for Antescofo

Clément Poncelet , Florent Jacquemard

[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015

Rapport (rapport de recherche) hal-01132155v1
Deposit thumbnail

Antescofo Intermediate Representation

Florent Jacquemard , Clément Poncelet Sanchez

[Research Report] RR-8520, INRIA. 2014, pp.13

Rapport (rapport de recherche) hal-00979359v1
Deposit thumbnail

Formal Timing Analysis of Mixed Music Scores

Léa Fanchon , Florent Jacquemard

[Research Report] 2013, pp.10

Rapport (rapport de recherche) hal-00797595v1
Deposit thumbnail

Rewrite based Verification of XML Updates

Florent Jacquemard , Michael Rusinowitch

[Research Report] RR-7007, INRIA. 2009, pp.39

Rapport (rapport de recherche) inria-00408162v1
Deposit thumbnail

Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems

Adel Bouhoula , Florent Jacquemard

[Research Report] RR-5863, INRIA. 2006, pp.17

Rapport (rapport de recherche) inria-00070163v1
Deposit thumbnail

Tree Automata with Equality Constraints Modulo Equational Theories

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron

[Research Report] RR-5754, INRIA. 2005, pp.27

Rapport (rapport de recherche) inria-00071215v1
Deposit thumbnail

Compiling and Verifying Security Protocols

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron

[Research Report] RR-3938, INRIA. 2000, pp.25

Rapport (rapport de recherche) inria-00072712v1
Deposit thumbnail

Ground Reducibility is EXPTIME-complete

Hubert Comon , Florent Jacquemard

[Research Report] RR-3800, INRIA. 1999, pp.26

Rapport (rapport de recherche) inria-00072859v1
Deposit thumbnail

Rigid Reachability

Harald Ganzinger , Florent Jacquemard , Margus Veanes

[Intern report] 98-R-388 || ganzinger98a, 1998, 24 p

Rapport inria-00098741v1
Deposit thumbnail

Unification in Extensions of Shallow Equational Theories

Florent Jacquemard , Christoph Meyer , Christoph Weidenbach

[Intern report] 98-R-387 || jacquemard98a, 1998, 33 p

Rapport inria-00098740v1
Deposit thumbnail

Extended Tree Automata Models for the Verification of Infinite State Systems

Florent Jacquemard

Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011

HDR tel-00643595v1