Barton, N. H., Novak, S., &; Paixao, T. (2014). Diverse forms of selection in evolution and computer science. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1410107111 

Kolesnikov, A., Guillaumin, M., Ferrari, V., &; Lampert, C. (2014). Closed-form approximate CRF training for scalable image segmentation. 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) (Vol. 8691, pp. 550–565). Zurich, Switzerland: Springer.https://doi.org/10.1007/978-3-319-10578-9_36 

Khamis, S., &; Lampert, C. (2014). CoConut: Co-classification with output space regularization. In Proceedings of the British Machine Vision Conference 2014. Nottingham, UK: BMVA Press.

Sydorov, V., Sakurada, M., &; Lampert, C. (2014). Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (pp. 1402–1409). Columbus, USA: IEEE.https://doi.org/10.1109/CVPR.2014.182 

De Vladar, H., &; Barton, N. H. (2014). Stability and response of polygenic traits to stabilizing selection and mutation. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.113.159111 

Ajanki, O. H., Erdös, L., &; Krüger, T. H. (2014). Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/ECP.v19-3121 

Studer, D., Zhao, S., Chai, X., Jonas, P. M., Graber, W., Nestel, S., &; Frotscher, M. (2014). Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue. Nature Protocols. Nature Publishing Group.https://doi.org/10.1038/nprot.2014.099 

Haws, D., Martin del Campo Sanchez, A., Takemura, A., &; Yoshida, R. (2014). Markov degree of the three-state toric homogeneous Markov chain model. Beitrage Zur Algebra Und Geometrie. Springer.https://doi.org/10.1007/s13366-013-0178-y 

Edelsbrunner, H., &; Parsa, S. (2014). On the computational complexity of betti numbers reductions from matrix rank. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 152–160). Portland, USA: SIAM.https://doi.org/10.1137/1.9781611973402.11 

Dodis, Y., Pietrzak, K. Z., &; Wichs, D. (2014). Key derivation without entropy waste. In P. Nguyen &; E. Oswald (Eds.) (Vol. 8441, pp. 93–110). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark: Springer.https://doi.org/10.1007/978-3-642-55220-5_6 

Bellet, A., Habrard, A., Morvant, E., &; Sebban, M. (2014). Learning a priori constrained weighted majority votes. Machine Learning. Springer.https://doi.org/10.1007/s10994-014-5462-z 

cadek, M., Krcál, M., Matousek, J., Sergeraert, F., Vokínek, L., &; Wagner, U. (2014). Computing all maps into a sphere. Journal of the ACM. ACM.https://doi.org/10.1145/2597629 

Botella Soler, V., &; Glendinning, P. (2014). Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.89.062809 

Chen, T., Hainzl, C., Pavlovi, N., &; Seiringer, R. (2014). On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-014-0693-2 

Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., Hofferek, G., Jobstmann, B.,https://doi.org/10.1007/s00236-013-0191-5__Könighofer, R. (2014). Synthesizing robust systems. Acta Informatica. Springer.https://doi.org/10.1007/s00236-013-0191-5 

Kania, U., Fendrych, M., &; Friml, J. (2014). Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. Royal Society.https://doi.org/10.1098/rsob.140017 

Morvant, E. (2014). Adaptation de domaine de vote de majorité par auto-étiquetage non itératif (Vol. 1, pp. 49–58). Presented at the CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference), Saint-Etienne, France: Elsevier.

Esparza, J., &; Kretinsky, J. (2014). From LTL to deterministic automata: A safraless compositional approach (Vol. 8559, pp. 192–208). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-319-08867-9_13 

Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., &; Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0085699 

Renkawitz, J., Lademann, C., &; Jentsch, S. (2014). Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm3805 

Tanaka, H., Nodzyski, T., Kitakura, S., Feraru, M., Sasabe, M., Ishikawa, T.,https://doi.org/10.1093/pcp/pct196__Friml, J. (2014). BE/ARC is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. Oxford University Press.https://doi.org/10.1093/pcp/pct196 

Bloemendal, A., Erdös, L., Knowles, A., Yau, H., &; Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v19-3054 

Naramoto, S., Nodzyski, T., Dainobu, T., Takatsuka, H., Okada, T., Friml, J., &; Fukuda, H. (2014). VAN4 encodes a putative T that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology. Oxford University Press.https://doi.org/10.1093/pcp/pcu012 

Altmeyer, S. (2014). On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. IOP Publishing Ltd.https://doi.org/10.1088/0169-5983/46/2/025503 

Kiltz, E., Masny, D., &; Pietrzak, K. Z. (2014). Simple chosen-ciphertext security from low noise LPN (Vol. 8383, pp. 1–18). Presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, Springer.https://doi.org/10.1007/978-3-642-54631-0_1 

de Vos, M., &; Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. Chemistry and Biology. Cell Press.https://doi.org/10.1016/j.chembiol.2014.04.004 

Boker, U., &; Henzinger, T. A. (2014). Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-10(1:10)2014 

Guzmán, J., Schlögl, A., &; Schmidt Hieber, C. (2014). Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. Frontiers Research Foundation.https://doi.org/10.3389/fninf.2014.00016 

Hu, H., &; Jonas, P. M. (2014). A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3678 

Vyleta, N., &; Jonas, P. M. (2014). Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1244811 

Song, B., &; Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing.https://doi.org/10.1088/1742-5468/2014/02/P02001 

Rieckh, G., &; Tkadik, G. (2014). Noise and information transmission in promoters with multiple internal states. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/j.bpj.2014.01.014 

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 

Kuchibhatla, D., Sherman, W., Chung, B., Cook, S., Schneider, G., Eisenhaber, B., &; Karlin, D. (2014). Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently phan”https://doi.org/10.1128/JVI.02595-13__viral proteins. Journal of Virology. ASM.https://doi.org/10.1128/JVI.02595-13 

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 

Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B.,https://doi.org/10.1371/journal.pone.0107518__Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0107518 

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 

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

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 

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.

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.

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 

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