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. 2011. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 26(8), 424–432.

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

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

Edelsbrunner H, Morozov D, Patel A. 2011. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 11(3), 345–361.

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

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

Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.

[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, 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. 1104.0127.

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

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

Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.

[Published Version] View | Files available | DOI

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

Chatterjee K. Bounded rationality in concurrent parity games. arXiv, 1–51, 1107.2146.

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

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

Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.

[Published Version] View | Files available | DOI

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

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

[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. 2011. Learning anticipation policies for robot table tennis. IROS: Intelligent Robots and Systems, 332–337.

View | DOI

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

Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.

View | Files available | DOI

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

Barton NH, Etheridge A, Véber A. 2010. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 15(7), 162–216.

[Published Version] View | Files available | DOI

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

Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.

View | DOI

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

Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.

[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. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.