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.

340 Publications


2017 | Journal Article | IST-REx-ID: 465   OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science 13, no. 3 (2017). https://doi.org/10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681   OA
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation 254 (2017): 296–315. https://doi.org/10.1016/j.ic.2016.10.012.
View | DOI | Download (ext.)
 

2017 | Thesis | IST-REx-ID: 821   OA
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5455   OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 699   OA
Veller, Carl, Laura Hayward, Martin Nowak, and Christian Hilbe. “The Red Queen and King in Finite Populations.” PNAS 114, no. 27 (2017): E5396–5405. https://doi.org/10.1073/pnas.1702020114.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

department=KrCh

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed