Shi, L., Hof, B., &; Tilgner, A. (2014). Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.89.013001 

Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., &; Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. Springer.https://doi.org/10.1007/s13127-013-0150-6 

Brázdil, T., Broeek, V., Chatterjee, K., Forejt, V., &; Kudera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-10(1:13)2014 

Jetchev, D., &; Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer.https://doi.org/10.1007/978-3-642-54242-8_24 

Gadeyne, A., Sánchez Rodríguez, C., Vanneste, S., Di Rubbo, S., Zauber, H., Vanneste, K.,https://doi.org/10.1016/j.cell.2014.01.039__Van Damme, D. (2014). The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. Cell Press.https://doi.org/10.1016/j.cell.2014.01.039 

Boker, U., Henzinger, T. A., &; Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM.https://doi.org/10.1145/2535838.2535875 

Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., &; Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. Nature Publishing Group.https://doi.org/10.1038/nature12977 

Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., &; Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.11.011 

Simon, S., Skfpa, P., Dobrev, P., Petrásek, J., Zaeímalová, E., &; Friml, J. (2014). Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In G. Hicks &; S. Robert (Eds.), Plant Chemical Genomics (Vol. 1056, pp. 255–264). Springer.https://doi.org/10.1007/978-1-62703-592-7_23 

Grinshpun, A., Phalitnonkiat, P., Rubin, S., &; Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2013.11.032 

Dueck, A., Eichner, A., Sixt, M. K., &; Meister, G. (2014). A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. Elsevier.https://doi.org/10.1016/j.febslet.2014.01.009 

Pernia-Andrade, A., &; Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.09.046 

Csicsvari, J. L., &; Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The.https://doi.org/10.1098/rstb.2012.0528 

Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H.,https://doi.org/10.1111/tpj.12369__Geisler, M. (2014). Expression of TWISTED DWAR lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/tpj.12369 

Capek, D., Metscher, B., &; Müller, G. (2014). Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. Wiley-Blackwell.https://doi.org/10.1002/jez.b.22545 

Chen, Y., Aung, K., Roldík, J., Walicki, K., Friml, J., &; Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/tpj.12373 

Phadke, S., Paixao, T., Pham, T., Pham, S., &; Zufall, R. (2014). Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. Oxford University Press.https://doi.org/10.1093/jhered/est063 

Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B.,https://doi.org/10.1093/nar/gkt1290__Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkt1290 

Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), https://doi.org/10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer.https://doi.org/10.1007/978-94-007-7687-6_1 

Olsson, C., Ulen, J., Boykov, Y., &; Kolmogorov, V. (2014). Partial enumeration and curvature regularization (pp. 2936–2943). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE.https://doi.org/10.1109/ICCV.2013.365 

Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., &; Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. Wiley-Blackwell.https://doi.org/10.1002/hipo.22214 

Erdös, L., Bourgade, P., &; Yau, H. (2014). Universality of general ;2-ensembles. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-2649752 

Chatterjee, K., Randour, M., &; Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer.https://doi.org/10.1007/s00236-013-0182-6 

Edelsbrunner, H., &; Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House.https://doi.org/10.4171/120-1/3 

Cerny, P., Chmelik, M., Henzinger, T. A., &; Radhakrishna, A. (2014). Interface simulation distances. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2014.08.019 

Chatterjee, K., &; Henzinger, M. H. (2014). Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. ACM.https://doi.org/10.1145/2597631 

Tkadik, G., Ghosh, A., Schneidman, E., &; Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0085841 

Chatterjee, K. (2014). Qualitative concurrent parity games: Bounded rationality. In P. Baldan &; D. Gorla (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704, pp. 544–559). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-662-44584-6_37 

Fischlin, M., Lehmann, A., &; Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-013-9148-7 

Aminof, B., &; Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association.https://doi.org/10.4204/EPTCS.146.11 

Biedl, T., Huber, S., &; Palfrader, P. (2014). Planar matchings for weighted straight skeletons. In 25th International Symposium, ISAAC 2014 (Vol. 8889, pp. 117–127). Jeonju, Korea: Springer Nature.https://doi.org/10.1007/978-3-319-13075-0_10 

Prizak, R., Ezard, T., &; Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. Wiley-Blackwell.https://doi.org/10.1002/ece3.1150 

Chatterjee, K. (2014). Partial-observation stochastic reachability and parity games (Vol. 8634, pp. 1–4). Presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary: Springer.https://doi.org/10.1007/978-3-662-44522-8_1 

