Gupta, A., Kovács, L., Kragl, B., &; Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez &; J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer.https://doi.org/10.1007/978-3-319-11936-6_14 

Henzinger, T. A., Otop, J., &; Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431 

Samanta, R., Olivo, O., &; Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm &; H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer.https://doi.org/10.1007/978-3-319-10936-7_17 

Dolbilin, N., Edelsbrunner, H., Glazyrin, A., &; Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. Independent University of Moscow.https://doi.org/10.17323/1609-4514-2014-14-3-491-504 

Sixt, M. K., &; Vaahtomeri, K. (2014). Physiology: Relax and come in. Nature. Springer Nature.https://doi.org/10.1038/514441a 

Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., &; Tkadik, G. (2014). Variance predicts salience in central sensory processing. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.03722 

Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., &; Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. Wiley-Blackwell.https://doi.org/10.1111/psyp.12062 

Ocana, S., Meidl, P., Bonfils, D., &; Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2014.0253 

Chwastyk, M., Galera Prat, A., Sikora, M. K., Gómez Sicilia, À., Carrión Vázquez, M., &; Cieplak, M. (2014). Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell.https://doi.org/10.1002/prot.24436 

Landau, D., Stewart, C., Reiter, J., Lawrence, M., Sougnez, C., Brown, J.,  Wu, C. (2014). Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. American Society of Hematology.

Bräunlich, G., Hainzl, C., &; Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X14500123 

Grabowska, A., Wywia, E., Dunin Horkawicz, S., asica, A., Wösten, M., Nagy-Staron, A. A.,https://doi.org/10.1371/journal.pone.0106247__Jagusztyn Krynicka, E. (2014). Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0106247 

Edamura, M., Murakami, G., Meng, H., Itakura, M., Shigemoto, R., Fukuda, A., &; Nakahara, D. (2014). Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0107099 

Marhavá, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T.,https://doi.org/10.1073/pnas.1324264111__Friml, J. (2014). SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1324264111 

Kollár, R., Bodova, K., Nosek, J., &; Tomáska, d. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.89.032701 

Naramoto, S., Otegui, M., Kutsuna, N., De Rycke, R., Dainobu, T., Karampelias, M.,https://doi.org/10.1105/tpc.114.125880__Friml, J. (2014). Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.114.125880 

Williams, S., Ratliff, L., Postiglione, M. P., Knoblich, J., &; Fuchs, E. (2014). Par3-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb3001 

Ritzau Jost, A., Delvendahl, I., Rings, A., Byczkowicz, N., Harada, H., Shigemoto, R.,https://doi.org/10.1016/j.neuron.2014.08.036__Hallermann, S. (2014). Ultrafast action potentials mediate kilohertz signaling at a central synapse. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2014.08.036 

Arikan, M., Preiner, R., Scheiblauer, C., Jeschke, S., &; Wimmer, M. (2014). Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2014.2312011 

Tobler, M., Plath, M., Riesch, R., Schlupp, I., Grasse, A. V., Munimanda, G.,https://doi.org/10.1111/jeb.12370__Moodley, Y. (2014). Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. Wiley.https://doi.org/10.1111/jeb.12370 

Hall, B., Acar, H., Nandipati, A., &; Barlow, M. (2014). Growth rates made easy. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/mst187 

Tian, H., Wabnik, K. T., Niu, T., Li, H., Yu, Q., Pollmann, S.,https://doi.org/10.1093/mp/sst118__Ding, Z. (2014). WO-IA feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. Oxford University Press.https://doi.org/10.1093/mp/sst118 

Frank, R., Lewin, M., Lieb, É., &; Seiringer, R. (2014). Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. European Mathematical Society.https://doi.org/10.4171/JEMS/467 

Behrndt, M., &; Heisenberg, C.-P. J. (2014). Lateral junction dynamics lead the way out. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2913 

Ezard, T., Prizak, R., &; Hoyle, R. (2014). The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. Wiley-Blackwell.https://doi.org/10.1111/1365-2435.12207 

Konradi, S., Yasmin, N., Haslwanter, D., Weber, M., Gesslbauer, B., Sixt, M. K., &; Strobl, H. (2014). Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZE/2. European Journal of Immunology. Wiley-Blackwell.https://doi.org/10.1002/eji.201343681 

Demay, G., Gazi, P., Maurer, U., &; Tackmann, B. (2014). Optimality of non-adaptive strategies: The case of parallel games. In IEEE International Symposium on Information Theory. Honolulu, USA: IEEE.https://doi.org/10.1109/ISIT.2014.6875125 

