Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”https://doi.org/10.1007/s00450-013-0251-7__Computer Science Research and Development. Springer, 2013.https://doi.org/10.1007/s00450-013-0251-7 .

Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jií Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.”https://doi.org/10.1073/pnas.1309057110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1309057110 .

Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.”https://doi.org/10.1109/ICCV.2013.139__IEEE, 2013.https://doi.org/10.1109/ICCV.2013.139 .

Chatterjee, Krishnendu, and Jiri Sgall, eds. Mathematical Foundations of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40313-2 .

Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,”https://doi.org/10.1109/ICCV.2013.107__825–32. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.107 .

Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,”https://doi.org/10.1109/CSF.2013.15__115–29. IEEE, 2013.https://doi.org/10.1109/CSF.2013.15 .

Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013.https://doi.org/10.1007/978-3-642-40708-6 .

Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,”https://doi.org/10.1007/978-3-642-38856-9_10__7935:150–71. Springer, 2013.https://doi.org/10.1007/978-3-642-38856-9_10 .

Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”https://doi.org/10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer. Springer, 2013.https://doi.org/10.1007/s10009-011-0207-9 .

Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”https://doi.org/10.1007/s11537-013-1264-5__Japanese Journal of Mathematics. Springer, 2013.https://doi.org/10.1007/s11537-013-1264-5 .

Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013.https://doi.org/10.1515/9783110278736 .

Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.”https://doi.org/10.1145/2491956.2462184__In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013.https://doi.org/10.1145/2491956.2462184 .

Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.”https://doi.org/10.1103/PhysRevB.88.064401__Physical Review B. American Physical Society, 2013.https://doi.org/10.1103/PhysRevB.88.064401 .

Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.”https://doi.org/10.1007/s11515-013-1279-6__Frontiers in Biology. Springer, 2013.https://doi.org/10.1007/s11515-013-1279-6 .

Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.”https://doi.org/10.1016/j.endm.2013.07.008__Electronic Notes in Discrete Mathematics. Elsevier, 2013.https://doi.org/10.1016/j.endm.2013.07.008 .

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction,”https://doi.org/10.1142/9789814449243_0063__610–19. World Scientific Publishing, 2013.https://doi.org/10.1142/9789814449243_0063 .

Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,”https://doi.org/10.1007/978-3-0348-0531-5_3__57–88. Springer, 2013.https://doi.org/10.1007/978-3-0348-0531-5_3 .

Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.1007/978-3-642-40184-8_18__Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.1007/978-3-642-40184-8_18 .

Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive Density Analogue of the Lieb-Thirring Inequality.”https://doi.org/10.1215/00127094-2019477__Duke Mathematical Journal. Duke University Press, 2013.https://doi.org/10.1215/00127094-2019477 .

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation of Interacting Bosons in a Random Potential.”https://doi.org/10.1140/epjst/e2013-01759-5__European Physical Journal: Special Topics. Springer, 2013.https://doi.org/10.1140/epjst/e2013-01759-5 .

Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.”https://doi.org/10.1007/s00220-012-1604-y__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-012-1604-y .

Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.”https://doi.org/10.1007/s00220-013-1736-8__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-013-1736-8 .

Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .”https://doi.org/10.1186/1471-2148-13-54__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-54 .

Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .”https://doi.org/10.1002/9783527671632.ch08__In Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson. Wiley-VCH, 2013.https://doi.org/10.1002/9783527671632.ch08 .

Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG- Infecting Bacillus Weihenstephanensis.”https://doi.org/10.1128/genomeA.00216-13__Genome Announcements. American Society for Microbiology, 2013.https://doi.org/10.1128/genomeA.00216-13 .

Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.”https://doi.org/10.1007/978-3-642-39799-8_54__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_54 .

Simon, Sibu, Martin Kubes, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jií Friml, Jan Petrásek, and Eva Zaeímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.”https://doi.org/10.1111/nph.12437__New Phytologist. Wiley, 2013.https://doi.org/10.1111/nph.12437 .

Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.”https://doi.org/10.1007/978-3-642-39799-8_37__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_37 .

Chatterjee, Krishnendu, and Jakub aCki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.”https://doi.org/10.1007/978-3-642-39799-8_36__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_36 .

Nodzyski, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jií Friml. “Retromer Subunits VPA and VP Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.”https://doi.org/10.1093/mp/sst044__Molecular Plant. Cell Press, 2013.https://doi.org/10.1093/mp/sst044 .

Barbez, Elke, Martina Laková, Markéta Paezová, Alexis Maizel, Eva Zaeímalová, Jan Petrásek, Jií Friml, and Jürgen Kleine Vehn. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.”https://doi.org/10.1186/1471-2229-13-20__BMC Plant Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2229-13-20 .

Liu, Junli, Saher Menhi, Jennifer Topping, Jií Friml, and Keith Lindsey. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.”https://doi.org/10.3389/fpls.2013.00075__Frontiers in Plant Science. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fpls.2013.00075 .

Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.”https://doi.org/10.1515/crelle.2012.039__Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2013.https://doi.org/10.1515/crelle.2012.039 .

Viaene, Tom, Charles Delwiche, Stefan Rensing, and Jií Friml. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.”https://doi.org/10.1016/j.tplants.2012.08.009__Trends in Plant Science. Cell Press, 2013.https://doi.org/10.1016/j.tplants.2012.08.009 .

Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.”https://doi.org/10.1112/S0010437X13007185__Compositio Mathematica. Cambridge University Press, 2013.https://doi.org/10.1112/S0010437X13007185 .

Sanchez-Romero, Inmaculada, Antonio Ariza, Keith Wilson, Michael Skjøt, Jesper Vind, Leonardo De Maria, Lars Skov, and Jose Sánchez Ruiz. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.”https://doi.org/10.1371/journal.pone.0070013__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070013 .

Cazzonelli, Christopher, Marleen Vanstraelen, Sibu Simon, Kuide Yin, Ashley Carron Arthur, Nazia Nisar, Gauri Tarle, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.”https://doi.org/10.1371/journal.pone.0070069__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070069 .

covanová, Milada, Michael Sauer, Jan Rychtá, Jií Friml, Jan Petrásek, and Eva Zaeímalová. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.”https://doi.org/10.1371/journal.pone.0070050__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070050 .

Ando, Ryoichi, Nils Thuerey, and Chris Wojtan. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.”https://doi.org/10.1145/2461912.2461982__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461982 .

Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.”https://doi.org/10.1145/2461912.2462027__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2462027 .

Bojsen-Hansen, Morten, and Chris Wojtan. “Liquid Surface Tracking with Error Compensation.”https://doi.org/10.1145/2461912.2461991__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461991 .

Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.”https://doi.org/10.1016/j.cub.2013.06.019__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.06.019 .

Browning, Timothy D. “The Lang-Weil Estimate for Cubic Hypersurfaces.”https://doi.org/10.4153/CMB-2011-177-4__Canadian Mathematical Bulletin. Unknown, 2013.https://doi.org/10.4153/CMB-2011-177-4 .

Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Genetic Hitch-Hiking in Spatially Extended Populations.”https://doi.org/10.1016/j.tpb.2012.12.001__Theoretical Population Biology. Elsevier, 2013.https://doi.org/10.1016/j.tpb.2012.12.001 .

Budreck, Elaine, Oh Kwon, Jung Jung, Stéphane Baudouin, Albert Thommen, Hye Kim, Yugo Fukazawa, et al. “Neuroligin-1 Controls Synaptic Abundance of NMDA-Type Glutamate Receptors through Extracellular Coupling.”https://doi.org/10.1073/pnas.1214718110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1214718110 .

De La Bretèche, Régis, and Timothy D Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.”https://doi.org/10.1112/plms/pdt060__Proceedings of the London Mathematical Society. Oxford University Press, 2013.https://doi.org/10.1112/plms/pdt060 .

De La Bretèche, Régis, and Timothy D Browning. “Counter Examples to the Hasse Principle among Certain Coflasque Tori.”https://doi.org/10.5802/jtnb.857__Journal de Theorie Des Nombres de Bordeaux. Universite de Bordeaux I, 2013.https://doi.org/10.5802/jtnb.857 .

Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.”https://doi.org/10.1007/978-3-642-39212-2_3__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_3 .

Kolmogorov, Vladimir. “The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization,”https://doi.org/10.1007/978-3-642-39206-1_53__7965:625–36. Springer, 2013.https://doi.org/10.1007/978-3-642-39206-1_53 .

Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.”https://doi.org/10.1109/TPAMI.2013.140__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2013.https://doi.org/10.1109/TPAMI.2013.140 .

Quadrianto, Novi, Viktoriia Sharmanska, David Knowles, and Zoubin Ghahramani. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” In Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, 527–36. AUAI Press, 2013.

Browning, Timothy D. “Counting Rational Points on Cubic Hypersurfaces: Corrigendum.”https://doi.org/10.1112/S0025579313000132__Mathematika. Unknown, 2013.https://doi.org/10.1112/S0025579313000132 .

