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
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 |

Tkadlec, J. (2020). A role of graphs in evolutionary processes. IST Austria. https://doi.org/10.15479/AT:ISTA:7196
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7212 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLoS Computational Biology. PLoS. https://doi.org/10.1371/journal.pcbi.1007494
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7955 |

Ashok, P., Chatterjee, K., Kretinsky, J., Weininger, M., & Winkler, T. (2020). Approximating values of generalized-reachability stochastic games. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 102–115). Saarbrücken, Germany: Association for Computing Machinery. https://doi.org/10.1145/3373718.3394761
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
View
| Files available
| DOI
| arXiv