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: Compton:Kevin_J=
Contributed to:
2001
1999
19931992
1992
1988Wrote 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.