Weissman, D., &; Hallatschek, O. (2014). The rate of adaptation in large sexual populations with linear chromosomes. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.113.160705 

Engström, A., &; Noren, P. (2014). Tverberg’s Theorem and Graph Coloring. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-013-9556-3 

Novarino, G., Fenstermaker, A., Zaki, M., Hofree, M., Silhavy, J., Heiberg, A.,https://doi.org/10.1126/science.1247363__Gleeson, J. (2014). Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1247363 

Xu, T., Dai, N., Chen, J., Nagawa, S., Cao, M., Li, H.,https://doi.org/10.1126/science.1245125__Yang, Z. (2014). Cell surface AB-TMK auxin sensing complex activates ROP GTPase signaling. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1245125 

Wang, W., Nakadate, K., Masugi Tokita, M., Shutoh, F., Aziz, W., Tarusawa, E.,https://doi.org/10.1073/pnas.1315541111__Shigemoto, R. (2014). Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1315541111 

Chen, X., &; Friml, J. (2014). Rho-GTPase-regulated vesicle trafficking in plant cell polarity. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/BST20130269 

Aziz, W., Wang, W., Kesaf, S., Mohamed, A., Fukazawa, Y., &; Shigemoto, R. (2014). Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1303317110 

Bellazzini, J., Frank, R., Lieb, É., &; Seiringer, R. (2014). Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/S0129055X13500219 

Sauer, M., &; Friml, J. (2014). Plant biology: Gatekeepers of the road to protein perdition. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2013.11.019 

Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister, E.,https://doi.org/10.1088/0957-4484/25/12/125704__Ebner, A. (2014). A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology. IOP Publishing.https://doi.org/10.1088/0957-4484/25/12/125704 

Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., &; Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/16/6/065005 

Tejos, R., Sauer, M., Vanneste, S., Palacios-Gomez, M., Li, H., Heilmann, M.,https://doi.org/10.1105/tpc.114.126185__Friml, J. (2014). Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.114.126185 

Smet, D., dádníková, P., Vandenbussche, F., Benková, E., &; Van Der Straeten, D. (2014). Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids. New Phytologist. Wiley-Blackwell.https://doi.org/10.1111/nph.12751 

Sadel, C. (2014). Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. Springer.https://doi.org/10.1007/s11040-014-9163-4 

Le, J., Liu, X., Yang, K., Chen, X., Zhu, L., Wang, H.,https://doi.org/10.1038/ncomms4090__Sack, F. (2014). Auxin transport and activity regulate stomatal patterning and development. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms4090 

Humplik, J., Hill, A., &; Nowak, M. (2014). Evolutionary dynamics of infectious diseases in finite populations. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2014.06.039 

Alexeev, V. V., Bogaevskaya, V. G., Preobrazhenskaya, M. M., Ukhalov, A. Y., Edelsbrunner, H., &; Yakimova, O. (2014). An algorithm for cartographic generalization that preserves global topology. Journal of Mathematical Sciences. Springer.https://doi.org/10.1007/s10958-014-2165-8 

Giuliani, A., Lieb, É., &; Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-014-1923-2 

Arbilly, M., Weissman, D., Feldman, M., &; Grodzinski, U. (2014). An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. Oxford University Press.https://doi.org/10.1093/beheco/aru002 

Marhavý, P., Duclercq, J., Weller, B., Feraru, E., Bielach, A., Offringa, R.,https://doi.org/10.1016/j.cub.2014.04.002__Benková, E. (2014). Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2014.04.002 

Trotter, M., Weissman, D., Peterson, G., Peck, K., &; Masel, J. (2014). Cryptic genetic variation can make &;quot;irreducible complexity&;quot; a common mode of adaptation in sexual populations. Evolution. Wiley-Blackwell.https://doi.org/10.1111/evo.12517 

Günther, D., Jacobson, A., Reininghaus, J., Seidel, H., Sorkine Hornung, O., &; Weinkauf, T. (2014). Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics. IEEE.https://doi.org/10.1109/TVCG.2014.2346432 

Hatakeyama, J., Wakamatsu, Y., Nagafuchi, A., Kageyama, R., Shigemoto, R., &; Shimamura, K. (2014). Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates. Development. Company of Biologists.https://doi.org/10.1242/dev.102988 

Savin, C., &; Triesch, J. (2014). Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. Frontiers Research Foundation.https://doi.org/10.3389/fncom.2014.00057 

