dblp.uni-trier.dewww.uni-trier.de

Pierre-Cyrille Héam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEYohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko: Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62
12EEYohan 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)
11EEYohan 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)
10EEPierre-Cyrille Héam: A note on partially ordered tree automata. Inf. Process. Lett. 108(4): 242-246 (2008)
9EEGé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
8EEPierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE 2007: 333-338
2006
7EEYohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko: Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167
2005
6EEAlessandro 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
5EEPierre-Cyrille Héam: Some complexity results for polynomial rational expressions. Theor. Comput. Sci. 1-3(299): 735-741 (2003)
2002
4EEPierre-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
2EEPierre-Cyrille Héam: Automata for Pro-V Topologies. CIAA 2000: 135-144
1EEPierre-Cyrille Héam: A Lower Bound For Reversible Automata. ITA 34(5): 331-341 (2000)

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)