Chatterjee, K., &; Doyen, L. (2014). Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2579821 

Boker, U., Chatterjee, K., Henzinger, T. A., &; Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/2629686 

Chatterjee, K., &; Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer.https://doi.org/10.1007/978-3-662-43951-7_11 

Chatterjee, K., Doyen, L., Nain, S., &; Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer.https://doi.org/10.1007/978-3-642-54830-7_16 

Chatterjee, K., Doyen, L., Gimbert, H., &; Oualhadj, Y. (2014). Perfect-information stochastic mean-payoff parity games (Vol. 8412, pp. 210–225). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer.https://doi.org/10.1007/978-3-642-54830-7_14 

Chatterjee, K., Ibsen-Jensen, R., &; Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer.https://doi.org/10.1145/2562059.2562141 

Daca, P., Henzinger, T. A., Krenn, W., &; Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria.https://doi.org/10.15479/AT:IST-2014-148-v2-1 

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v2-2 

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v3-1 

Chatterjee, K., Daca, P., &; Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-153-v1-1 

Chatterjee, K., &; Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer.https://doi.org/10.1007/978-3-662-43951-7_10 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-187-v1-1 

Henzinger, T. A., &; Otop, J. (2014). Model measuring for hybrid systems. In Proceedings of the 17th international conference on Hybrid systems: computation and control (pp. 213–222). Berlin, Germany: Springer.https://doi.org/10.1145/2562059.2562130 

Henzinger, T. A., &; Otop, J. (2014). From model checking to model measuring. IST Austria.https://doi.org/10.15479/AT:IST-2014-172-v1-1 

Henzinger, T. A., &; Otop, J. (2014). Model measuring for hybrid systems. IST Austria.https://doi.org/10.15479/AT:IST-2014-171-v1-1 

Chatterjee, K., &; Doyen, L. (2014). Games with a weak adversary. IST Austria.https://doi.org/10.15479/AT:IST-2014-176-v1-1 

Chatterjee, K., &; Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria.https://doi.org/10.15479/AT:IST-2014-191-v1-1 

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v1-1 

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria.https://doi.org/10.15479/AT:IST-2014-305-v2-1 

Chatterjee, K., Kössler, A., Pavlogiannis, A., &; Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria.https://doi.org/10.15479/AT:IST-2014-300-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-314-v1-1 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2014). Nested weighted automata. IST Austria.https://doi.org/10.15479/AT:IST-2014-170-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2014). The complexity of evolution on graphs. IST Austria.https://doi.org/10.15479/AT:IST-2014-190-v2-2 

Chatterjee, K., Doyen, L., Filiot, E., &; Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-642-54013-4_5 

Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-05957-0 

Huszár, K., &; Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.

Kim, M. Y., &; Zilberman, D. (2014). DNA methylation as a system of plant genomic immunity. Trends in Plant Science. Elsevier.https://doi.org/10.1016/j.tplants.2014.01.014 

Lagator, M., Morgan, A., Neve, P., &; Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution. Wiley.https://doi.org/10.1111/evo.12440 

Lagator, M., Morgan, A., Neve, P., &; Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad.https://doi.org/10.5061/dryad.s42n1 

Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., &; Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0103989 

Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., &; Osborne, J. (2014). Supporting information. Public Library of Science.https://doi.org/10.1371/journal.pone.0103989.s003 

Huff, J. T., &; Zilberman, D. (2014). Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes. Cell. Elsevier.https://doi.org/10.1016/j.cell.2014.01.029 

Mérai, Z., Chumak, N., García-Aguilar, M., Hsieh, T.-F., Nishimura, T., Schoft, V. K.,https://doi.org/10.1073/pnas.1418564111__Tamaru, H. (2014). The AAA-ATPase molecular chaperone Cd/ disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1418564111 

Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., &; Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0111430 

Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H. M., Dinnyés, A., &; Kovács, K. (2014). Transition probability between TF expression states when Db inhibits Nk.2. Public Library of Science.https://doi.org/10.1371/journal.pone.0111430.s006 

Chatterjee, K., Pavlogiannis, A., Adlam, B., &; Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003818 

Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., &; Cremer, S. (2014). Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Behavioral Ecology and Sociobiology. Springer.https://doi.org/10.1007/s00265-014-1778-8 

Lagator, M., Colegrave, N., &; Neve, P. (2014). Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2014.1679 

