K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5422

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

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.
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed. Cham: Springer Nature, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7038

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.
LibreCat: https://research-explorer.ista.ac.at/record/9519
DOI: 10.1016/j.tplants.2014.01.014
PMID: 24618094 

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.
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex and migration in adaptation to sink environments.” Dryad, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

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.
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

S. Wolf et al., “Supporting information.” Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9888
DOI: 10.1371/journal.pone.0103989.s003

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.
LibreCat: https://research-explorer.ista.ac.at/record/9458
DOI: 10.1016/j.cell.2014.01.029
PMID: 24630728

Z. Mérai et al., “The AAA-ATPase molecular chaperone Cd/ 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.
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

A. Lovrics et al., “Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

A. Lovrics et al., “Transition probability between TF expression states when Db inhibits Nk.2.” Public Library of Science, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/9722
DOI: 10.1371/journal.pone.0111430.s006