Dobi, Alice, Simone Sartori, Daniela Busti, Herman Van Der Putten, Nicolas Singewald, Ryuichi Shigemoto, and Francesco Ferraguti. “Neural Substrates for the Distinct Effects of Presynaptic Group III Metabotropic Glutamate Receptors on Extinction of Contextual Fear Conditioning in Mice.”https://doi.org/10.1016/j.neuropharm.2012.05.025__Neuropharmacology. Elsevier, 2013.https://doi.org/10.1016/j.neuropharm.2012.05.025 .

Indriati, Dwi, Naomi Kamasawa, Ko Matsui, Andrea Meredith, Masahiko Watanabe, and Ryuichi Shigemoto. “Quantitative Localization of Ca.1 (P/Q-Type) Voltage-Dependent Calcium Channels in Purkinje Cells: Somatodendritic Gradient and Distinct Somatic Coclustering with Calcium-Activated Potassium Channels.”https://doi.org/10.1523/JNEUROSCI.2921-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.2921-12.2013 .

Budisantoso, Timotheus, Harumi Harada, Naomi Kamasawa, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Evaluation of Glutamate Concentration Transient in the Synaptic Cleft of the Rat Calyx of Held.”https://doi.org/10.1113/jphysiol.2012.241398__Journal of Physiology. Wiley-Blackwell, 2013.https://doi.org/10.1113/jphysiol.2012.241398 .

Booker, Sam, Anna Gross, Daniel Althof, Ryuichi Shigemoto, Bernhard Bettler, Michael Frotscher, Matthew Hearing, et al. “Differential GABAB-Receptor-Mediated Effects in Perisomatic- and Dendrite-Targeting Parvalbumin Interneurons.”https://doi.org/10.1523/JNEUROSCI.1186-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.1186-12.2013 .

Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.”https://doi.org/10.4171/JEMS/416__Journal of the European Mathematical Society. European Mathematical Society, 2013.https://doi.org/10.4171/JEMS/416 .

Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Delocalization and Diffusion Profile for Random Band Matrices.”https://doi.org/10.1007/s00220-013-1773-3__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-013-1773-3 .

Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?”https://doi.org/10.1145/2463372.2463568__In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013.https://doi.org/10.1145/2463372.2463568 .

Long, Hongan, Tiago Paixao, Ricardo Azevedo, and Rebecca Zufall. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.”https://doi.org/10.1534/genetics.113.153536__Genetics. Genetics Society of America, 2013.https://doi.org/10.1534/genetics.113.153536 .

Paixao, Tiago, and Nicholas H Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.”https://doi.org/10.1145/2463372.2463470__In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 845–52. ACM, 2013.https://doi.org/10.1145/2463372.2463470 .

Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.”https://doi.org/10.1007/s10955-013-0807-8__Journal of Statistical Physics. Springer, 2013.https://doi.org/10.1007/s10955-013-0807-8 .

Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics of Erds-Rényi Graphs I: Local Semicircle Law.”https://doi.org/10.1214/11-AOP734__Annals of Probability. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/11-AOP734 .

Erdös, László, Antti Knowles, and Horng Yau. “Averaging Fluctuations in Resolvents of Random Band Matrices.”https://doi.org/10.1007/s00023-013-0235-y__Annales Henri Poincare. Birkhäuser, 2013.https://doi.org/10.1007/s00023-013-0235-y .

cadek, Martin, Marek Krcál, Jií Matousek, Lukás Vokínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.”https://doi.org/10.1145/2488608.2488683__In 45th Annual ACM Symposium on Theory of Computing, 595–604. ACM, 2013.https://doi.org/10.1145/2488608.2488683 .

Landberg, Katarina, Eric Pederson, Tom Viaene, Behruz Bozorg, Jií Friml, Henrik Jönsson, Mattias Thelander, and Eva Sundberg. “The Moss Physcomitrella Patens Reproductive Organ Development Is Highly Organized, Affected by the Two SHI/STY Genes and by the Level of Active Auxin in the SHI/STY Expression Domain.”https://doi.org/10.1104/pp.113.214023__Plant Physiology. American Society of Plant Biologists, 2013.https://doi.org/10.1104/pp.113.214023 .

Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.”https://doi.org/10.1063/1.4807704__Review of Scientific Instruments. American Institute of Physics, 2013.https://doi.org/10.1063/1.4807704 .

