Publications HAL de Florent Jacquemard

2020

Journal articles

titre
Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations
auteur
Mathieu Giraud, Florent Jacquemard
article
Information and Computation, Elsevier, In press, ⟨10.1016/j.ic.2020.104652⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01857267/file/ms-automata.pdf BibTex

Conference papers

titre
ASAP: a dataset of aligned scores and performances for piano transcription
auteur
Francesco Foscarin, Andrew Mcleod, Philippe Rigaux, Florent Jacquemard, Masahiko Sakai
article
ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
Accès au texte intégral et bibtex
https://hal-cnam.archives-ouvertes.fr/hal-02929324/file/ISMIR2020_foscarin.pdf BibTex

2019

Conference papers

titre
A diff procedure for music score files
auteur
Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard
article
6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267454/file/diff.pdf BibTex
titre
Computation and Visualization of Differences between two XML Music Score Files
auteur
Francesco Foscarin, Florent Jacquemard, Raphaël Fournier-Sniehotta
article
ISMIR 2019 - 20th annual conference of the International Society for Music Information Retrieval, Nov 2019, Delft, Netherlands
Accès au bibtex
BibTex
titre
Optimization of audio graphs by resampling
auteur
Pierre Donat-Bouillud, Jean-Louis Giavitto, Florent Jacquemard
article
DAFx-19 - 22nd International Conference on Digital Audio Effects, Sep 2019, Birmingham, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02284258/file/DAFx19.pdf BibTex
titre
A Parse-based Framework for Coupled Rhythm Quantization and Score Structuring
auteur
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux, Masahiko Sakai
article
MCM 2019 - Mathematics and Computation in Music, Jun 2019, Madrid, Spain. ⟨10.1007/978-3-030-21392-3_20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01988990/file/springer12.pdf BibTex
titre
Modeling and Learning Rhythm Structure
auteur
Francesco Foscarin, Florent Jacquemard, Philippe Rigaux
article
Sound and Music Computing Conference (SMC), May 2019, Malaga, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02024437/file/smc2019-finale.pdf BibTex

Preprints, Working Papers, ...

titre
What does the Mongeau-Sankoff algorithm compute?
auteur
Henry Boisgibault, Mathieu Giraud, Florent Jacquemard
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02340896/file/ms-music.pdf BibTex

2018

Conference papers

