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

Francis Klay Vis

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

*2009
13EEFlorent Jacquemard, Francis Klay, Camille Vacher: Rigid Tree Automata. LATA 2009: 446-457
2008
12EEFrancis 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
10EEFrancis 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
6EEThomas 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
4EEJean-François Monin, Francis Klay: Correctness Proof of the Standardized Algorithm for ABR Conformance. World Congress on Formal Methods 1999: 662-681
1994
3EEEric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281
1991
2EEFrancis 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)