Accéder directement au contenu

Florent Jacquemard

93
Documents

Publications

Image document

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

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

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

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

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

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

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

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

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

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

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

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 inria-00578855v1
Image document

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

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

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

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

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

Emmanouil Karystinaios , Francesco Foscarin , Florent Jacquemard , Masahiko Sakai , Satoshi Tojo
16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan
Communication dans un congrès hal-04458240v1
Image document

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

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

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

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

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

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

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

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

É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
Image document

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

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

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

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

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

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

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

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

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

Jean Bresson , Dimitri Bouche , Jérémie Garcia , Thibaut Carpentier , Florent Jacquemard
Journées d'Informatique Musicale, 2015, Montréal, Canada
Communication dans un congrès hal-01142022v1
Image document

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Florent Jacquemard
[Contrat] Institut français de Vienne. 2015
Rapport hal-01254591v1
Image document

Compilation of the Intermediate Representation V1

Clément Poncelet , Florent Jacquemard
[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport hal-01132159v1
Image document

Offline methods of conformance testing for Antescofo

Clément Poncelet , Florent Jacquemard
[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport hal-01132155v1
Image document

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 hal-01134096v3
Image document

Antescofo Intermediate Representation

Florent Jacquemard , Clément Poncelet Sanchez
[Research Report] RR-8520, INRIA. 2014, pp.13
Rapport hal-00979359v1
Image document

Formal Timing Analysis of Mixed Music Scores

Léa Fanchon , Florent Jacquemard
[Research Report] 2013, pp.10
Rapport hal-00797595v1
Image document

Rewrite based Verification of XML Updates

Florent Jacquemard , Michael Rusinowitch
[Research Report] RR-7007, INRIA. 2009, pp.39
Rapport inria-00408162v1
Image document

Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems

Adel Bouhoula , Florent Jacquemard
[Research Report] RR-5863, INRIA. 2006, pp.17
Rapport inria-00070163v1
Image document

Tree Automata with Equality Constraints Modulo Equational Theories

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron
[Research Report] RR-5754, INRIA. 2005, pp.27
Rapport inria-00071215v1
Image document

Compiling and Verifying Security Protocols

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron
[Research Report] RR-3938, INRIA. 2000, pp.25
Rapport inria-00072712v1
Image document

Ground Reducibility is EXPTIME-complete

Hubert Comon , Florent Jacquemard
[Research Report] RR-3800, INRIA. 1999, pp.26
Rapport inria-00072859v1
Image document

Rigid Reachability

Harald Ganzinger , Florent Jacquemard , Margus Veanes
[Intern report] 98-R-388 || ganzinger98a, 1998, 24 p
Rapport inria-00098741v1
Image document

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

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