Statistics
Publications
7
Citations
2K
H-Index
7
Active since
2006
Affiliations
UNSW Sydney(Current)
Philip Derrin is an author at UNSW Sydney specializing in computer science, computing, and operating systems.
Publications per year
2006–2010
7
7
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
Towards a practical, verified kernel
Kevin Elphinstone, Gerwin Klein, Philip Derrin et al. · 2007 · 45 citations
Philip Derrin, Kevin Elphinstone, Gerwin Klein et al. · 2006 · 43 citations
1–5 of 7