Documentation
Français (FR)

Anglais (EN)

Florent Jacquemard

14

Documents

Publications

michael-rusinowitch

	One-variable context-free hedge automata Florent Jacquemard , Michael Rusinowitch Journal of Computer and System Sciences, 2016, ⟨10.1016/j.jcss.2016.10.006⟩ Article dans une revue hal-01426626v1
	Tree automata with equality constraints modulo equational theories Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron Journal of Logic and Algebraic Programming, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩ Article dans une revue inria-00329693v1

	Unranked Tree Rewriting and Effective Closures of Languages Florent Jacquemard , Michaël Rusinowitch Meeting of the IFIP WG 1.6 on Term Rewriting, Jun 2013, Eindhoven, Netherlands Communication dans un congrès hal-00852379v1
	Rewrite Closure and CF Hedge Automata Florent Jacquemard , Michael Rusinowitch 7th International Conference on Language and Automata Theory and Application, Apr 2013, Bilbao, Spain Communication dans un congrès hal-00767719v1
	XML Access Control: from XACML to Annotated Schemas Ryma Abassi , Florent Jacquemard , Michael Rusinowitch , Sihem Guemara El Fatmi Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩ Communication dans un congrès inria-00578884v1
	Rewrite-Based Verification of XML Updates Florent Jacquemard , Michael Rusinowitch 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩ Communication dans un congrès inria-00578916v1
	Closure of Hedge-Automata Languages by Hedge Rewriting Florent Jacquemard , Michael Rusinowitch 19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩ Communication dans un congrès inria-00329803v1
	Tree automata with equality constraints modulo equational theories Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩ Communication dans un congrès inria-00579011v1
	Compiling and Verifying Security Protocols Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160 Communication dans un congrès inria-00099161v1
	Compiling and narrowing cryptographic protocols Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron Workshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p Communication dans un congrès inria-00098875v1

	Rewrite Closure and CF Hedge Automata Florent Jacquemard , Michaël Rusinowitch 2012 Pré-publication, Document de travail hal-00752496v2

	Rewrite based Verification of XML Updates Florent Jacquemard , Michael Rusinowitch [Research Report] RR-7007, INRIA. 2009, pp.39 Rapport inria-00408162v1
	Tree Automata with Equality Constraints Modulo Equational Theories Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron [Research Report] RR-5754, INRIA. 2005, pp.27 Rapport inria-00071215v1
	Compiling and Verifying Security Protocols Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron [Research Report] RR-3938, INRIA. 2000, pp.25 Rapport inria-00072712v1