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.
356 Publications
2021 | Thesis | IST-REx-ID: 8934
A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” IST Austria, 2021.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 | 
J. Tkadlec, “A role of graphs in evolutionary processes,” IST Austria, 2020.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7212 |
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Limits on amplifiers of natural selection under death-Birth updating,” PLoS computational biology, vol. 16. PLoS, 2020.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7955 |
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, and T. Winkler, “Approximating values of generalized-reachability stochastic games,” in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Saarbrücken, Germany, 2020, pp. 102–115.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8533 |
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
View
| Files available
| DOI
| arXiv