Statistics
Publications
5
Citations
1.9K
H-Index
5
Active since
2002
Affiliations
UNSW Sydney(Current)
Simon Winwood is an author at UNSW Sydney specializing in computing, computer science, and formal methods.
Publications per year
2002–2015
5
5
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
Trevor Elliott, Lee Pike, Simon Winwood et al. · 2015 · 24 citations
Multiple page size support in the Linux kernel
Simon Winwood, Yefim Shuf, Hubertus Franke · 2002 · 16 citations
Provable Security: how feasible is it?
Gerwin Klein, Toby Murray, Peter Gammie et al. · 2011 · 11 citations
1–5 of 5