Pierre-Cyrille Héam Vis

*	2009
17	EE	Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz: Random Generation of Deterministic Tree (Walking) Automata. CIAA 2009: 115-124
16	EE	Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144
15	EE	Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92
14	EE	Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. Electr. Notes Theor. Comput. Sci. 239: 57-72 (2009)
	2008
13	EE	Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
12	EE	Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Left-Quadratic Rules When Completing Tree Automata. Electr. Notes Theor. Comput. Sci. 223: 61-70 (2008)
11	EE	Yohan Boichut, Pierre-Cyrille Héam: A theoretical limit for safety verification techniques with regular fix-point computations. Inf. Process. Lett. 108(1): 1-2 (2008)
10	EE	Pierre-Cyrille Héam: A note on partially ordered tree automata. Inf. Process. Lett. 108(4): 242-246 (2008)
9	EE	Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Clôtures transitives de semi-commutations et model-checking régulier. Technique et Science Informatiques 27(1-2): 7-28 (2008)
	2007
8	EE	Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE 2007: 333-338
	2006
7	EE	Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167
	2005
6	EE	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
	2003
5	EE	Pierre-Cyrille Héam: Some complexity results for polynomial rational expressions. Theor. Comput. Sci. 1-3(299): 735-741 (2003)
	2002
4	EE	Pierre-Cyrille Héam: On Shuffle Ideals. ITA 36(4): 359-384 (2002)
	2001
3		Pierre-Cyrille Héam: Some Topological Properties of Rational Sets. Journal of Automata, Languages and Combinatorics 6(3): 275-290 (2001)
	2000
2	EE	Pierre-Cyrille Héam: Automata for Pro-V Topologies. CIAA 2000: 135-144
1	EE	Pierre-Cyrille Héam: A Lower Bound For Reversible Automata. ITA 34(5): 331-341 (2000)

Coauthor Index

1	Alessandro Armando	[6]
2	David A. Basin	[6]
3	Yohan Boichut	[6] [7] [11] [12] [13] [14] [15]
4	Gérard Cécé	[9]
5	Yannick Chevalier	[6]
6	Luca Compagna	[6]
7	Roméo Courbis	[12] [13] [16]
8	Jorge Cuéllar	[6]
9	Paul Hankes Drielsma	[6]
10	Olga Kouchnarenko	[6] [7] [8] [12] [13] [14] [15] [16]
11	Yann Mainier	[9]
12	Jacopo Mantovani	[6]
13	Sebastian Mödersheim	[6]
14	Cyril Nicaud	[17]
15	David von Oheimb	[6]
16	Michaël Rusinowitch	[6]
17	Judson Santiago	[6]
18	Sylvain Schmitz	[17]
19	Mathieu Turuani	[6]
20	Luca Viganò	[6]
21	Laurent Vigneron	[6]
22	Jérôme Voinot	[8]

Colors in the list of coauthors