Skip to Main content Skip to Navigation

inria-00579004v1  Conference papers
Adel BouhoulaFlorent Jacquemard. Automated Induction with Constrained Tree Automata
4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. pp.539-554, ⟨10.1007/978-3-540-71070-7_44⟩
inria-00579018v1  Conference papers
Adel BouhoulaFlorent Jacquemard. Security Protocol Verification with Implicit Induction and Explicit Destructors
1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44
inria-00579009v1  Conference papers
Hubert Comon-LundhFlorent JacquemardNicolas Perrin. Tree Automata with Memory, Visibility and Structural Constraints
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⟩
hal-00643160v1  Conference papers
Florent JacquemardYoshiharu KojimaMasahiko Sakai. Controlled Term Rewriting
8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. pp.179-194
inria-00578959v1  Conference papers
Guillem GodoyFlorent Jacquemard. Unique Normalization for Shallow TRS
20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. pp.63-77, ⟨10.1007/978-3-642-02348-4_5⟩
inria-00578875v1  Journal articles
Florent Jacquemard. Reachability and confluence are undecidable for flat term rewriting systems
Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
inria-00579014v1  Conference papers
Stéphanie DelauneFlorent Jacquemard. A Theory of Dictionary Attacks and its Complexity
17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. pp.2-15
inria-00578926v1  Conference papers
Nihel Ben YoussefAdel BouhoulaFlorent Jacquemard. Automatic Verification of Conformance of Firewall Configurations to Security Policies
IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. pp.526-531, ⟨10.1109/ISCC.2009.5202309⟩
hal-00769249v3  Journal articles
Florent JacquemardLuc SegoufinJérémie Dimino. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
inria-00329803v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
inria-00578966v1  Conference papers
Adria GasconGuillem GodoyFlorent Jacquemard. Closure of Tree Automata Languages under Innermost Rewriting
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⟩
inria-00579011v1  Conference papers
Florent JacquemardMichaël RusinowitchLaurent Vigneron. Tree automata with equality constraints modulo equational theories
3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩
inria-00579017v1  Conference papers
Adel BouhoulaFlorent Jacquemard. Automating Sufficient Completeness Check for Conditional and Constrained TRS
20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States
inria-00578916v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Rewrite-Based Verification of XML Updates
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
hal-00767719v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Rewrite Closure and CF Hedge Automata
7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain
hal-00852382v1  Journal articles
Luis BarguñóCarlos CreusGuillem GodoyFlorent JacquemardCamille Vacher. Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (2), pp.1-39
hal-00787033v1  Conference papers
Arshia ContJean-Louis GiavittoFlorent Jacquemard. From Authored to Produced Time in Computer-Musician Interactions
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
hal-01403982v1  Conference papers
Florent JacquemardAdrien YcartMasahiko Sakai. Generating equivalent rhythmic notations based on rhythm tree languages
Third International Conference on Technologies for Music Notation and Representation (TENOR), Helena Lopez Palma and Mike Solomon, May 2017, Coroña, Spain
hal-00850299v1  Conference papers
Guillaume BaudartLouis MandelFlorent JacquemardMarc Pouzet. A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada
hal-00718854v1  Conference papers
Arshia ContJosé-Manuel EchevesteJean-Louis GiavittoFlorent Jacquemard. Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
ICMC 2012 - International Computer Music Conference, IRZU - the Institute for Sonic Arts Research, Sep 2012, Ljubljana, Slovenia