Gerwin Klein
Active 1999–2026
- Affiliations
- UNSW SydneyData61This corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0001-8883-0559
- 106
- Papers
- 4,701
- Citations
- 27
- h-index
- 60
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science94.1%
- Engineering2.7%
- Decision Sciences0.6%
- Social Sciences0.6%
- Medicine0.3%
- Biochemistry, Genetics and Molecular Biology0.3%
- Other1.4%
Topics
- Security and Verification in Computing20.9%
- Logic, programming, and type systems18.6%
- Formal Methods in Verification14.9%
- Distributed systems and fault tolerance8.5%
- Advanced Malware Detection Techniques7.5%
- Parallel Computing and Optimization Techniques7.3%
- Other22.4%
Frequent coauthors
- June Andronick21
- Gernot Heiser19
- Thomas Sewell17
- Toby C. Murray17
- Rafal Kolanski15
- Gabriele Keller9
- Harvey Tuch9
- Kevin Elphinstone9
- Liam O'Connor9
- Zilin Chen9
- Christine Rizkallah8
- Japheth Lim8
- Tobias Nipkow8
- Ihor Kuz7
- Simon Winwood7
- Bastian Schlich6
- Corey Lewis6
- David Greenaway6
- Mark Staples6
- Ralf Huuck6
- D. Ross Jeffery5
- David A. Cock5
- Matthew Fernandez5
- Michael Norrish5
All papers
Loading papers…
