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.

6324 Publications

Search / Filter

2015 | Published | Technical Report | IST-REx-ID: 5435 |

Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v2-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5436 |

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5437 |

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5438 |

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5439 |

Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5440 |

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v2-2

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5441 |

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015. doi:10.15479/AT:IST-2015-340-v1-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5442 |

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015.

[Published Version] View | Files available

2015 | Published | Technical Report | IST-REx-ID: 5443 |

Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5444 |

Reiter J, Makohon-Moore A, Gerold J, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria; 2015. doi:10.15479/AT:IST-2015-399-v1-1

[Published Version] View | Files available | DOI

2015 | Research Data | IST-REx-ID: 5549 |

Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 1619 |

Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299

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

2014 | Published | Journal Article | IST-REx-ID: 2699 |

Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752

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

2014 | Published | Journal Article | IST-REx-ID: 2716 |

Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6

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

2014 | Published | Journal Article | IST-REx-ID: 2852

Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7

View | Files available | DOI | WoS

2014 | Published | Conference Paper | IST-REx-ID: 2905 |

Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society; 2014:31-50. doi:10.4171/120-1/3

[Submitted Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 3263 |

Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841

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

2014 | Published | Journal Article | IST-REx-ID: 1375 |

Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031

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

2014 | Published | Conference Paper | IST-REx-ID: 1392 |

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10

[Submitted Version] View | Files available | DOI

2014 | Published | Conference Paper | IST-REx-ID: 1393 |

Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900

[Published Version] View | DOI | Download Published Version (ext.)