Konrad, M., Grasse, A. V., Tragust, S., &; Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad.https://doi.org/10.5061/dryad.vm0vc 

Lagator, M., Colegrave, N., &; Neve, P. (2014). Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Dryad.https://doi.org/10.5061/dryad.85dn7 

Chatterjee, K., Pavlogiannis, A., Adlam, B., &; Novak, M. (2014). Detailed proofs for “The time scale of evolutionary innovation.”https://doi.org/10.1371/journal.pcbi.1003818.s001__Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003818.s001 

Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., &; Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/mec.12578 

Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., &; Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad.https://doi.org/10.5061/dryad.nc0gc 

Simmons, K., Prentice, J., Tkadik, G., Homann, J., Yee, H., Palmer, S.,https://doi.org/10.5061/dryad.246qg__Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad.https://doi.org/10.5061/dryad.246qg 

Dhar, R., Bergmiller, T., &; Wagner, A. (2014). Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. Wiley.https://doi.org/10.1111/evo.12373 

Dhar, R., Bergmiller, T., &; Wagner, A. (2014). Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Dryad.https://doi.org/10.5061/dryad.jc402 

Chatterjee, K., Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer.https://doi.org/10.1007/s00453-013-9843-7 

Zobel, V., Reininghaus, J., &; Hotz, I. (2014). Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In Topological Methods in Data Analysis and Visualization III  (pp. 249–262). Springer.https://doi.org/10.1007/978-3-319-04099-8_16 

Smutny, M., Behrndt, M., Campinho, P., Ruprecht, V., &; Heisenberg, C.-P. J. (2014). UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In C. Nelson (Ed.), Tissue Morphogenesis (Vol. 1189, pp. 219–235). New York, NY: Springer.https://doi.org/10.1007/978-1-4939-1164-6_15 

Seiringer, R. (2014). The excitation spectrum for Bose fluids with weak interactions. Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature.https://doi.org/10.1365/s13291-014-0083-9 

Günther, D., Reininghaus, J., Seidel, H.-P., &; Weinkauf, T. (2014). Notes on the simplification of the Morse-Smale complex. In P.-T. Bremer, I. Hotz, V. Pascucci, &; R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III. (pp. 135–150). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-04099-8_9 

Konrad, M. (2014). Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.

Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.

Edelsbrunner, H., &; Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. Springer.https://doi.org/10.1007/s10851-013-0468-x 

Mabillard, I., &; Wagner, U. (2014). Eliminating Tverberg points, I. An analogue of the Whitney trick. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582134 

Novak, S. (2014). Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. Wiley-Blackwell.https://doi.org/10.1002/ece3.1289 

Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., &; Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-08867-9_38 

Daca, P., Henzinger, T. A., Krenn, W., &; Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation. Cleveland, USA: IEEE.https://doi.org/10.1109/ICST.2014.50 

Chatterjee, K., Chmelik, M., &; Daca, P. (2014). CEGAR for qualitative analysis of probabilistic systems (Vol. 8559, pp. 473–490). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer.https://doi.org/10.1007/978-3-319-08867-9_31 

Mitosch, K., &; Bollenbach, M. T. (2014). Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. Wiley.https://doi.org/10.1111/1758-2229.12190 

Gazi, P., Pietrzak, K. Z., &; Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay &; R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer.https://doi.org/10.1007/978-3-662-44371-2_7 

Compagnon, J., Barone, V., Rajshekar, S., Kottmeier, R., Pranjic-Ferscha, K., Behrndt, M., &; Heisenberg, C.-P. J. (2014). The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2014.11.003 

Grusch, M., Schelch, K., Riedler, R., Gschaider-Reichhart, E., Differ, C., Berger, W.,https://doi.org/10.15252/embj.201387695__Janovjak, H. L. (2014). Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. Wiley-Blackwell.https://doi.org/10.15252/embj.201387695 

Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582137 

Bauer, U., Kerber, M., Reininghaus, J., &; Wagner, H. (2014). PHAT – Persistent Homology Algorithms Toolbox. In ICMS 2014: International Congress on Mathematical Software (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-662-44199-2_24 

Chatterjee, K., Henzinger, T. A., Otop, J., &; Velner, Y. (2014). Quantitative fair simulation games. IST Austria.https://doi.org/10.15479/AT:IST-2014-315-v1-1 

Cremer, S. (2014). Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie. Deutsche Zoologische Gesellschaft.