en
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.
340 Publications
2020 | Thesis | IST-REx-ID: 7196
Tkadlec J. 2020. A role of graphs in evolutionary processes, IST Austria, 144p.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7343 
Milutinovic B, Stock M, Grasse AV, Naderlinger E, Hilbe C, Cremer S. 2020. Social immunity modulates competition between coinfecting pathogens. Ecology Letters.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7212
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2020. Limits on amplifiers of natural selection under death-Birth updating. PLoS computational biology. 16, e1007494.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7346
Schmid L, Chatterjee K, Schmid S. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. Proceedings of the 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153. 21.
View
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6887
Chatterjee K, Dvorák W, Henzinger M, Svozil A. 2019. Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 7183
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. 2019. Deciding fast termination for probabilistic VASS with nondeterminism. International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated TEchnology for Verification and Analysis, LNCS, vol. 11781. 462–478.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7210
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2019. Population structure determines the tradeoff between fixation probability and fixation time. Communications Biology. 2, 138.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs. International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388. 468–490.
View
| DOI