ISTA Research Explorer

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.

5776 Publications

2011 | Published | Journal Article | IST-REx-ID: 3391 |

de Vladar H, Barton NH. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 2011;26(8):424-432. doi:10.1016/j.tree.2011.04.002

[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv

2011 | Published | Journal Article | IST-REx-ID: 3377 |

Edelsbrunner H, Morozov D, Patel A. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 2011;11(3):345-361. doi:10.1007/s10208-011-9090-8

[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv

2011 | Published | Technical Report | IST-REx-ID: 5381 |

Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007

[Published Version] View | Files available | DOI

2011 | Submitted | Preprint | IST-REx-ID: 3339 |

Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. doi:10.48550/arXiv.1107.2132

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

2011 | Submitted | Preprint | IST-REx-ID: 3363 |

Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words. doi:10.48550/arXiv.1104.0127

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

2011 | Published | Technical Report | IST-REx-ID: 5380 |

Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008

[Published Version] View | Files available | DOI

2011 | Submitted | Preprint | IST-REx-ID: 3338 |

Chatterjee K. Bounded rationality in concurrent parity games. arXiv.:1-51. doi:10.48550/arXiv.1107.2146

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

2011 | Published | Technical Report | IST-REx-ID: 5379 |

Chatterjee K, Henzinger M. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009

[Published Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3316 |

Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In: 6th IEEE International Symposium on Industrial and Embedded Systems. IEEE; 2011:176-185. doi:10.1109/SIES.2011.5953660

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

2011 | Published | Conference Paper | IST-REx-ID: 3337

Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892

View | DOI

2010 | Published | Conference Paper | IST-REx-ID: 10909

Chen C, Freedman D. Hardness results for homology localization. In: Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2010:1594-1604. doi:10.1137/1.9781611973075.129

View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 4243 |

Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741

[Published Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4362

Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32

View | DOI

2010 | Published | Conference Paper | IST-REx-ID: 4378 |

Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6

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

2010 | Published | Conference Paper | IST-REx-ID: 4380 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022