ISTA Research Explorer

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.

527 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1340 |

Hansen K, Ibsen-Jensen R, Koucký M. The big match in small space. In: Vol 9928. Springer; 2016:64-76. doi:10.1007/978-3-662-53354-3_6

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2016 | Published | Journal Article | IST-REx-ID: 1380 |

Chonev VK, Ouaknine J, Worrell J. On the complexity of the orbit problem. Journal of the ACM. 2016;63(3). doi:10.1145/2857050

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2016 | Published | Conference Paper | IST-REx-ID: 1389 |

Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous linear dynamical systems. In: LICS ’16. IEEE; 2016:515-524. doi:10.1145/2933575.2934548

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2016 | Published | Thesis | PhD | IST-REx-ID: 1397

Chmelik M. Algorithms for partially observable markov decision processes. 2016.

View

2016 | Published | Journal Article | IST-REx-ID: 1423 |

Baek S, Jeong H, Hilbe C, Nowak M. Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. 2016;6. doi:10.1038/srep25676

[Published Version] View | Files available | DOI | WoS

2016 | Published | Journal Article | IST-REx-ID: 1426 |

Chakra M, Hilbe C, Traulsen A. Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. 2016;3(5). doi:10.1098/rsos.160036

[Published Version] View | Files available | DOI | WoS

Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. In: Vol 20-22. ACM; 2016:327-342. doi:10.1145/2837614.2837639

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2016 | Published | Journal Article | IST-REx-ID: 1477 |

Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009

2016 | Published | Journal Article | IST-REx-ID: 1518 |

Lohse K, Chmelik M, Martin S, Barton NH. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 2016;202(2):775-786. doi:10.1534/genetics.115.183814

2016 | Published | Journal Article | IST-REx-ID: 1529 |

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007

2016 | Published | Conference Paper | IST-REx-ID: 478 |

Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432

[Published Version] View | Files available | DOI | WoS

2016 | Published | Conference Paper | IST-REx-ID: 480 |

Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1