Inter-regulation of the unfolded protein response and auxin signaling
Y. Chen, K. Aung, J. Roldík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
LibreCat: https://research-explorer.ista.ac.at/record/2249
DOI: 10.1111/tpj.12373

Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila
S. Phadke, T. Paixao, T. Pham, S. Pham, R. Zufall, Journal of Heredity 105 (2014) 130–135.
LibreCat: https://research-explorer.ista.ac.at/record/2252
DOI: 10.1093/jhered/est063

DICE, an efficient system for iterative genomic editing in human pluripotent stem cells
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

Molecular pathways controlling the sequential steps of cortical projection neuron migration
S. Hippenmeyer, in:, L. Nguyen (Ed.),  Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 10.1007/978-94-007-7687-6_1

Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Morpho-physiological criteria divide dentate gyrus interneurons into classes
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Universality of general ;2-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 10.1016/j.tcs.2014.08.019

Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkadik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 10.1007/978-3-319-13075-0_10

Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 10.1007/978-3-662-44522-8_1

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 10.1145/2629686