Gerwin Klein
Impact in
- Artificial Intelligence top 0.2%
- Logic, programming, and type systems
- Security and Verification in Computing
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 105
- Security and Verification in Computing 27
- Advanced Software Engineering Methodologies 4
-
- Formal Methods in Verification 20
- Co-authors
- Tobias Nipkow (14 shared papers)Thomas Arthur Leck Sewell (21 shared papers)June Andronick (31 shared papers)Harvey Tuch (8 shared papers)Kevin J. Elphinstone (12 shared papers)Gernot Heiser (24 shared papers)Rafal Kolanski (17 shared papers)Michael Norrish (5 shared papers)
- Journals
- ACM SIGPLAN Notices (6 papers)Journal of Automated Reasoning (5 papers)Communications of the ACM (3 papers)Lecture notes in computer science (26 papers)IEEE Security & Privacy (2 papers)
- Partner nations
- AustraliaGermanyUnited States
In The Last Decade
Gerwin Klein
117 papers receiving 3.9k citations
Gerwin Klein's Hit Papers
Peers
Comparison fields: 5 of 57
- Artificial Intelligence 3.4k
- Computational Theory and Mathematics 725
- Hardware and Architecture 349
- Software 210
- Safety, Risk, Reliability and Quality 103
Countries citing papers authored by Gerwin Klein
This map shows the geographic impact of Gerwin Klein's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Gerwin Klein with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gerwin Klein more than expected).
Fields of papers citing papers by Gerwin Klein
This network shows the impact of papers produced by Gerwin Klein. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Gerwin Klein. The network helps show where Gerwin Klein may publish in the future.
Co-authors
The 25 scholars most cited alongside Gerwin Klein, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 122 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | seL4 Hit paper breakdown → | 2009 | 1194 |
| 2 | 2014 | 254 | |
| 3 | 2010 | 232 | |
| 4 | 2006 | 188 | |
| 5 | 2013 | 152 | |
| 6 | 2014 | 119 | |
| 7 | 2007 | 114 | |
| 8 | 2013 | 110 | |
| 9 | 2009 | 92 | |
| 10 | 2007 | 84 | |
| 11 | 2014 | 81 | |
| 12 | 2008 | 70 | |
| 13 | 2003 | 69 | |
| 14 | 2011 | 64 | |
| 15 | 2007 | 57 | |
| 16 | 2016 | 52 | |
| 17 | 2012 | 48 | |
| 18 | 2012 | 45 | |
| 19 | 2009 | 37 | |
| 20 | Towards a practical, verified kernel | 2007 | 35 |
About Gerwin Klein
Gerwin Klein is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Hardware and Architecture and Safety, Risk, Reliability and Quality, having authored 122 papers that have together received 4k indexed citations. Recurring topics across this work include Logic, programming, and type systems (105 papers), Security and Verification in Computing (27 papers), Formal Methods in Verification (20 papers), Software Engineering Techniques and Practices (5 papers), Advanced Software Engineering Methodologies (4 papers), Safety Systems Engineering in Autonomy (3 papers), Web Applications and Data Management (2 papers) and Software Engineering Research (2 papers). The work is most often cited by research in Artificial Intelligence (3.4k citations), Computational Theory and Mathematics (725 citations), Hardware and Architecture (349 citations), Software (210 citations) and Safety, Risk, Reliability and Quality (103 citations). Gerwin Klein has collaborated with scholars based in Australia, Germany and United States. Frequent co-authors include Tobias Nipkow, Thomas Arthur Leck Sewell, June Andronick, Harvey Tuch, Kevin J. Elphinstone, Gernot Heiser, Rafal Kolanski, Michael Norrish, David Cock and Philip Derrin. Their work appears in journals such as ACM SIGPLAN Notices, Journal of Automated Reasoning, Communications of the ACM, Lecture notes in computer science and IEEE Security & Privacy.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.