Scholar
Clemens Dubslaff
Google Scholar ID: T6Y70LMAAAAJ
Eindhoven University of Technology | CeTI (TU Dresden)
Formal Methods
Quantitative Analysis
Explainability
Software Product Lines
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,025
H-index
16
i10-index
31
Publications
20
Co-authors
64
list available
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
Co-authors
11 total
Christel Baier
TU Dresden
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Sven Apel
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Anni-Yasmin Turhan
Paderborn University
Patrick Koopmann
Vrije Universiteit Amsterdam
Patrick Wienhöft
CeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden
Jakob Piribauer
Technical University Dresden
