https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Jakob+Piribauer 2026-04-18T02:45:06Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3448&diff=43514 2025-11-04T10:37:48Z

<p>Jakob Piribauer: 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…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Christel<br /> |ErsterAutorNachname=Baier<br /> |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Multiplicative Rewards in Markovian Models<br /> |To appear=0<br /> |Year=2025<br /> |Booktitle=40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)<br /> |Pages=499-512<br /> |Publisher=IEEE<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.1109/LICS65433.2025.00044<br /> |Projekt=CPEC, CeTI, SECAI<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> }}</div>

Jakob Piribauer https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3447&diff=43512 2025-11-04T10:34:43Z

<p>Jakob Piribauer: 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=…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Sascha<br /> |ErsterAutorNachname=Klüppelholz<br /> |FurtherAuthors=Jakob Piribauer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Stop Gambling! It Just Takes Too Long<br /> |To appear=0<br /> |Year=2025<br /> |Booktitle=Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday<br /> |Pages=139–157<br /> |Publisher=Springer<br /> |Editor=Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz<br /> |Series=Lecture Notes in Computer Science<br /> |Volume=15760<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.1007/978-3-031-97439-7_6<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> }}</div>

Jakob Piribauer https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3446&diff=43510 2025-11-04T10:29:56Z

<p>Jakob Piribauer: 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…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Christel<br /> |ErsterAutorNachname=Baier<br /> |FurtherAuthors=Jakob Piribauer; Maximilian Starke<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures<br /> |To appear=0<br /> |Year=2024<br /> |Booktitle=35th International Conference on Concurrency Theory (CONCUR 2024)<br /> |Pages=9:1-9:20<br /> |Publisher=Schloss Dagstuhl – Leibniz-Zentrum für Informatik<br /> |Editor=Rupak Majumdar, Alexandra Silva<br /> |Series=Leibniz International Proceedings in Informatics (LIPIcs)<br /> |Volume=311<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.4230/LIPIcs.CONCUR.2024.9<br /> |Projekt=CPEC, CeTI<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> }}</div>

Jakob Piribauer https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3445&diff=43508 2025-11-04T10:26:56Z

<p>Jakob Piribauer: 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…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jakob<br /> |ErsterAutorNachname=Piribauer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Demonic Variance and a Non-Determinism Score for Markov Decision Processes<br /> |To appear=0<br /> |Year=2024<br /> |Booktitle=49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)<br /> |Pages=79:1--79:15<br /> |Publisher=Schloss Dagstuhl<br /> |Editor=Rastislav Královič, Antonín Kučera<br /> |Series=Leibniz International Proceedings in Informatics (LIPIcs)<br /> |Volume=306<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.4230/LIPIcs.MFCS.2024.79<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> }}</div>

Jakob Piribauer https://iccl.inf.tu-dresden.de/w/index.php?title=Article3117&diff=43506 2025-11-04T10:20:15Z

<p>Jakob Piribauer: 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,…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Jakob<br /> |ErsterAutorNachname=Piribauer<br /> |FurtherAuthors=Christel Baier<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Positivity-hardness results on Markov decision processes<br /> |To appear=0<br /> |Year=2024<br /> |Journal=TheoretiCS<br /> |Volume=3<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.46298/THEORETICS.24.9<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> |BibTex=@article{DBLP:journals/theoretics/PiribauerB24,<br /> author = {Jakob Piribauer and<br /> Christel Baier},<br /> title = {Positivity-hardness results on Markov decision processes},<br /> journal = {TheoretiCS},<br /> volume = {3},<br /> year = {2024},<br /> url = {https://doi.org/10.46298/theoretics.24.9},<br /> doi = {10.46298/THEORETICS.24.9},<br /> timestamp = {Fri, 04 Jul 2025 22:15:53 +0200},<br /> biburl = {https://dblp.org/rec/journals/theoretics/PiribauerB24.bib},<br /> bibsource = {dblp computer science bibliography, https://dblp.org}<br /> }<br /> }}</div>

Jakob Piribauer https://iccl.inf.tu-dresden.de/w/index.php?title=Article3116&diff=43504 2025-11-04T10:18:02Z

<p>Jakob Piribauer: 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…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Christel<br /> |ErsterAutorNachname=Baier<br /> |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Entropic risk for turn-based stochastic games<br /> |To appear=0<br /> |Year=2024<br /> |Journal=Information and Computation<br /> |Volume=301<br /> |Pages=105214<br /> }}<br /> {{Publikation Details<br /> |DOI Name=10.1016/J.IC.2024.105214<br /> |Projekt=CPEC, CeTI<br /> |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik<br /> |BibTex=@article{DBLP:journals/iandc/BaierCMP24,<br /> author = {Christel Baier and<br /> Krishnendu Chatterjee and<br /> Tobias Meggendorfer and<br /> Jakob Piribauer},<br /> title = {Entropic risk for turn-based stochastic games},<br /> journal = {Inf. Comput.},<br /> volume = {301},<br /> pages = {105214},<br /> year = {2024},<br /> url = {https://doi.org/10.1016/j.ic.2024.105214},<br /> doi = {10.1016/J.IC.2024.105214},<br /> timestamp = {Mon, 09 Dec 2024 22:48:04 +0100},<br /> biburl = {https://dblp.org/rec/journals/iandc/BaierCMP24.bib},<br /> bibsource = {dblp computer science bibliography, https://dblp.org}<br /> }<br /> }}</div>

Jakob Piribauer