2024
Conference papers
- titre
- Engraving Oriented Joint Estimation of Pitch Spelling and Local and Global Keys
- auteur
- Augustin Bouquillard, Florent Jacquemard
- article
- International Conference on Technologies for Music Notation and Representation (TENOR), Apr 2024, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Tokenization of MIDI Sequences for Transcription
- auteur
- Yosuke Amagasu, Florent Jacquemard, Masahiko Sakai
- article
- 9th International Conference on Technologies for Music Notation and Representation (TENOR 2024), Apr 2024, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
2023
Conference papers
- titre
- 8+8=4: Formalizing Time Units to Handle Symbolic Music Durations
- auteur
- Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer
- article
- 16th International Symposium on Computer Music Multidisciplinary Research (CMMR), Nov 2023, Tokyo, Japan
- Accès au bibtex
-
2022
Journal articles
- titre
- Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations
- auteur
- Mathieu Giraud, Florent Jacquemard
- article
- Information and Computation, 2022, 282, pp.104652. ⟨10.1016/j.ic.2020.104652⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Automated Transcription of Electronic Drumkits
- auteur
- Martin Digard, Florent Jacquemard, Lydia Rodriguez-de la Nava
- article
- 4th International Workshop on Reading Music Systems (WoRMS), Nov 2022, online, Spain
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
- auteur
- Florent Jacquemard, Lydia Rodriguez de La Nava
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- MIDI To Score Automated Drum Transcription
- auteur
- Martin Digard, Florent Jacquemard, Lydia Rodriguez-de la Nava
- article
- DLfM 2022 - 9th International Conference on Digital Libraries for Musicology, Jul 2022, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
2021
Preprints, Working Papers, ...
- titre
- Symbolic Weighted Language Models, Quantitative Parsing and Verification over Infinite Alphabets
- auteur
- Florent Jacquemard, Philippe Rigaux, Lydia Rodriguez de La Nava
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Testing for Building Reliable Realtime Interactive Music Systems
- auteur
- Clement Poncelet, Florent Jacquemard
- article
- Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
- Accès au texte intégral et bibtex
-
- titre
- One-variable context-free hedge automata
- auteur
- Florent Jacquemard, Michael Rusinowitch
- article
- Journal of Computer and System Sciences, 2016, ⟨10.1016/j.jcss.2016.10.006⟩
- Accès au texte intégral et bibtex
-
- titre
- An Automatic Test Framework for Interactive Music Systems
- auteur
- Florent Jacquemard, Clément Poncelet
- article
- Journal of New Music Research, 2016, 45 (2), pp.18
- Accès au texte intégral et 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
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, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩
- Accès au texte intégral et 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, 2013, 9 (2), pp.1-39
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
2012
Journal articles
- titre
- Antescofo à l'avant-garde de l'informatique musicale
- auteur
- Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin
- article
- Interstices, 2012
- Accès au bibtex
-
- titre
- Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems
- auteur
- Adel Bouhoula, Florent Jacquemard
- article
- Journal of Applied Logic, 2012, 10 (1), pp.127-143. ⟨10.1016/j.jal.2011.09.001⟩
- Accès au texte intégral et 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
-
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
-
2011
Journal articles
- titre
- Rigid Tree Automata and Applications
- auteur
- Florent Jacquemard, Francis Klay, Camille Vacher
- article
- Information and Computation, 2011, 209 (3), pp.486-512. ⟨10.1016/j.ic.2010.11.015⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
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, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩
- Accès au texte intégral et bibtex
-
- titre
- Tree automata with equality constraints modulo equational theories
- auteur
- Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
- article
- Journal of Logic and Algebraic Programming, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
Books
- titre
- Tree Automata Techniques and Applications
- auteur
- Hubert Comon, Max Dauchet, Rémi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi
- article
- pp.262, 2008
- Accès au texte intégral et 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
-
- 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
-