Statistics
Publications
11
Citations
2.2K
H-Index
10
Active since
1991
Affiliations
Kai Engelhardt is an author at UNSW Sydney specializing in computer science, computing, and formal methods.
Publications per year
1991–2018
11
11
Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations
Knowledge and the logic of local propositions
Kai Engelhardt, Ron van der Meyden, Yoram Moses · 1998 · 57 citations
Absolute, high-resolution optical position encoder
Kai Engelhardt, Peter Seitz · Applied Optics · 1996 · 56 citations
1–5 of 11