Clemens Dubslaff
Scholar

Clemens Dubslaff

Google Scholar ID: T6Y70LMAAAAJ
Eindhoven University of Technology | CeTI (TU Dresden)
Formal MethodsQuantitative AnalysisExplainabilitySoftware Product Lines
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,025
 
H-index
16
 
i10-index
31
 
Publications
20
 
Co-authors
64
list available
Contact
No contact links provided.
Publications
3 items
Implicit Computation of Filtered Prime Implicants
2026
Cited
0
Property-driven Causal Abstractions for Markov Decision Processes
2026
Cited
0
Explaining Control Policies through Predicate Decision Diagrams
2025
Cited
0
Resume (English only)
Co-authors
64 total
Christel Baier
Christel Baier
TU Dresden
Sascha Klüppelholz
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Co-author 3
Co-author 3
Holger Hermanns
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Co-author 5
Co-author 5
Sven Apel
Sven Apel
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Anni-Yasmin Turhan
Anni-Yasmin Turhan
Paderborn University
Patrick Koopmann
Patrick Koopmann
Vrije Universiteit Amsterdam