Dominik Klumpp
Scholar

Dominik Klumpp

Google Scholar ID: CEjtTpQAAAAJ
University of Freiburg
Automatic VerificationFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
177
 
H-index
8
 
i10-index
8
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
4 items
On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
2026
Cited
0
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
2025
Cited
0
Correctness Witnesses with Function Contracts
2025
Cited
0
The Challenges of Effective AGM Belief Contraction
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
16 total
Co-author 1
Co-author 1
Matthias Heizmann
Matthias Heizmann
University of Stuttgart, Germany
Co-author 3
Co-author 3
Azadeh Farzan
Azadeh Farzan
Associate Professor, University of Toronto
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Max Barth
Max Barth
LMU