Please note that ISTA 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.
397 Publications
2021 | Conference Paper | IST-REx-ID: 10667 |

Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Thesis | IST-REx-ID: 8934 |

Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7955 |

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, 2020, pp. 102–15, doi:10.1145/3373718.3394761.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” Proceedings of the 30th International Conference on Automated Planning and Scheduling, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
2020 | Conference Paper | IST-REx-ID: 8272 |

Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, Krishnendu, et al. “Simplified Game of Life: Algorithms and Complexity.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 22:1-22:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.22.
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |

Jecker, Ismael R., et al. “Unary Prime Languages.” 45th International Symposium on Mathematical Foundations of Computer Science, vol. 170, 51:1-51:12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.MFCS.2020.51.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8600 |

Chatterjee, Krishnendu, et al. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” 31st International Conference on Concurrency Theory, vol. 171, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.23.
View
| Files available
| DOI
| 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: 7212 |

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