Gerwin Klein
Scholar

Gerwin Klein

Google Scholar ID: XV9ZVncAAAAJ
Proofcraft and UNSW
formal methodsinteractive theorem provingsoftware verificationsemantics of programming languagesIsabelle/HOL
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,467
 
H-index
35
 
i10-index
80
 
Publications
20
 
Co-authors
37
list available
Contact
No contact links provided.
Publications
1 items
The Algebra of Iterative Constructions
2026
Cited
0
Resume (English only)
Co-authors
37 total
Co-author 1
Co-author 1
Gernot Heiser
Gernot Heiser
Professor of Computer Science, University of New South Wales
Toby Murray
Toby Murray
School of Computing and Information Systems, University of Melbourne
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8