titre
Gioqoso, an online Quality Assessment Tool for Music Notation
auteur
Francesco Foscarin, David Fiala, Florent Jacquemard, Philippe Rigaux, Virginie Thion
article
4th International Conference on Technologies for Music Notation and Representation (TENOR'18), Sandeep Bhagwati and Jean Bresson, May 2018, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01895171/file/tenor18.pdf BibTex
titre
Évaluation de la correction rythmique des partitions numérisées
auteur
Francesco Foscarin, Raphaël Fournier-S'Niehotta, Florent Jacquemard, Philippe Rigaux
article
JIM 2018 - Journées d'Informatique Musicale, May 2018, Amiens, France. pp.87-95
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01791404/file/JIM2018-09-Fournier-SNiehotta.pdf BibTex

Poster communications

titre
Evaluating musical score difference: a two-level comparison
auteur
Francesco Foscarin, Raphaël Fournier-S'Niehotta, Philippe Rigaux, Florent Jacquemard
article
Digital Music Research Network One-Day Workshop 2018 (DMRN+13), Dec 2018, London, United Kingdom. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01989029/file/DMRN-Poster-2.pdf BibTex

2017

Conference papers

titre
Interactive Music Transcription based on Rhythm Tree Languages
auteur
Florent Jacquemard, Adrien Ycart
article
16th Rhythm Production and Perception Workshop, Ryan Stables, Jason Hockman, Mark Elliott, Alan Wing, Jul 2017, Birmingham, United Kingdom
Accès au bibtex
BibTex
titre
Generating equivalent rhythmic notations based on rhythm tree languages
auteur
Florent Jacquemard, Adrien Ycart, Masahiko Sakai
article
Third International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403982/file/equiv-rhythm.pdf BibTex

2016

Journal articles

titre
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
auteur
Florent Jacquemard, Luc Segoufin, Jérémie Dimino
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00769249/file/tdafo.pdf BibTex
titre
Model-Based Testing for Building Reliable Realtime Interactive Music Systems
auteur
Clement Poncelet, Florent Jacquemard
article
Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01314969/file/SCP_Antescofo_test_HAL.pdf BibTex
titre
An Automatic Test Framework for Interactive Music Systems
auteur
Florent Jacquemard, Clément Poncelet
article
Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274035/file/Antescofo_test_JNMR.pdf BibTex
titre
One-variable context-free hedge automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
Journal of Computer and System Sciences, Elsevier, 2016, ⟨10.1016/j.jcss.2016.10.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426626/file/CFHA-long.pdf BibTex

Conference papers

titre
A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration
auteur
Adrien Ycart, Florent Jacquemard, Jean Bresson, Slawomir Staworko
article
International Computer Music Conference (ICMC), Sep 2016, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315689/file/Quant16-RR.pdf BibTex
titre
Some results on confluence: decision and what to do without
auteur
Florent Jacquemard
article
5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01367535/file/confluenceno.pdf BibTex
titre
Une approche interactive pour la transcription rythmique dans OpenMusic
auteur
Adrien Ycart, Jean Bresson, Florent Jacquemard, Sławek Staworko
article
Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01298806/file/paper%2012.pdf BibTex

2015

Conference papers

titre
Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
auteur
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
article
25th International Conference on Automated Deduction (CADE’15), Aug 2015, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01149319/file/pCTRS-bu.pdf BibTex
titre
A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting
auteur
Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
article
Mathematics and Computation in Music: 5th International Conference, MCM 2015, Oscar Bandtlow and Elaine Chew, Jun 2015, London, United Kingdom. pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01138642/file/mcm15.pdf BibTex
titre
Towards an Equational Theory of Rhythm Notation
auteur
Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai
article
Music Encoding Conference 2015, May 2015, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105418/file/STRN-abstract.pdf BibTex
titre
Model Based Testing of an Interactive Music System
auteur
Clément Poncelet, Florent Jacquemard
article
Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01097345/file/Antescofo_Test-sacsvt_hal.pdf BibTex
titre
Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur
auteur
Jean Bresson, Dimitri Bouche, Jérémie Garcia, Thibaut Carpentier, Florent Jacquemard, John Maccallum, Diemo Schwarz
article
Journées d'Informatique Musicale, 2015, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01142022/file/jim15-efficace.pdf BibTex

Reports

titre
Rapport d’étape et bilan financier 2015 PHC AMADEUS 2015 « LETITBE » N° 33808SC
auteur
Florent Jacquemard
article
[Contrat] Institut français de Vienne. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01254591/file/PHC-rapport2015.pdf BibTex
titre
A Term Rewriting Based Structural Theory of Rhythm Notation
auteur
Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson
article
[Research Report] ANR-13-JS02-0004-01 - EFFICACe. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01134096/file/efficace-rr.pdf BibTex
titre
Offline methods of conformance testing for Antescofo
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01132155/file/RR-8700.tex.pdf BibTex
titre
Compilation of the Intermediate Representation V1
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01132159/file/RR-8701.pdf BibTex

2014

Conference papers

titre
Test Methods for Score-Based Interactive Music Systems
auteur
Clément Poncelet Sanchez, Florent Jacquemard
article
ICMC SMC 2014, Sep 2014, Athen, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01021617/file/AntescofoTest.pdf BibTex
titre
Rhythm Tree Rewriting
auteur
Florent Jacquemard, Jean Bresson, Pierre Donat-Bouillud
article
Meeting of the IFIP WG 1.6 on Term Rewriting, Vienna Summer of Logic, Jürgen Giesl, Jul 2014, Vienna, Austria
Accès au bibtex
BibTex

Poster communications

titre
Test methods for Score-Based Interactive Music Systems Toward a formal Specification
auteur
Clément Poncelet, Florent Jacquemard
article
ICMC/SMC 2014, Sep 2014, Athène, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01133597/file/Test_methods_poster_v1.pdf BibTex

Reports

titre
Antescofo Intermediate Representation
auteur
Florent Jacquemard, Clément Poncelet Sanchez
article
[Research Report] RR-8520, INRIA. 2014, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00979359/file/RR-8520.pdf BibTex

2013

Journal articles

titre
Operational semantics of a domain specific language for real time musician-computer interaction
auteur
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854719/file/10.1007_s10626-013-0166-2.pdf BibTex
titre
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
auteur
Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (2), pp.1-39
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00852382/file/1302.6960.pdf BibTex

Conference papers

titre
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
auteur
Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet
article
EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850299/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf BibTex
titre
Formal Timing Analysis Of Mixed Music Scores
auteur
Léa Fanchon, Florent Jacquemard
article
2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00829821/file/AntescofoIMITATOR.pdf BibTex
titre
Unranked Tree Rewriting and Effective Closures of Languages
auteur
Florent Jacquemard, Michaël Rusinowitch
article
Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00852379/file/abstract.pdf BibTex
titre
From Authored to Produced Time in Computer-Musician Interactions
auteur
Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00787033/file/Mutant_CHIM_2013.pdf BibTex
titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michael Rusinowitch
article
7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767719/file/CFHA.pdf BibTex

Documents associated with scientific events

titre
Tree Automata with Constraints: a brief survey
auteur
Emmanuel Filiot, Florent Jacquemard, Sophie Tison
article
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840959/file/TAC-survey.pdf BibTex

Reports

titre
Formal Timing Analysis of Mixed Music Scores
auteur
Léa Fanchon, Florent Jacquemard
article
[Research Report] 2013, pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00797595/file/AntescofoIMITATOR.pdf BibTex

2012

Journal articles

titre
Antescofo à l'avant-garde de l'informatique musicale
auteur
Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin
article
Interstices, INRIA, 2012
Accès au bibtex
BibTex
titre
Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems
auteur
Adel Bouhoula, Florent Jacquemard
article
Journal of Applied Logic, Elsevier, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643136/file/completeness-long.pdf BibTex

Conference papers

titre
Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
auteur
Arshia Cont, José Echeveste, Jean-Louis Giavitto, Florent Jacquemard
article
ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00718854/file/Antescofo_ICMC2012_new.pdf BibTex

Preprints, Working Papers, ...

titre
Rewrite Closure and CF Hedge Automata
auteur
Florent Jacquemard, Michaël Rusinowitch
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00752496/file/CFHA.pdf BibTex

2011

Journal articles

titre
Rigid Tree Automata and Applications
auteur
Florent Jacquemard, Francis Klay, Camille Vacher
article
Information and Computation, Elsevier, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578820/file/RTA-long.pdf BibTex

Conference papers

titre
Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique
auteur
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642921/file/AMA_MSR.pdf BibTex
titre
Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d’accompagnement automatique
auteur
José Echeveste, Arshia Cont, Florent Jacquemard, Jean-Louis Giavitto
article
Modélisation des systèmes réactifs (MSR 11), Nov 2011, Lille, France. pp.109-124
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01156639/file/index.pdf BibTex
titre
Controlled Term Rewriting
auteur
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
article
8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643160/file/CTRS.pdf BibTex
titre
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
auteur
Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578896/file/tosca.pdf BibTex

Habilitation à diriger des recherches

titre
Extended Tree Automata Models for the Verification of Infinite State Systems
auteur
Florent Jacquemard
article
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00643595/file/plan.pdf BibTex

2010

Conference papers

titre
XML Access Control: from XACML to Annotated Schemas
auteur
Ryma Abassi, Florent Jacquemard, Michael Rusinowitch, Sihem Guemara El Fatmi
article
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
Accès au bibtex
BibTex
titre
Rewrite-Based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578916/file/ppdp06a-jacquemard-HAL.pdf BibTex
titre
The Emptiness Problem for Tree Automata with Global Constraints
auteur
Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
article
25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. pp.263-272, ⟨10.1109/LICS.2010.28⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578901/file/globalconstraints-IEEE.pdf BibTex

2009

Conference papers

titre
Automatic Verification of Conformance of Firewall Configurations to Security Policies
auteur
Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard
article
IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578926/file/paper8.pdf BibTex
titre
Unique Normalization for Shallow TRS
auteur
Guillem Godoy, Florent Jacquemard
article
20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. pp.63-77, ⟨10.1007/978-3-642-02348-4_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578959/file/UNflat.pdf BibTex
titre
Rigid Tree Automata
auteur
Florent Jacquemard, Francis Klay, Camille Vacher
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579001/file/RTA.pdf BibTex

Reports

titre
Rewrite based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
[Research Report] RR-7007, INRIA. 2009, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408162/file/RR-7007.pdf BibTex

2008

Journal articles

titre
Visibly Tree Automata with Memory and Constraints
auteur
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578844/file/VTAM-LMCS.pdf BibTex
titre
Tree automata with equality constraints modulo equational theories
auteur
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
article
Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329693/file/JacquemardRusinowitchVigneron-JLAP.pdf BibTex

Conference papers

titre
Automated Induction with Constrained Tree Automata
auteur
Adel Bouhoula, Florent Jacquemard
article
4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. pp.539-554, ⟨10.1007/978-3-540-71070-7_44⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579004/file/induction-HAL.pdf BibTex
titre
Closure of Tree Automata Languages under Innermost Rewriting
auteur
Adria Gascon, Guillem Godoy, Florent Jacquemard
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578966/file/btregularity-wrs-HAL.pdf BibTex
titre
Closure of Hedge-Automata Languages by Hedge Rewriting
auteur
Florent Jacquemard, Michael Rusinowitch
article
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00329803/file/rta30.pdf BibTex

2007

Conference papers

titre
Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
auteur
Adel Bouhoula, Florent Jacquemard
article
Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Jul 2007, Poland. pp.27-44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579015/file/BJ-arspa07.pdf BibTex
titre
Tree Automata with Memory, Visibility and Structural Constraints
auteur
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579009/file/CJP-fossacs07.pdf BibTex