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 |

K. Chatterjee and N. Fijalkow, “A reduction from parity games to simple stochastic games,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2011, vol. 54, pp. 74–86.

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

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

G. Tkačik and A. Walczak, “Information transmission in genetic regulatory networks a review,” Journal of Physics: Condensed Matter, vol. 23, no. 15. IOP Publishing, 2011.

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

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

H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8. Cell Press, pp. 424–432, 2011.

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

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

H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 345–361, 2011.

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

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

K. Chatterjee and 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 |

K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. .

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

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

K. Chatterjee, T. A. Henzinger, and M. Tracol, “The decidability frontier for probabilistic automata on infinite words.” ArXiv.

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

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

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

[Published Version] View | Files available | DOI

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

K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. pp. 1–51.

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

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

C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.

View | Files available | DOI

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

N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.

[Published Version] View | Files available | DOI

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

V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.

View | DOI

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

V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.

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

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

T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.