Christel Baier
Scholar

Christel Baier

Google Scholar ID: p8sX7r0AAAAJ
TU Dresden
Theoretical Computer ScienceFormal MethodsModel CheckingAutomata Theory
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
8 items
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
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
QEST+FORMATS · 2024
Cited
0
Resume (English only)
Co-authors
74 total
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Sascha Klüppelholz
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Holger Hermanns
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Clemens Dubslaff
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Co-author 5
Co-author 5
Boudewijn R. Haverkort
Boudewijn R. Haverkort
University of Twente
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Co-author 8
Co-author 8