Jakob Piribauer
Scholar

Jakob Piribauer

Google Scholar ID: JkKws8MAAAAJ
Technical University Dresden
theoretical computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
186
 
H-index
7
 
i10-index
5
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
5 items
The Modal Logic of Abstraction Refinement
arXiv.org · 2026
Cited
0
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
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
Resume (English only)
Co-authors
17 total
Christel Baier
Christel Baier
TU Dresden
Co-author 2
Co-author 2
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Clemens Dubslaff
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Ocan Sankur
Ocan Sankur
CNRS, Université de Rennes
Sascha Klüppelholz
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Tobias Meggendorfer
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig