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
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
Co-authors
9 total
Matthias Heizmann
University of Stuttgart, Germany
Azadeh Farzan
Associate Professor, University of Toronto
Max Barth
LMU
Sarah Tilscher
Technical University of Munich
Julian Erhard
PhD Candidate, Technische Universität München
Helmut Seidl
Professor für Informatik, School of CIT, TU München
Michael Schwarz
National University of Singapore
Jandson S. Ribeiro
Cardiff University
