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.

5735 Publications

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

A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.

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

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

Information transmission in genetic regulatory networks a review
G. Tkačik, A. Walczak, Journal of Physics: Condensed Matter 23 (2011).

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

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

The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.

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

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

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

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

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

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.

[Published Version] View | Files available | DOI

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

Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (n.d.).

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

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

The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).

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

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

Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.

[Published Version] View | Files available | DOI

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

Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (n.d.) 1–51.

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

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

Hardness results for homology localization
C. Chen, D. Freedman, in:, Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–1604.

View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.

View | DOI

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

Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.

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

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

A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.