Scholar
Mattias Ulbrich
Google Scholar ID: QCAA3HkAAAAJ
Karlsruhe Institute of Technology
Software verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,748
H-index
18
i10-index
34
Publications
20
Co-authors
0
Publications
3 items
A New Interaction Concept for Interactive and Autoactive Program Verification
2026
Cited
0
Static Type Checking for Database Access Code
2026
Cited
0
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
2025
Cited
0
