BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Klay:Francis

Contributed to:

LATA 20092009
CADE 20002000
CAV 20002000
World Congress on Formal Methods 19991999
CADE 19941994
RTA 19911991
LICS 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.