Travelled to:
1 × Italy
1 × Spain
2 × France
3 × USA
Collaborated with:
T.Genet J.Monin ∅ C.Kirchner F.Jacquemard C.Vacher M.Rusinowitch S.Stratulat E.Domenjoud C.Ringeissen
Talks about:
theori (3) syntact (2) conform (2) verif (2) abr (2) cryptograph (1) increment (1) algorithm (1) techniqu (1) standard (1)
Person: Francis Klay
DBLP: Klay:Francis
Contributed to:
Wrote 7 papers:
- LATA-2009-JacquemardKV #automaton
- Rigid Tree Automata (FJ, FK, CV), pp. 446–457.
- CADE-2000-GenetK #encryption #protocol #verification
- Rewriting for Cryptographic Protocol Verification (TG, FK), pp. 271–290.
- CAV-2000-RusinowitchSK #consistency #incremental #verification
- Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.
- FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard
- Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
- CADE-1994-DomenjoudKR #equation
- Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
- RTA-1991-Klay #decidability
- Undecidable Properties of Syntactic Theories (FK), pp. 136–149.
- LICS-1990-KirchnerK #unification
- Syntactic Theories and Unification (CK, FK), pp. 270–277.