Holzner, Markus, Baofang Song, Marc Avila, and Björn Hof. “Lagrangian Approach to Laminar-Turbulent Interfaces in Transitional Pipe Flow.”https://doi.org/10.1017/jfm.2013.127__Journal of Fluid Mechanics. Cambridge University Press, 2013.https://doi.org/10.1017/jfm.2013.127 .

Vos, Marjon de, Frank Poelwijk, Nico Battich, Joseph Ndika, and Sander Tans. “Environmental Dependence of Genetic Constraint.”https://doi.org/10.1371/journal.pgen.1003580__PLoS Genetics. Public Library of Science, 2013.https://doi.org/10.1371/journal.pgen.1003580 .

Chatterjee, Krishnendu, Luca Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.”https://doi.org/10.1142/S0129054113400066__International Journal of Foundations of Computer Science. World Scientific Publishing, 2013.https://doi.org/10.1142/S0129054113400066 .

Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.”https://doi.org/10.1103/PhysRevE.87.063012__Physical Review E. American Institute of Physics, 2013.https://doi.org/10.1103/PhysRevE.87.063012 .

Samanta, Devranjan, Yves Dubief, Markus Holzner, Christof Schäfer, Alexander Morozov, Christian Wagner, and Björn Hof. “Elasto-Inertial Turbulence.”https://doi.org/10.1073/pnas.1219666110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1219666110 .

Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in .”https://doi.org/10.1145/2462356.2462373__In Proceedings of the 29th Annual Symposium on Computational Geometry, 117–25. ACM, 2013.https://doi.org/10.1145/2462356.2462373 .

Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.”https://doi.org/10.1016/j.jtbi.2013.05.029__Journal of Theoretical Biology. Elsevier, 2013.https://doi.org/10.1016/j.jtbi.2013.05.029 .

Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.”https://doi.org/10.1145/2461328.2461370__In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 1:273–82. Springer, 2013.https://doi.org/10.1145/2461328.2461370 .

Rajan, Kanaka, Olivier Marre, and Gasper Tkadik. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.”https://doi.org/10.1162/NECO_a_00463__Neural Computation. MIT Press , 2013.https://doi.org/10.1162/NECO_a_00463 .

Tran Viet, Khanh, Caldwell Powell, Veluchamy Barathi, Thomas Klemm, Sebastian Maurer Stroh, Vachiranee Limviphuvadh, Vincent Soler, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.”https://doi.org/10.1016/j.ajhg.2013.04.005__American Journal of Human Genetics. Cell Press, 2013.https://doi.org/10.1016/j.ajhg.2013.04.005 .

Topp, Christopher, Anjali Iyer Pascuzzi, Jill Anderson, Cheng Lee, Paul Zurek, Olga Symonova, Ying Zheng, et al. “D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.”https://doi.org/10.1073/pnas.1304354110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1304354110 .

Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jií Friml, Isabel Sá Correia, and Paula Duque. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.”https://doi.org/10.1105/tpc.113.110353__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.110353 .

Du, Yunlong, Ricardo Tejos, Martina Beck, Ellie Himschoot, Hongjiang Li, Silke Robatzek, Steffen Vanneste, and Jií Friml. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.”https://doi.org/10.1073/pnas.1220205110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1220205110 .

Pickup, Melinda, Susie Wilson, David Freudenberger, Nick Nicholls, Lori Gould, Sarah Hnatiuk, and Jeni Delandre. “Post-Fire Recovery of Revegetated Woodland Communities in South-Eastern Australia.”https://doi.org/10.1111/j.1442-9993.2012.02404.x__Austral Ecology. Wiley-Blackwell, 2013.https://doi.org/10.1111/j.1442-9993.2012.02404.x .

Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.”https://doi.org/10.1016/j.ic.2013.04.003__Information and Computation. Elsevier, 2013.https://doi.org/10.1016/j.ic.2013.04.003 .

Tanaka, Hirokazu, Saeko Kitakura, Hana Rakusová, Tomohiro Uemura, Mugurel Feraru, Riet De Rycke, Stéphanie Robert, Tatsuo Kakimoto, and Jií Friml. “Cell Polarity and Patterning by PIN Trafficking through Early Endosomal Compartments in Arabidopsis Thaliana.”https://doi.org/10.1371/journal.pgen.1003540__PLoS Genetics. Public Library of Science, 2013.https://doi.org/10.1371/journal.pgen.1003540 .

