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.

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

Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.

Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.

Netrin-DCC signaling regulates corpus callosum formation through attraction of pioneering axons and by modulating Sli-mediated repulsion
T. Fothergill, A.-L.S. Donahoo, A.M. Douglass, O. Zalucki, J. Yuan, T. Shu, G.J. Goodhill, L.J. Richards, Cerebral Cortex 24 (2014) 1138–1151.

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.

Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.

A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.

Spin-It: Optimizing moment of inertia for spinnable objects
M. Bächer, E. Whiting, B. Bickel, O. Sorkine Hornung, ACM Transactions on Graphics 33 (2014).

Multilabel structured output learning with random spanning trees of max-margin Markov networks
M. Marchand, S. Hongyu, E. Morvant, J. Rousu, J. Shawe Taylor, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2014.

Facial performance enhancement using dynamic shape space analysis
A. Bermano, D. Bradley, T. Beeler, F. Zund, D. Nowrouzezahrai, I. Baran, O. Sorkine Hornung, H. Pfister, R. Sumner, B. Bickel, M. Groß, ACM Transactions on Graphics 33 (2014).

Gradient flow structures for discrete porous medium equations
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.

Approximating rough stochastic PDEs
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.

The bacterial cell division proteins ftsA and ftsZ self-organize into dynamic cytoskeletal patterns
M. Loose, T. Mitchison, Nature Cell Biology 16 (2014) 38–46.

Spatial organization of cytokinesis signaling reconstituted in a cell-free system
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.

 Exact formulas for the normalizing constants of Wishart distributions for graphical models
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).

The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.

Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.

Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.

Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).