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 × Czech Republic
1 × Italy
2 × USA
2 × United Kingdom
Collaborated with:
S.Dexter R.Uceda-Sosa C.Laflamme W.Shen J.Huggins T.Behrendt E.Grädel S.Abiteboul V.Vianu
Talks about:
optim (2) cryptograph (1) techniqu (1) protocol (1) properti (1) asymptot (1) approxim (1) abstract (1) toolset (1) thought (1)

Person: Kevin J. Compton

DBLP DBLP: Compton:Kevin_J=

Contributed to:

ASE 20012001
ICALP 19991999
CSL 19931993
CSL 19921992
PODS 19921992
LICS 19881988

Wrote 6 papers:

ASE-2001-ShenCH #state machine #tool support #uml #validation
A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
ICALP-1999-ComptonD #encryption #protocol #proving
Proof Techniques for Cryptographic Protocols (KJC, SD), pp. 25–39.
CSL-1993-ComptonU #concurrent
The Model Theory of Concurrency (KJC, RUS), pp. 78–90.
CSL-1992-BehrendtCG #approximate #optimisation #problem
Optimization Problems: Expressibility, Approximation Properties and Expected Asymptotic Growth of Optimal Solutions (TB, KJC, EG), pp. 43–60.
PODS-1992-AbiteboulCV #query
Queries Are Easier Than You Thought (Probably) (SA, KJC, VV), pp. 23–32.
LICS-1988-ComptonL #algebra #logic
An Algebra and a Logic for NC¹ (KJC, CL), pp. 12–21.

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.