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.

Krishnendu Chatterjee

Ali Asadi

Ehsan Kafshdar Goharshadi

Mehrdad Karrabi

Pavol Kebis

Ruichen Luo

David Lurie

Satya Nayak

Ali Shafiee

Martin Chmelik

Ventsislav Chonev

Benjamin Aminof

Hongfei Fu

Amir Goharshady

Christian Hilbe

Florian Horn

Mingzhang Huang

Valentin Hübner

Rasmus Ibsen-Jensen

Ismael Jecker

Joost Katoen

Maria Kleshnina

Jan Kretinsky

John Lazarsfeld

Tobias Meggendorfer

Petr Novotny

Andreas Pavlogiannis

Tadeas Priklopil

Johannes Reiter

Sasha Rubin

Raimundo Saona Urmeneta

Laura Schmid

Jakub Svoboda

Pepa Tkadlec

Viktor Toman

Mathieu Tracol

Maximilian Weininger

Djordje Zikelic



528 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1340 | OA
Hansen, K., Ibsen-Jensen, R., & Koucký, M. (2016). The big match in small space (Vol. 9928, pp. 64–76). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_6
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the complexity of the orbit problem. Journal of the ACM. ACM. https://doi.org/10.1145/2857050
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934548
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1423 | OA
Baek, S., Jeong, H., Hilbe, C., & Nowak, M. (2016). Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep25676
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2016 | Published | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2016). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Vol. 20–22, pp. 327–342). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837639
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1518 | OA
Lohse, K., Chmelik, M., Martin, S., & Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.183814
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1
[Updated Version] View | Files available | DOI
 
2016 | Published | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1
[Published Version] View | Files available | DOI
 
2016 | Published | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science, Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
[Published Version] View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental game instructions. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s008
[Published Version] View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental data. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s009
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed