# Some Selected Publications (Since 2007)

- Generating equivalent rhythmic notations based on rhythm tree languages.

Florent Jacquemard and Adrien Ycart and Masahiko Sakai.

Third International Conference on Technologies for Music Notation and Representation (TENOR 2017).

bibTeX | pdf | abstract

- One-Variable Context-Free Hedge Automata.

Florent Jacquemard and Michael Rusinowitch.

Journal of Computer and System Sciences, in press 2016.

bibTeX | pdf | DOI: 10.1016/j.jcss.2016.10.006 | abstract

- Some results on confluence: decision and what to do without.

Florent Jacquemard.

5th International Workshop on Confluence (invited talk) 2016.

bibTex | pdf | slides | abstract

- Model-Based Testing for Building Reliable Realtime Interactive Music Systems.

Clement Poncelet and Florent Jacquemard.

Science of Computer Programming. To appear, 2016.

pdf | abstract

- A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration.

Adrien Ycart, Florent Jacquemard, Jean Bresson and Slawomir Staworko.

Proceedings of the 42nd International Computer Music Conference (ICMC'16), Utrecht, Netherlands, Sept 2016.

bibTeX | pdf | abstract

- Une approche interactive pour la transcription rythmique dans OpenMusic.

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

Journées d'Informatique Musicale (JIM'16), Albi, France. Mar 2016.

bibTeX | pdf

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

Florent Jacquemard and Luc Segoufin and Jerémie Dimino.

Logical Methods in Computer Science, 12(2) 2016.

bibTeX | pdf | LMCS link | DOI:10.2168/LMCS-12(2:3)2016 | HAL | abstract

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

Florent Jacquemard, Pierre Donat-Bouillud, Jean Bresson.

5th International Conference on Mathematics and Computation in Music (MCM). Lecture Notes in Artificial Intelligence vol. 9110, Springer, 2015.

bibTeX | pdf | slides | Springer's link | abstract

- Towards an Equational Theory of Rhythm Notation.

Pierre Donat-Bouillud, Florent Jacquemard, Masahiko Sakai.

Music Encoding Conference, 2015.

bibTex | pdf | abstract

- 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), track SVT. ACM, 2015.

bibTex | pdf | DOI:10.1145/2695664.2695804 | abstract

- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies.

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai.

Proceedings of the 25th International Conference on Automated Deduction (CADE’15), Springer's LNAI vol. 9195. 2015.

bibTex | pdf | slides | abstract

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

Jean Bresson, Dimitri Bouche, Jérémie Garcia, Thibaut Carpentier, Florent Jacquemard, John Maccallum, Diemo Schwarz. Journées d'Informatique Musicale, 2015.

bibTex | pdf | abstract

- Test Methods for Score-Based Interactive Music Systems.

Clément Poncelet Sanchez, Florent Jacquemard. International Computer Music Conference, 2014.

bibTex | pdf | abstract

- Rhythm Tree Rewriting.

Florent Jacquemard, Jean Bresson, Pierre Donat-Bouillud.

Meeting of the IFIP WG 1.6 on Term Rewriting (invited talk). 2014.

bibTex | abstract | slides | abstract

- Antescofo Intermediate Representation.

Florent Jacquemard, Clément Poncelet Sanchez. INRIA Research Report RR-8520, 2014.

bibTex | pdf | abstract

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

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

Journal of Discrete Event Dynamic Systems 23(4), Springer. 2013.

bibTeX | pdf | DOI 10.1007/s10626-013-0166-2 | abstract

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

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

Logical Methods in Computer Science 9(2). IfCoLog 2013.

bibTex | pdf | abstract

- Unranked tree rewriting and effective closures of languages.

Florent Jacquemard, Michaël Rusinowitch.

Meeting of the IFIP WG 1.6 on Term Rewriting (invited talk). 2013.

bibTex | abstract | slides | abstract

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

Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet.

13th International Conference on Embedded Software (EMSOFT) 2013.

bibTeX | pdf | code and demos | abstract

- From Authored to Produced Time in Computer-Musician Interactions.

Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard.

ACM CHI Workshop on*Avec le Temps!*Time, Tempo, and Turns in Human-Computer Interaction (2013).

bibTeX | pdf | abstract

- Formal Timing Analysis Of Mixed Music Scores.

Léa Fanchon, Florent Jacquemard.

International Computer Music Conference (ICMC) 2013.

bibTeX | pdf | slides | abstract

- Rewrite Closure and CF Hedge Automata.

Florent Jacquemard and Michael Rusinowitch.

*7th International Conference on Language and Automata Theory and Application (LATA).*Bilbao, Spain. Lecture Notes in Computer Science, Springer. 2013.

bibTeX | pdf | slides | abstract

- Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo.

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

International Computer Music Conference (ICMC) 2012.

bibTeX | pdf | abstract

- Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems.

Adel Bouhoula, Florent Jacquemard.

*Journal of Applied Logic*, 10(1):127 – 143, Elsevier, 2012.

bibTeX | pdf | DOI:10.1016/j.jal.2011.09.001 | abstract

- Rigid Tree Automata and Applications.

Florent Jacquemard, Francis Klay, Camille Vacher.

*Information and Computation*, Elsevier, 2011, 209 (3), pages 486-512.

bibTeX | pdf | DOI:10.1016/j.ic.2010.11.015 | abstract

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

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

Hermès.*8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11)*, Nov 2011, Lille, France. Modélisation des Systèmes Réactifs : MSR 2011, 45, pages 109-124, n° spécial du Journal Européen des Systèmes Automatisés (JESA).

