Scholar
Jakob Piribauer
Google Scholar ID: JkKws8MAAAAJ
Technical University Dresden
theoretical computer science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
186
H-index
7
i10-index
5
Publications
20
Co-authors
17
list available
Publications
6 items
On Modal Logics of Full Products of Neighborhood Frames
2026
Cited
0
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
Co-authors
15 total
Christel Baier
TU Dresden
Rupak Majumdar
MPI for Software Systems
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Ocan Sankur
CNRS, Université de Rennes
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Krishnendu Chatterjee
Professor, IST Austria
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
