Skip to content Skip to footer

Research Portal of the TU Dresden

Dr. rer. nat. Jakob Piribauer Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- jakob.piribauer@tu-dresden.de

Identification Numbers

ORCID	0000-0003-4829-0476
Scopus author ID	57208489107

Stop Gambling! It Just Takes Too Long

Klüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer Science and Business Media B.V., p. 139-157 19 p. (Lecture notes in computer science, Vol. LNCS 15760).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Spork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media B.V., p. 56-81 26 p. (Lecture notes in computer science, Vol. 15932 LNCS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Model Checking Markov Chains as Distribution Transformers

Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, p. 293-313 21 p. (Lecture Notes in Computer Science, Vol. 15261).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Entropic risk for turn-based stochastic games

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214.

Research output: Contribution to journal › Research article › Contributed › peer-review

A Spectrum of Approximate Probabilistic Bisimulations

Spork, T., Baier, C., Katoen, J.-P., Piribauer, J. & Quatmann, T., 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 311).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (26)