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 |

Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution. Cell Press, 2011. https://doi.org/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, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-011-9090-8.

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

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

Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.

[Published Version] View | Files available | DOI

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

Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1107.2132.

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

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

Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1104.0127.

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

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

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.

[Published Version] View | Files available | DOI

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

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1107.2146.

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

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

Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.

[Published Version] View | Files available | DOI

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

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.

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

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

Wang, Zhikun, Christoph Lampert, Katharina Mülling, Bernhard Schölkopf, and Jan Peters. “Learning Anticipation Policies for Robot Table Tennis,” 332–37. IEEE, 2011. https://doi.org/10.1109/IROS.2011.6094892.

View | DOI

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

Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010. https://doi.org/10.1137/1.9781611973075.129.

View | Files available | DOI

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

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-741.

[Published Version] View | Files available | DOI

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

Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.

View | DOI

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

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/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, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.