Francis Klay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1990–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | LATA | Rigid Tree Automata. | Florent Jacquemard, Francis Klay, Camille Vacher |
| 2000 | CADE | Rewriting for Cryptographic Protocol Verification. | Thomas Genet, Francis Klay |
| 2000 | CAV | Mechanical Verification of an Ideal Incremental | Michal Rusinowitch, Sorin Stratulat, Francis Klay |
| 1999 | FM | Correctness Proof of the Standardized Algorithm for ABR Conformance. | Jean-Franois Monin, Francis Klay |
| 1994 | CADE | Combination Techniques for Non-Disjoint Equational Theories. | Eric Domenjoud, Francis Klay, Christophe Ringeissen |
| 1990 | LICS | Syntactic Theories and Unification | Claude Kirchner, Francis Klay |