Florent Jacquemard

Publications

Article dans une revue (16)

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
FO2(&lt;,+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
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
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
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
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
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
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
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
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
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
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
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
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

Communication dans un congrès (58)

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
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
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
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
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 Tojoet al. 16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan Communication dans un congrès hal-04458240v1
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
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
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
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
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
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
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
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
É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
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
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
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
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
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
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
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur Jean Bresson,Dimitri Bouche,Jérémie Garcia,Thibaut Carpentier,Florent Jacquemardet al. Journées d'Informatique Musicale, 2015, Montréal, Canada Communication dans un congrès hal-01142022v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (3)

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
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
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

Document associé à des manifestations scientifiques (1)

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

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (3)

Symbolic Weighted Language Models, Quantitative Parsing and Verification over Infinite Alphabets Florent Jacquemard,Philippe Rigaux,Lydia Rodriguez de La Nava 2021 Pré-publication, Document de travail hal-03380268v1
What does the Mongeau-Sankoff algorithm compute? Henry Boisgibault,Mathieu Giraud,Florent Jacquemard 2019 Pré-publication, Document de travail hal-02340896v1
Rewrite Closure and CF Hedge Automata Florent Jacquemard,Michaël Rusinowitch 2012 Pré-publication, Document de travail hal-00752496v2

Rapport (13)

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
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
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
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
Antescofo Intermediate Representation Florent Jacquemard,Clément Poncelet Sanchez [Research Report] RR-8520, INRIA. 2014, pp.13 Rapport (rapport de recherche) hal-00979359v1
Formal Timing Analysis of Mixed Music Scores Léa Fanchon,Florent Jacquemard [Research Report] 2013, pp.10 Rapport (rapport de recherche) hal-00797595v1
Rewrite based Verification of XML Updates Florent Jacquemard,Michael Rusinowitch [Research Report] RR-7007, INRIA. 2009, pp.39 Rapport (rapport de recherche) inria-00408162v1
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
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
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
Ground Reducibility is EXPTIME-complete Hubert Comon,Florent Jacquemard [Research Report] RR-3800, INRIA. 1999, pp.26 Rapport (rapport de recherche) inria-00072859v1
Rigid Reachability Harald Ganzinger,Florent Jacquemard,Margus Veanes [Intern report] 98-R-388 || ganzinger98a, 1998, 24 p Rapport inria-00098741v1
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

HDR (1)

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