Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-02340896v1 Preprints, Working Papers, ... Henry Boisgibault, Mathieu Giraud, Florent Jacquemard. What does the Mongeau-Sankoff algorithm compute? 2019
	hal-01857267v4 Journal articles Mathieu Giraud, Florent Jacquemard. Weighted Automata Computation of Edit Distances with Consolidations and Fragmentations Information and Computation, Elsevier, In press, ⟨10.1016/j.ic.2020.104652⟩
	inria-00579004v1 Conference papers Adel Bouhoula, Florent 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 Bouhoula, Florent 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-Lundh, Florent Jacquemard, Nicolas 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 Jacquemard, Yoshiharu Kojima, Masahiko 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 Godoy, Florent 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 Abassi, Florent Jacquemard, Michaël Rusinowitch, Sihem 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 Delaune, Florent 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 Youssef, Adel Bouhoula, Florent 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 Jacquemard, Luc Segoufin, Jé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 Jacquemard, Michaë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 Gascon, Guillem Godoy, Florent 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-00329693v1 Journal articles Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Tree automata with equality constraints modulo equational theories Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
	inria-00579011v1 Conference papers Florent Jacquemard, Michaël Rusinowitch, Laurent 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-00070163v1 Reports Adel Bouhoula, Florent Jacquemard. Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems [Research Report] RR-5863, INRIA. 2006, pp.17
	inria-00579017v1 Conference papers Adel Bouhoula, Florent 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 Jacquemard, Michaë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-00752496v2 Preprints, Working Papers, ... Florent Jacquemard, Michaël Rusinowitch. Rewrite Closure and CF Hedge Automata 2012
	hal-00767719v1 Conference papers Florent Jacquemard, Michaë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 Creus, Guillem Godoy, Florent Jacquemard, Camille 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-00979359v1 Reports Florent Jacquemard, Clément Poncelet Sanchez. Antescofo Intermediate Representation [Research Report] RR-8520, INRIA. 2014, pp.13
	hal-00753014v1 Journal articles Arshia Cont, Florent Jacquemard, Pierre-Olivier Gaumin. Antescofo à l'avant-garde de l'informatique musicale Interstices, INRIA, 2012
	hal-00787033v1 Conference papers Arshia Cont, Jean-Louis Giavitto, Florent 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 Jacquemard, Adrien Ycart, Masahiko 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-00797595v1 Reports Léa Fanchon, Florent Jacquemard. Formal Timing Analysis of Mixed Music Scores [Research Report] 2013, pp.10
	hal-00854719v1 Journal articles José-Manuel Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard. Operational semantics of a domain specific language for real time musician-computer interaction Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.343-383. ⟨10.1007/s10626-013-0166-2⟩
	hal-00850299v1 Conference papers Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc 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 Cont, José-Manuel Echeveste, Jean-Louis Giavitto, Florent 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
	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize