Matthias Heizmann
Scholar

Matthias Heizmann

Google Scholar ID: o0k_FgQAAAAJ
University of Stuttgart, Germany
software verificationautomata theorytermination analysissatisfiability modulo theories (SMT)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,237
 
H-index
21
 
i10-index
28
 
Publications
20
 
Co-authors
35
list available
Contact
No contact links provided.
Publications
1 items
Correctness Witnesses with Function Contracts
2025
Cited
0
Resume (English only)
Co-authors
35 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Christian Schilling
Christian Schilling
Associate Professor at Aalborg University
Jan Leike
Jan Leike
Anthropic
Dominik Klumpp
Dominik Klumpp
University of Freiburg
Dirk Beyer
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Co-author 7
Co-author 7
Co-author 8
Co-author 8