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.
5064 Publications
2014 | Technical Report | IST-REx-ID: 5416 | 
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View
| Files available
2014 | Technical Report | IST-REx-ID: 5424 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5426 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5423 |
K. Chatterjee, A. Kössler, A. Pavlogiannis, and U. Schmid, A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5427 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
[Published Version]
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.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5421 |
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 10885
K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Book | IST-REx-ID: 6853
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed. Cham: Springer Nature, 2014.
View
| Files available
| DOI
2014 | Working Paper | IST-REx-ID: 7038 |
K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 | Journal Article | IST-REx-ID: 9519
M. Y. Kim and D. Zilberman, “DNA methylation as a system of plant genomic immunity,” Trends in Plant Science, vol. 19, no. 5. Elsevier, pp. 320–326, 2014.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2083 |
M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Role of sex and migration in adaptation to sink environments,” Evolution, vol. 68, no. 8. Wiley, pp. 2296–2305, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9747 |
M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex and migration in adaptation to sink environments.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2086 |
S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9888
S. Wolf et al., “Supporting information.” Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 9458 |
J. T. Huff and D. Zilberman, “Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes,” Cell, vol. 156, no. 6. Elsevier, pp. 1286–1297, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 9479 |
Z. Mérai et al., “The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes,” Proceedings of the National Academy of Sciences, vol. 111, no. 45. National Academy of Sciences, pp. 16166–16171, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC