Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.

The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravdíková, J. Libantová, I. Matusíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.

Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).

Blending liquids
K. Raveendran, C. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics, ACM, 2014.

Majority vote of diverse classifiers for late fusion
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.

Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.

Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.

Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.

Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.

On Gromov's method of selecting heavily covered points
J. Matousek, U. Wagner, Discrete &; Computational Geometry 52 (2014) 1–33.

Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.

The morse theory of cech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.

New paradigms in the establishment and maintenance of gradients during directed cell migration
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.

Epilepsy-induced motility of differentiated neurons
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.

Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.

Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.

Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.

CoConut: Co-classification with output space regularization
S. Khamis, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.

Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.

Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.

Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).

Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.

Markov degree of the three-state toric homogeneous Markov chain model
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.

On the computational complexity of betti numbers reductions from matrix rank
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.

Key derivation without entropy waste
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.

Learning a priori constrained weighted majority votes
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.

Computing all maps into a sphere
M. cadek, M. Krcál, J. Matousek, F. Sergeraert, L. Vokínek, U. Wagner, Journal of the ACM 61 (2014).

Hierarchy and polysynchrony in an adaptive network 
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).

On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlovi, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.

Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.

Polar delivery in plants; commonalities and differences to animal epithelial cells
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).

Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.

From LTL to deterministic automata: A safraless compositional approach
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.

Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).

Mechanisms and principles of homology search during recombination
J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.

BE/ARC is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis
H. Tanaka, T. Nodzyski, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.

Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).

VAN4 encodes a putative T that is required for normal cell growth and vein development in arabidopsis
S. Naramoto, T. Nodzyski, T. Dainobu, H. Takatsuka, T. Okada, J. Friml, H. Fukuda, Plant and Cell Physiology 55 (2014) 750–763.

On secondary instabilities generating footbridges between spiral vortex flow
S. Altmeyer, Fluid Dynamics Research 46 (2014).

Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.

Suppressive drug interactions between antifungals
M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.

Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).

Stimfit: Quantifying electrophysiological data with Python
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).

A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.

Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.

Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).

Noise and information transmission in promoters with multiple internal states
G. Rieckh, G. Tkadik, Biophysical Journal 106 (2014) 1194–1204.

Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).

Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences
E. Cires Rodriguez, M. Baltisberger, C. Cuesta, P. Vargas, J. Prieto, Organisms Diversity and Evolution 14 (2014) 1–10.

Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Broeek, K. Chatterjee, V. Forejt, A. Kudera, Logical Methods in Computer Science 10 (2014).

How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.

The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants
A. Gadeyne, C. Sánchez Rodríguez, S. Vanneste, S. Di Rubbo, H. Zauber, K. Vanneste, J. Van Leene, N. De Winne, D. Eeckhout, G. Persiau, E. Van De Slijke, B. Cannoot, L. Vercruysse, J. Mayers, M. Adamowski, U. Kania, M. Ehrlich, A. Schweighofer, T. Ketelaar, S. Maere, S. Bednarek, J. Friml, K. Gevaert, E. Witters, E. Russinova, S. Persson, G. De Jaeger, D. Van Damme, Cell 156 (2014) 691–704.

Battery transition systems
U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.

Disease associations between honeybees and bumblebees as a threat to wild pollinators
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.

Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage
K. Beppu, T. Sasaki, K. Tanaka, A. Yamanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, Neuron 81 (2014) 314–320.

Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters
S. Simon, P. Skfpa, P. Dobrev, J. Petrásek, E. Zaeímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.

Alternating traps in Muller and parity games
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.

A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation
A. Dueck, A. Eichner, M.K. Sixt, G. Meister, FEBS Letters 588 (2014) 632–640.

Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.

Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).

Expression of TWISTED DWAR lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.

Thumbs down: A molecular-morphogenetic approach to avian digit homology
D. Capek, B. Metscher, G. Müller, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 322 (2014) 1–12.

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.

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.

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).

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.

Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.

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.

Universality of general ;2-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.

Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.

Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.

Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.

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).

Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkadik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).

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.

Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.

Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).

First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.

Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.

Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.

Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).

The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.

Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.

Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.

Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.

Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.

From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.

Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.

Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.

The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.

Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.