Kolmogorov, Vladimir, and Stanislav divný. “The Complexity of Conservative Valued CSPs.”https://doi.org/10.1145/2450142.2450146__Journal of the ACM. ACM, 2013.https://doi.org/10.1145/2450142.2450146 .

Shi, Liang, Marc Avila, and Björn Hof. “Scale Invariance at the Onset of Turbulence in Couette Flow.”https://doi.org/10.1103/PhysRevLett.110.204502__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.204502 .

Avila, Marc, Fernando Mellibovsky, Nicolas Roland, and Björn Hof. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.”https://doi.org/10.1103/PhysRevLett.110.224502__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.224502 .

Heisenberg, Carl-Philipp J, and Yohanns Bellaïche. “Forces in Tissue Morphogenesis and Patterning.”https://doi.org/10.1016/j.cell.2013.05.008__Cell. Cell Press, 2013.https://doi.org/10.1016/j.cell.2013.05.008 .

Moussion, Christine, and Michael K Sixt. “A Conduit to Amplify Innate Immunity.”https://doi.org/10.1016/j.immuni.2013.05.005__Immunity. Cell Press, 2013.https://doi.org/10.1016/j.immuni.2013.05.005 .

Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.”https://doi.org/10.1016/j.tpb.2013.03.001__Theoretical Population Biology. Elsevier, 2013.https://doi.org/10.1016/j.tpb.2013.03.001 .

Arquè Fuste, Gloria, Anna Casanovas, and Mara Dierssen. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.”https://doi.org/10.1371/journal.pone.0054285__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0054285 .

Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid de Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.”https://doi.org/10.1126/science.1228456__Science. American Association for the Advancement of Science, 2013.https://doi.org/10.1126/science.1228456 .

Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “The Local Semicircle Law for a General Class of Random Matrices.”https://doi.org/10.1214/EJP.v18-2473__Electronic Journal of Probability. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/EJP.v18-2473 .

Yu, Hong, Michael Karampelias, Stéphanie Robert, Wendy Peer, Ranjan Swarup, Songqing Ye, Lei Ge, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.”https://doi.org/10.1104/pp.113.217018__Plant Physiology. American Society of Plant Biologists, 2013.https://doi.org/10.1104/pp.113.217018 .

Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.”https://doi.org/10.1007/s00165-013-0283-6__Formal Aspects of Computing. Springer, 2013.https://doi.org/10.1007/s00165-013-0283-6 .

Van Cauter, Tiffany, Jeremy Camon, Alice Alvernhe, Coralie Elduayen, Francesca Sargolini, and Étienne Save. “Distinct Roles of Medial and Lateral Entorhinal Cortex in Spatial Cognition.”https://doi.org/10.1093/cercor/bhs033__Cerebral Cortex. Oxford University Press, 2013.https://doi.org/10.1093/cercor/bhs033 .

Morita, Hitoshi, and Carl-Philipp J Heisenberg. “Holding on and Letting Go: Cadherin Turnover in Cell Intercalation.”https://doi.org/10.1016/j.devcel.2013.03.007__Developmental Cell. Cell Press, 2013.https://doi.org/10.1016/j.devcel.2013.03.007 .

El Masri, Leila, Rebecca Schulte, Nadine Timmermeyer, Stefanie Thanisch, Lena Crummenerl, Gunther Jansen, Nico Michiels, and Hinrich Schulenburg. “Sex Differences in Host Defence Interfere with Parasite-Mediated Selection for Outcrossing during Host-Parasite Coevolution.”https://doi.org/10.1111/ele.12068__Ecology Letters. Wiley-Blackwell, 2013.https://doi.org/10.1111/ele.12068 .

Rosquete, Michel, Daniel von Wangenheim, Peter Marhavý, Elke Barbez, Ernst Stelzer, Eva Benková, Alexis Maizel, and Jürgen Kleine Vehn. “An Auxin Transport Mechanism Restricts Positive Orthogravitropism in Lateral Roots.”https://doi.org/10.1016/j.cub.2013.03.064__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.03.064 .

Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.”https://doi.org/10.1007/978-3-642-37067-0__In 17th IAPR International Conference on Discrete Geometry for Computer Imagery, 7749:XV–XIX. Springer, 2013.https://doi.org/10.1007/978-3-642-37067-0 .

Rose, Tobias, Philipp Schönenberger, Karel Jezek, and Thomas Oertner. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.”https://doi.org/10.1016/j.neuron.2013.01.021__Neuron. Elsevier, 2013.https://doi.org/10.1016/j.neuron.2013.01.021 .