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.

344 Publications

2020 | Conference Paper | IST-REx-ID: 7955   OA
Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.” In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, n.d.
View | DOI | Download (ext.) | arXiv
2020 | Thesis | IST-REx-ID: 7196
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. IST Austria, 2020.
View | Files available | DOI
2020 | Journal Article | IST-REx-ID: 7343   OA
Milutinovic, Barbara, Miriam Stock, Anna V Grasse, Elisabeth Naderlinger, Christian Hilbe, and Sylvia Cremer. “Social Immunity Modulates Competition between Coinfecting Pathogens.” Ecology Letters, 2020.
View | Files available | DOI
2020 | Journal Article | IST-REx-ID: 7212   OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology 16 (2020): e1007494.
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 193 (2020).
View | DOI


Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed