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 .

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 .

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 .

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.

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 .

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 .