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 .
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2516
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/2520

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2718
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2720
DOI: 10.1534/genetics.113.153536
PMID: 23934880