G

Gerwin Klein

Computercraft (United States)

ORCID: 0000-0001-8883-0559

168 papers and 5.5k citations.

PubIndex Score58Top 42% · seniorHow it's scored

168Publications

5.5kTotal Citations

First publication: 1946First senior author: 1946

Top publicationsby citations

seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray, Gerwin Klein|Unknown|2013

Cited by 204

Indexing the rest of 168 publications…