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.
3762 Publications
2015 | Research Data Reference | IST-REx-ID: 9772
B. Trubenova, S. Novak, and R. Hager, “Description of the agent based simulations.” Public Library of Science, 2015.
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9773
T. Friedlander, A. E. Mayo, T. Tlusty, and U. Alon, “Evolutionary simulation code.” Public Library of Science, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1619 |

G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2905 |

H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 3263 |

G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 8044 |

R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
View
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 468 |

A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 475 |

B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 535 |

K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 537 |

R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal effects,” Ecology and Evolution, vol. 4, no. 15. Wiley-Blackwell, pp. 3139–3145, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5411 |

P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5412 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5413 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5414 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5415 |

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5416 |

T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5417 |

T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |

K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5419 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
View
| Files available
| DOI