Benutzerbeiträge von „Jakob Piribauer“
Aus International Center for Computational Logic
Ergebnisse für Jakob Piribauer Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 6 Bearbeitungen. Das Konto wurde am 5. März 2025 erstellt.
4. November 2025
- 10:3710:37, 4. Nov. 2025 Unterschied Versionen +542 N Inproceedings3448 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Multiplicative Rewards in Markovian Models |To appear=0 |Year=2025 |Booktitle=40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) |Pages=499-512 |Publisher=IEEE }} {{Publikation Details |DOI Name=10.1109/LICS65433.2025.00044 |Projekt=CPEC, C…“ aktuell
- 10:3410:34, 4. Nov. 2025 Unterschied Versionen +656 N Inproceedings3447 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sascha |ErsterAutorNachname=Klüppelholz |FurtherAuthors=Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Stop Gambling! It Just Takes Too Long |To appear=0 |Year=2025 |Booktitle=Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday |Pages=139–157 |Publisher=Springer |Editor=Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz |Series=…“ aktuell
- 10:2910:29, 4. Nov. 2025 Unterschied Versionen +716 N Inproceedings3446 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Jakob Piribauer; Maximilian Starke }} {{Inproceedings |Referiert=1 |Title=Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures |To appear=0 |Year=2024 |Booktitle=35th International Conference on Concurrency Theory (CONCUR 2024) |Pages=9:1-9:20 |Publisher=Schloss Dagstuhl – Leibniz-Zentrum für Informatik |Editor=Rupak Maju…“ aktuell
- 10:2610:26, 4. Nov. 2025 Unterschied Versionen +643 N Inproceedings3445 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jakob |ErsterAutorNachname=Piribauer }} {{Inproceedings |Referiert=1 |Title=Demonic Variance and a Non-Determinism Score for Markov Decision Processes |To appear=0 |Year=2024 |Booktitle=49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) |Pages=79:1--79:15 |Publisher=Schloss Dagstuhl |Editor=Rastislav Královič, Antonín Kučera |Series=Leibniz International Proceedings i…“ aktuell
- 10:2010:20, 4. Nov. 2025 Unterschied Versionen +999 N Article3117 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jakob |ErsterAutorNachname=Piribauer |FurtherAuthors=Christel Baier }} {{Article |Referiert=1 |Title=Positivity-hardness results on Markov decision processes |To appear=0 |Year=2024 |Journal=TheoretiCS |Volume=3 }} {{Publikation Details |DOI Name=10.46298/THEORETICS.24.9 |Projekt=CPEC |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik |BibTex=@article{DBLP:journals/theoretics/PiribauerB24,…“ aktuell
- 10:1810:18, 4. Nov. 2025 Unterschied Versionen +1.163 N Article3116 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer }} {{Article |Referiert=1 |Title=Entropic risk for turn-based stochastic games |To appear=0 |Year=2024 |Journal=Information and Computation |Volume=301 |Pages=105214 }} {{Publikation Details |DOI Name=10.1016/J.IC.2024.105214 |Projekt=CPEC, CeTI |Forschungsgruppe=Algebraische und logische Grundlagen…“ aktuell
