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.

344 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

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed