Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
D
David Cock
Affiliation pending
11
H-index
36
Paper Count
2.6K
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
seL4: Formal Verification of an Operating-System Kernel
COMMUNICATIONS OF THE ACM
IF
12.2
2010-06-01
161
PRE
AI
Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
G
Gernot Heiser
H-index: 47 · Papers: 265
G
Gerwin Klein
H-index: 29 · Papers: 161
M
Michael Norrish
H-index: 23 · Papers: 112
K
Kevin Elphinstone
H-index: 21 · Papers: 55
J
June Andronick
H-index: 18 · Papers: 62
View more
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave