Francis Klay

2009
13	EE	Florent Jacquemard, Francis Klay, Camille Vacher: Rigid Tree Automata. LATA 2009: 446-457
2008
12	EE	Francis Klay, Laurent Vigneron: Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust 2008: 192-209
2007
11		Muzammil Shahbaz, Benoît Parreaux, Francis Klay: Model Inference Approach for Detecting Feature Interactions in Integrated Systems. ICFI 2007: 161-171
10	EE	Francis Klay, Judson Santiago, Laurent Vigneron: Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR abs/0710.3305: (2007)
2003
9		Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier: An Environment for Interactive Service Specification. FIW 2003: 25-41
8		Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin: Compared Study of Two Correctness Proofs for the Standardized. Formal Methods in System Design 22(1): 59-86 (2003)
7		Michaël Rusinowitch, Sorin Stratulat, Francis Klay: Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. J. Autom. Reasoning 30(2): 53-177 (2003)
2000
6		Thomas Genet, Francis Klay: Rewriting for Cryptographic Protocol Verification. CADE 2000: 271-290
5		Michaël Rusinowitch, Sorin Stratulat, Francis Klay: Mechanical Verification of an Ideal Incremental ABR Conformance. CAV 2000: 344-357
1999
4	EE	Jean-François Monin, Francis Klay: Correctness Proof of the Standardized Algorithm for ABR Conformance. World Congress on Formal Methods 1999: 662-681
1994
3		Eric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281
1991
2		Francis Klay: Undecidable Properties of Syntactic Theories. RTA 1991: 136-149
1990
1		Claude Kirchner, Francis Klay: Syntactic Theories and Unification LICS 1990: 270-277

Coauthor Index

1	Béatrice Bérard	[8]
2	Karim Berkani	[9]
3	Rémy Cave	[9]
4	Sophie Coudert	[9]
5	Eric Domenjoud	[3]
6	Laurent Fribourg	[8]
7	Pascale Le Gall	[9]
8	Thomas Genet	[6]
9	Florent Jacquemard	[13]
10	Claude Kirchner	[1]
11	Jean-François Monin	[4] [8]
12	Farid Ouabdesselam	[9]
13	Benoît Parreaux	[11]
14	Jean-Luc Richier	[9]
15	Christophe Ringeissen	[3]
16	Michaël Rusinowitch	[5] [7]
17	Judson Santiago	[10]
18	Muzammil Shahbaz	[11]
19	Sorin Stratulat	[5] [7]
20	Camille Vacher	[13]
21	Laurent Vigneron	[10] [12]

Colors in the list of coauthors