Kai Engelhardt

Binding

EuroS&P, pp.16-30, (2018)

ESORICS, pp.446-463, (2017)

Special Interest Group on Programming Languages, no. 6 (2015): 99-109

Archive of Formal Proofs, (2015)

ACM Conference on Computer and Communications Security, (2012)

Commun. ACM, no. 6 (2010): 107-115

Concurrency, Compositionality, and Correctness, pp.250-259, (2010)

Concurrency, Compositionality, and Correctness, pp.250-259, (2010)

Clinical Orthopaedics and Related Research, no. 2 (2009): 73-91

SOSP, pp.207-220, (2009)

Data Refinement: Model-Oriented Proof Methods and their Comparison, (2008)

Inf. Process. Lett., no. 6 (2008): 235-239

LFCS, (2007): 195-211

DISC, pp.229-243, (2005)

IWDC, pp.32-44, (2005)

IWDC, pp.25-31, (2005)

Electronic Notes in Theoretical Computer Science, no. 3 (2002): 178-178

Advances in Modal Logic 2006, pp.9-30, (2002)

LPAR, pp.125-141, (2001)