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

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

343 Publications


2020 | Conference Paper | IST-REx-ID: 7955   OA
Ashok, Pranav, et al. “Approximating Values of Generalized-Reachability Stochastic Games.” Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, pp. 102–15, doi:10.1145/3373718.3394761.
View | DOI | Download (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7196
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. IST Austria, 2020, doi:10.15479/AT:ISTA:7196.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7343   OA
Milutinovic, Barbara, et al. “Social Immunity Modulates Competition between Coinfecting Pathogens.” Ecology Letters, Wiley, 2020, doi:10.1111/ele.13458.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7212   OA
Tkadlec, Josef, et al. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology, vol. 16, PLoS, 2020, p. e1007494, doi:10.1371/journal.pcbi.1007494.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, doi:10.1016/j.ress.2019.106665.
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 7346   OA
Schmid, Laura, et al. “The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game.” Proceedings of the 23rd International Conference on Principles of Distributed Systems, vol. 153, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 21, doi:10.4230/LIPIcs.OPODIS.2019.21.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7810   OA
Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” European Symposium on Programming, vol. 12075, Springer Nature, 2020, pp. 112–40, doi:10.1007/978-3-030-44914-8_5.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887   OA
Chatterjee, Krishnendu, et al. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” Leibniz International Proceedings in Informatics, vol. 140, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7183   OA
Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7210
Tkadlec, Josef, et al. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology, vol. 2, 138, Springer Nature, 2019, doi:10.1038/s42003-019-0373-y.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed