Syntactic Theories and Unification - Claude Kirchner; Francis Klay (LICS, 1990)

Undecidable Properties of Syntactic Theories. - Francis Klay (RTA, 1991)

Combination Techniques for Non-Disjoint Equational Theories. - Eric Domenjoud; Francis Klay; Christophe Ringeissen (CADE, 1994)

Correctness Proof of the Standardized Algorithm for ABR Conformance. - Jean-François Monin; Francis Klay (World Congress on Formal Methods, 1999)

Rewriting for Cryptographic Protocol Verification. - Thomas Genet; Francis Klay (CADE, 2000)

Mechanical Verification of an Ideal Incremental ABR Conformance. - Michaël Rusinowitch; Sorin Stratulat; Francis Klay (CAV, 2000)

An incremental method for the design of feature-oriented systems. - Karim Berkani; Pascale Le Gall; Francis Klay (FIREworks, 2000)

An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)

Compared Study of Two Correctness Proofs for the Standardized. - Béatrice Bérard; Laurent Fribourg; Francis Klay; Jean-François Monin (Formal Methods Syst. Des., 2003)

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. - Michaël Rusinowitch; Sorin Stratulat; Francis Klay (J. Autom. Reason., 2003)

Model Inference Approach for Detecting Feature Interactions in Integrated Systems. - Muzammil Shahbaz; Benoît Parreaux; Francis Klay (ICFI, 2007)

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder - Francis Klay; Judson Santiago; Laurent Vigneron (CoRR, 2007)

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. - Francis Klay; Laurent Vigneron (Formal Aspects in Security and Trust, 2008)

Rigid Tree Automata. - Florent Jacquemard; Francis Klay; Camille Vacher (LATA, 2009)

Rigid tree automata and applications. - Florent Jacquemard; Francis Klay; Camille Vacher (Inf. Comput., 2011)