Florent Jacquemard

	2009
29		Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard: Automatic verification of conformance of firewall configurations to security policies. ISCC 2009: 526-531
28		Florent Jacquemard, Francis Klay, Camille Vacher: Rigid Tree Automata. LATA 2009: 446-457
27		Guillem Godoy, Florent Jacquemard: Unique Normalization for Shallow TRS. RTA 2009: 63-77
26		Florent Jacquemard, Michaël Rusinowitch: Rewrite based Verification of XML Updates CoRR abs/0907.5125: (2009)
25		Adria Gascón, Guillem Godoy, Florent Jacquemard: Closure of Tree Automata Languages under Innermost Rewriting. Electr. Notes Theor. Comput. Sci. 237: 23-38 (2009)
	2008
24		Adel Bouhoula, Florent Jacquemard: Automated Induction with Constrained Tree Automata. IJCAR 2008: 539-554
23		Florent Jacquemard, Michaël Rusinowitch: Closure of Hedge-Automata Languages by Hedge Rewriting. RTA 2008: 157-171
22		Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin: Visibly Tree Automata with Memory and Constraints CoRR abs/0804.3065: (2008)
21		Adel Bouhoula, Florent Jacquemard: Automated Induction for Complex Data Structures CoRR abs/0811.4720: (2008)
20		Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree automata with equality constraints modulo equational theories. J. Log. Algebr. Program. 75(2): 182-208 (2008)
19		Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin: Visibly Tree Automata with Memory and Constraints. Logical Methods in Computer Science 4(2): (2008)
	2007
18		Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin: Tree Automata with Memory, Visibility and Structural Constraints. FoSSaCS 2007: 168-182
	2006
17		Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard: The Confluence Problem for Flat TRSs. AISC 2006: 68-81
16		Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR 2006: 557-571
15		Olivier Michel, Florent Jacquemard: An Analysis of a Public Key Protocol with Membranes. Applications of Membrane Computing 2006: 283-302
14		Stéphanie Delaune, Florent Jacquemard: Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. J. Autom. Reasoning 36(1-2): 85-124 (2006)
	2004
13		Stéphanie Delaune, Florent Jacquemard: A decision procedure for the verification of security protocols with explicit destructors. ACM Conference on Computer and Communications Security 2004: 278-287
12		Stéphanie Delaune, Florent Jacquemard: A Theory of Dictionary Attacks and its Complexity. CSFW 2004: 2-15
	2003
11		Hubert Comon, Florent Jacquemard: Ground reducibility is EXPTIME-complete. Inf. Comput. 187(1): 123-153 (2003)
10		Florent Jacquemard: Reachability and confluence are undecidable for flat term rewriting systems. Inf. Process. Lett. 87(5): 265-270 (2003)
	2000
9		Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Compiling and Verifying Security Protocols. LPAR 2000: 131-160
8		Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. Int. J. Found. Comput. Sci. 11(1): 3-27 (2000)
	1999
7		Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes: Decidable Fragments of Simultaneous Rigid Reachability. ICALP 1999: 250-260
	1998
6		Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability. ASIAN 1998: 4-21
5		Florent Jacquemard, Christoph Meyer, Christoph Weidenbach: Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90
	1997
4		Hubert Comon, Florent Jacquemard: Ground Reducibility is EXPTIME-Complete. LICS 1997: 26-34
	1996
3		Florent Jacquemard: Decidable Approximations of Term Rewriting Systems. RTA 1996: 362-376
	1994
2		Anne-Cécile Caron, Hubert Comon, Jean-Luc Coquidé, Max Dauchet, Florent Jacquemard: Pumping, Cleaning and Symbolic Constraints Solving. ICALP 1994: 436-449
1		Hubert Comon, Florent Jacquemard: Ground Reducibility and Automata with Disequality Constraints. STACS 1994: 151-162

Coauthor Index

1	Adel Bouhoula	[21] [24] [29]
2	Anne-Cécile Caron	[2]
3	Hubert Comon-Lundh (Hubert Comon)	[1] [2] [4] [11] [18] [19] [22]
4	Jean-Luc Coquidé	[2]
5	Véronique Cortier	[7]
6	Max Dauchet	[2]
7	Stéphanie Delaune	[12] [13] [14]
8	Harald Ganzinger	[6] [7] [8]
9	Adria Gascón	[25]
10	Guillem Godoy	[25] [27]
11	Christoph M. Kirsch (Christoph Meyer)	[5]
12	Francis Klay	[28]
13	Olivier Michel	[15]
14	Ichiro Mitsuhashi	[17]
15	Michio Oyamaguchi	[17]
16	Nicolas Perrin	[18] [19] [22]
17	Michaël Rusinowitch	[9] [16] [20] [23] [26]
18	Camille Vacher	[28]
19	Margus Veanes	[6] [7] [8]
20	Laurent Vigneron	[9] [16] [20]
21	Christoph Weidenbach	[5]
22	Nihel Ben Youssef	[29]

Colors in the list of coauthors