Bourgade, P., Erdös, L., &; Yau, H. (2014). Edge universality of beta ensembles. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-014-2120-z 

Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., &; Yalovsky, S. (2014). Bimodal regulation of IC levels generates self-organizing auxin distribution. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1413918111 

Viaene, T., Landberg, K., Thelander, M., Medvecka, E., Pederson, E., Feraru, E.,https://doi.org/10.1016/j.cub.2014.09.056__Friml, J. (2014). Directional auxin transport mechanisms in early diverging land plants. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2014.09.056 

Fratini, F., Mascarenhas, E., Safari, L., Poizat, J., Valente, D., Auffèves, A.,https://doi.org/10.1103/PhysRevLett.113.243601__Santos, M. (2014). Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.113.243601 

El Masri, L., &; Cremer, S. (2014). Individual and social immunisation in insects. Trends in Immunology. Elsevier.https://doi.org/10.1016/j.it.2014.08.005 

Kim, S. (2014). Action potential modulation in C pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0113124 

O’Neill, J., &; Csicsvari, J. L. (2014). Learning by example in the hippocampus. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2014.06.013 

Yu, F., Fienberg, S., Slakovi, A., &; Uhler, C. (2014). Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics. Elsevier.https://doi.org/10.1016/j.jbi.2014.01.008 

Dupret, D., &; Csicsvari, J. L. (2014). Turning heads to remember places. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3700 

Klimova, A., &; Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.

Matsukawa, H., Akiyoshi Nishimura, S., Zhang, Q., Luján, R., Yamaguchi, K., Goto, H.,https://doi.org/10.1523/JNEUROSCI.1141-14.2014__Itohara, S. (2014). Netrin-G/NGL complexes encode functional synaptic diversification. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.1141-14.2014 

Erdös, L., &; Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. Springer.https://doi.org/10.1007/s11040-014-9164-3 

Lin, S., Uhler, C., Sturmfels, B., &; Bühlmann, P. (2014). Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-014-9205-0 

Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z.,https://doi.org/10.1016/j.cell.2014.10.027__Shi, S. (2014). Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. Cell Press.https://doi.org/10.1016/j.cell.2014.10.027 

Ali, S., Hippenmeyer, S., Saadat, L., Luo, L., Weissman, I., &; Ardehali, R. (2014). Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1408233111 

William, J., Hippenmeyer, S., &; Luo, L. (2014). Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1258996 

Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M.,https://doi.org/10.1007/978-3-319-11936-6_8__Ujma, M. (2014). Verification of markov decision processes using learning algorithms. In F. Cassez &; J.-F. Raskin (Eds.), https://doi.org/10.1007/978-3-319-11936-6_8__Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 98–114). Sydney, Australia: Society of Industrial and Applied Mathematics.https://doi.org/10.1007/978-3-319-11936-6_8 

Arai,https://doi.org/10.7554/eLife.04057__itaru, &; Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.04057 

Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus, D. E.,https://doi.org/10.1038/ncomms4498__Toshima, J. (2014). Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms4498 

Bodova, K., Paydarfar, D., &; Forger, D. (2014). Characterizing spiking in noisy type II neurons. https://doi.org/10.1016/j.jtbi.2014.09.041__Journal of Theoretical Biology. Academic Press.https://doi.org/10.1016/j.jtbi.2014.09.041 

Komárková, Z., &; Kretinsky, J. (2014). Rabinizer 3: Safraless translation of ltl to small deterministic automata. In F. Cassez &; J.-F. Raskin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 235–241). Sydney, Australia: Springer.https://doi.org/10.1007/978-3-319-11936-6_17 

Correggi, M., Giuliani, A., &; Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL. IOP Publishing Ltd.https://doi.org/10.1209/0295-5075/108/20003 

Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., &; Quadrianto, N. (2014). Mind the nuisance: Gaussian process classification using privileged noise. In Advances in Neural Information Processing Systems (Vol. 1, pp. 837–845). Montreal, Canada: Neural Information Processing Systems.

Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L., &; Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. Taylor &; Francis.https://doi.org/10.4161/23723548.2014.964045 

Dachman Soled, D., Fuchsbauer, G., Mohassel, P., &; O’Neill, A. (2014). Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires, Argentina: Springer.https://doi.org/10.1007/978-3-642-54631-0_19 

Kupczok, A., &; Bollback, J. P. (2014). Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics. BioMed Central.https://doi.org/10.1186/1471-2164-15-663 

Bauer, U., Kerber, M., &; Reininghaus, J. (2014). Distributed computation of persistent homology. In C.https://doi.org/10.1137/1.9781611973198.4__McGeoch &; U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments (pp. 31–38). Portland, USA: Society of Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973198.4 

