Scholar
Christel Baier
Google Scholar ID: p8sX7r0AAAAJ
TU Dresden
Theoretical Computer Science
Formal Methods
Model Checking
Automata Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,345
H-index
27
i10-index
77
Publications
20
Co-authors
74
list available
Contact
No contact links provided.
Publications
9 items
Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
2026
Cited
0
Concurrent Permissive Strategy Templates
2026
Cited
0
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2025
Cited
0
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
2025
Cited
0
Backward Responsibility in Transition Systems Beyond Safety
2025
Cited
0
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
2025
Cited
0
Multiplicative Rewards in Markovian Models
2025
Cited
0
Model Checking Linear Temporal Logic with Standpoint Modalities
2025
Cited
0
Load more
Resume (English only)
Co-authors
74 total
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Co-author 5
Boudewijn R. Haverkort
University of Twente
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Nathalie Bertrand
Univ Rennes, Inria, CNRS, IRISA