bibTeX | pdf | abstract

- Controlled Term Rewriting.

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai.

*8th International Symposium Frontiers of Combining Systems (FroCoS 2011)*Lecture Notes in Artificial Intelligence vol. 6989, pages 179-194, Springer, 2011.

bibTeX | pdf | abstract

- 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, affiliated to ETAPS)*, Mar 2011, Saarbrücken, Germany. Springer, Lecture Notes in Computer Science.

bibTeX | pdf | abstract

- Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis.

Florent Jacquemard.

HDR École normale supérieure de Cachan - ENS Cachan, Nov. 2011.

bibTeX | pdf | slides-hdr.pdf | slides-hdr-long-version.pdf | abstract | keywords

- The Emptiness Problem for Tree Automata with Global Constraints.

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

Jean-Pierre Jouannaud.*25th Annual IEEE Symposium on Logic in Computer Science (LICS)*, July 2010, Edinburgh, Scotland, United Kingdom. IEEE Computer Society Press, pages 263-272.

bibTeX | pdf | DOI:10.1109/LICS.2010.28 | abstract

- Rewrite-Based Verification of XML Updates.

Florent Jacquemard and Michael Rusinowitch.

*12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP)*, July 2010, Hagenberg, Austria. Kutsia, Temur and Schreiner, Wolfgang and Fernández, Maribel Eds. ACM.

bibTeX | pdf | DOI:10.1145/1836089.1836105 | abstract

- XML Access Control: from XACML to Annotated Schemas.

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

*Second International Conference on Communications and Networking (ComNet)*, November 2010, Tozeur, Tunisia. IEEE Computer Society Press, pages 1-8.

bibTeX | DOI:10.1109/COMNET.2010.5699810 | abstract

- Unique Normalization for Shallow TRS.

Guillem Godoy, Florent Jacquemard.

*20th International Conference on Rewriting Techniques and Applications (RTA)*, June 2009, Brazilia, Brazil. pages 63-77, Lecture Notes in Computer Science, 5595, Springer. 2009.

bibTeX | pdf | DOI:10.1007/978-3-642-02348-4_5 | abstract

- Rigid Tree Automata.

Florent Jacquemard, Francis Klay, Camille Vacher.

*Third International Conference on Language and Automata Theory and Applications (LATA)*, April 2009, Tarragona, Spain. pages 446-457, Lecture Notes in Computer Science vol. 5457, Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martín-Vide Eds, Springer. 2009.

bibTeX | pdf | DOI:10.1007/978-3-642-00982-2_38 | abstract

- Automatic Verification of Conformance of Firewall Configurations to Security Policies.

Nihel Ben Youssef, Bouhoula Adel, Jacquemard Florent.

*IEEE Symposium on Computers and Communications (ISCC)*, July 2009, Sousse, Tunisia. IEEE Computer Society Press, pages 526-531.

bibTeX | pdf | DOI:10.1109/ISCC.2009.5202309 | abstract

- Visibly Tree Automata with Memory and Constraints.

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin.

*Logical Methods in Computer Science (LMCS)*, Thompson ISI and SCOPUS and Mathematical Reviews and Zentralblatt, 2008, 4 (2).

bibTeX | pdf | DOI:10.2168/LMCS-4(2:8)2008 | abstract

- Tree automata with equality constraints modulo equational theories.

Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron.

*Journal of Logic and Algebraic Programming*, Elsevier, 2008, 75 (2), pages 182-208.

bibTeX | pdf | DOI:10.1016/j.jlap.2007.10.006 | abstract

- Closure of Hedge-Automata Languages by Hedge Rewriting.

Florent Jacquemard, Michael Rusinowitch.

*19th International Conference on Rewriting Techniques and Applications - RTA 2008 A. Voronkov Ed.*Hagenberg, Austria. Lecture Notes in Computer Science, 5117, pages 157-171, Springer, 2008

bibTeX | pdf | DOI:10.1007/978-3-540-70590-1_11 | abstract

- 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)*, July 2008, Hagenberg, Austria. Elsevier, Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008), 237, pages 23-38, Electronic Notes in Theoretical Computer Science Aart Middeldorp (Ed).

bibTeX | pdf | DOI:10.1016/j.entcs.2009.03.033 | abstract

- Automated Induction with Constrained Tree Automata.

Adel Bouhoula, Florent Jacquemard.

*4th International Joint Conference on Automated Reasoning (IJCAR)*, August 2008, Sydney, Australia. Lecture Notes in Computer Science 5195, pages 539-554, Alessandro Armando and Peter Baumgartner and Gilles Dowek (Eds.) Springer, 2008.

bibTeX | pdf | DOI:10.1007/978-3-540-71070-7_44 | abstract

- 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. Springer, 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), 4423, pages 168-182, Lecture Notes in Computer Science, Helmut Seidl (Ed).

bibTeX | pdf | DOI:10.1007/978-3-540-71389-0_13 | abstract

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

Adel Bouhoula, Florent Jacquemard.

Pierpaolo Degano, Ralf Küsters, Luca Vigano and Steve Zdancewic.*Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis*(FCS-ARSPA), pages 27-44, Jul 2007, Poland.

bibTeX | pdf | abstract

- Tree Automata Techniques and Applications.

Hubert Comon-Lundh, Max Dauchet, Rémi Gilleron, Cristof Löding, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi.

Online book available on: http://tata.gforge.inria.fr

bibTeX | pdf