Jonas, P. M., &; Lisman, J. (2014). Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits. Frontiers Research Foundation.https://doi.org/10.3389/fncir.2014.00107 

Bauer, U., Kerber, M., &; Reininghaus, J. (2014). Clear and Compress: Computing Persistent Homology in Chunks. In P.-T. Bremer, I. Hotz, V. Pascucci, &; R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III (pp. 103–117). Springer.https://doi.org/10.1007/978-3-319-04099-8_7 

Kicheva, A., Bollenbach, M. T., Ribeiro, A., Pérez Valle, H., Lovell Badge, R., Episkopou, V., &; Briscoe, J. (2014). Coordination of progenitor specification and growth in mouse and chick spinal cord. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1254927 

Yu, F., Rybar, M., Uhler, C., &; Fienberg, S. (2014). Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases. In J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8744, pp. 170–184). Ibiza, Spain: Springer.https://doi.org/10.1007/978-3-319-11257-2_14 

Hermanns, H., Krdál, J., &; Kretinsky, J. (2014). Probabilistic bisimulation: Naturally on distributions. 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. 249–265). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-662-44584-6_18 

Aminof, B., Kotek, T., Rubin, S., Spegni, F., &; Veith, H. (2014). Parameterized model checking of rendezvous systems. 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. 109–124). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-662-44584-6_9 

Bellare, M., &; Fuchsbauer, G. (2014). Policy-based signatures. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 520–537). Buenos Aires, Argentina: Springer.https://doi.org/10.1007/978-3-642-54631-0_30 

Kühnen, J., Holzner, M., Hof, B., &; Kuhlmann, H. (2014). Experimental investigation of transitional flow in a toroidal pipe. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2013.603 

Dubas, E., Moravdíková, J., Libantová, J., Matusíková, I., Benková, E., Zur, I., &; Krzewska, M. (2014). The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. Springer.https://doi.org/10.1007/s00709-014-0616-1 

Hu, H., Gan, J., &; Jonas, P. M. (2014). Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1255263 

Raveendran, K., Wojtan, C., Thuerey, N., &; Türk, G. (2014). Blending liquids. In ACM Transactions on Graphics (Vol. 33). Vancouver, Canada: ACM.https://doi.org/10.1145/2601097.2601126 

Morvant, E., Habrard, A., &; Ayache, S. (2014). Majority vote of diverse classifiers for late fusion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8621, pp. 153–162). Joensuu, Finland: Springer.https://doi.org/10.1007/978-3-662-44415-3_16 

Ganguly, A., Petrov, T., &; Koeppl, H. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. Springer.https://doi.org/10.1007/s00285-013-0738-7 

Mazur, E., Kurczyñska, E., &; Friml, J. (2014). Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis. Protoplasma. Springer.https://doi.org/10.1007/s00709-014-0620-5 

Rubio, M., Fukazawa, Y., Kamasawa, N., Clarkson, C., Molnár, E., &; Shigemoto, R. (2014). Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. Wiley-Blackwell.https://doi.org/10.1002/cne.23654 

Bauer, U., &; Lesnick, M. (2014). Induced matchings of barcodes and the algebraic stability of persistence. In Proceedings of the Annual Symposium on Computational Geometry (pp. 355–364). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582168 

Matousek, J., &; Wagner, U. (2014). On Gromov’s method of selecting heavily covered points. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-014-9584-7 

Bauer, U., Ge, X., &; Wang, Y. (2014). Measuring distance between Reeb graphs. In Proceedings of the Annual Symposium on Computational Geometry (pp. 464–473). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582169 

Bauer, U., &; Edelsbrunner, H. (2014). The morse theory of cech and Delaunay filtrations. In Proceedings of the Annual Symposium on Computational Geometry (pp. 484–490). Kyoto, Japan: ACM.https://doi.org/10.1145/2582112.2582167 

Majumdar, R., Sixt, M. K., &; Parent, C. (2014). New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2014.05.010 

Chai, X., Münzner, G., Zhao, S., Tinnes, S., Kowalski, J., Häussler, U.,https://doi.org/10.1093/cercor/bht067__Frotscher, M. (2014). Epilepsy-induced motility of differentiated neurons. Cerebral Cortex. Oxford University Press.https://doi.org/10.1093/cercor/bht067 

Kelleher, J., Etheridge, A., &; Barton, N. H. (2014). Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2014.05.001