Scholar
Matthias Heizmann
Google Scholar ID: o0k_FgQAAAAJ
University of Stuttgart, Germany
software verification
automata theory
termination analysis
satisfiability modulo theories (SMT)
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,237
H-index
21
i10-index
28
Publications
20
Co-authors
35
list available
Publications
1 items
Correctness Witnesses with Function Contracts
2025
Cited
0
Co-authors
9 total
Christian Schilling
Associate Professor at Aalborg University
Jan Leike
Anthropic
Dominik Klumpp
University of Freiburg
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Max Barth
LMU
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Yong Li
Institue of Software, Chinese Academy of Sciences
Giles Reger
Amazon (formerly University of Manchester, UK)
