Statistics
Publications
28
Citations
3.2K
H-Index
18
Active since
2002
Michael Norrish is an author at Data61 specializing in computing, computer science, and formal methods.
Publications per year
2002–2021
28
28
Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations
Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 320 citations
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations
Michael Norrish · 2021 · 140 citations · Full text
Types, bytes, and separation logic
Harvey Tuch, Gerwin Klein, Michael Norrish · ACM SIGPLAN Notices · 2007 · 139 citations
1–5 of 28