Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Raimundo Saona Urmeneta

Jakub Svoboda

Valentin Hübner

Ehsan Kafshdar Goharshadi

Ali Asadi

Krishnendu Chatterjee

Maximilian Weininger

Mehrdad Karrabi

Tobias Meggendorfer

Mathieu Tracol

Rasmus Ibsen-Jensen

Jan Kretinsky

Joost Katoen

Ventsislav Chonev

Amir Goharshady

Ismael Jecker

Laura Schmid

Sasha Rubin

Maria Kleshnina

Benjamin Aminof

Djordje Zikelic

Hongfei Fu

Florian Horn

Christian Hilbe

Pepa Tkadlec

Martin Chmelik

Petr Novotny

Tadeas Priklopil

Johannes Reiter

Viktor Toman

Mingzhang Huang

Andreas Pavlogiannis



459 Publications

2023 | Conference Paper | IST-REx-ID: 13238 | OA
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Journal Article | IST-REx-ID: 14657 | OA
Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 13258 | OA
The effect of environmental information on evolution of cooperation in stochastic games
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, M.A. Nowak, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data Reference | IST-REx-ID: 13336 | OA
kleshnina/stochgames_info: The effect of environmental information on evolution of cooperation in stochastic games
M. Kleshnina, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 13967 | OA
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12833 | OA
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View | DOI
 
2023 | Thesis | IST-REx-ID: 14539 | OA
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14778 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14456 | OA
Shortest dominating set reconfiguration under token sliding
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications