Scholar
Dominik Klumpp
Google Scholar ID: CEjtTpQAAAAJ
University of Freiburg
Automatic Verification
Formal Methods
Follow
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
5 items
Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
2026
Cited
0
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
Matthias Heizmann
University of Stuttgart, Germany
Co-author 3
Azadeh Farzan
Associate Professor, University of Toronto
Co-author 5
Co-author 6
Co-author 7
Max Barth
LMU
