Bendich, Paul, Herbert Edelsbrunner, Dmitriy Morozov, and Amit Patel. “Homology and Robustness of Level and Interlevel Sets.”https://doi.org/10.4310/HHA.2013.v15.n1.a3__Homology, Homotopy and Applications. International Press, 2013.https://doi.org/10.4310/HHA.2013.v15.n1.a3 .
LibreCat: https://research-explorer.ista.ac.at/record/2859
DOI: 10.4310/HHA.2013.v15.n1.a3
arXiv: 1102.3389

Granot Atedgi, Einat, Gasper Tkadik, Ronen Segev, and Elad Schneidman. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.”https://doi.org/10.1371/journal.pcbi.1002922__PLoS Computational Biology. Public Library of Science, 2013.https://doi.org/10.1371/journal.pcbi.1002922 .
LibreCat: https://research-explorer.ista.ac.at/record/2863
DOI: 10.1371/journal.pcbi.1002922

Tay, Hwee, Sabrina Schulze, Julien Compagnon, Fiona Foley, Carl-Philipp J Heisenberg, H Joseph Yost, Salim Abdelilah Seyfried, and Jeffrey Amack. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.”https://doi.org/10.1242/dev.087130__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.087130 .
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

Botella Soler, Vicente, José Oteo, Javier Ros, and Paul Glendinning. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.”https://doi.org/10.1088/1751-8113/46/12/125101__Journal of Physics A: Mathematical and Theoretical. IOP Publishing Ltd., 2013.https://doi.org/10.1088/1751-8113/46/12/125101 .
LibreCat: https://research-explorer.ista.ac.at/record/2861
DOI: 10.1088/1751-8113/46/12/125101

Wang, Bangjun, Aurélien Bailly, Marta Zwiewk, Sina Henrichs, Elisa Azzarello, Stefano Mancuso, Masayoshi Maeshima, Jií Friml, Alexander Schulz, and Markus Geisler. “Arabidopsis TWISTED DWAR Functionally Interacts with Auxin Exporter ABC on the Root Plasma Membrane.”https://doi.org/10.1105/tpc.112.105999__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.112.105999 .
LibreCat: https://research-explorer.ista.ac.at/record/2883
DOI: 10.1105/tpc.112.105999
PMID: 23321285

Marhavý, Peter, Marleen Vanstraelen, Bert De Rybel, Ding Zhaojun, Malcolm Bennett, Tom Beeckman, and Eva Benková. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.”https://doi.org/10.1038/emboj.2012.303__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2012.303 .
LibreCat: https://research-explorer.ista.ac.at/record/2880
DOI: 10.1038/emboj.2012.303
PMID: 23178590

Löfke, Christian, Marta Zwiewka, Ingo Heilmann, Marc Van Montagu, Thomas Teichmann, and Jií Friml. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.”https://doi.org/10.1073/pnas.1300107110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1300107110 .
LibreCat: https://research-explorer.ista.ac.at/record/2882
DOI: 10.1073/pnas.1300107110
PMID: 23391733

Kucera, Antonin, Thomas A Henzinger, Jaroslav Nesetril, Tomas Vojnar, and David Antos, eds. Mathematical and Engineering Methods in Computer Science. Vol. 7721. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-36046-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2885
DOI: 10.1007/978-3-642-36046-6

Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Cell Adhesion Mechanics of Zebrafish Gastrulation.”https://doi.org/10.1051/medsci/2013292011__Medecine Sciences. Éditions Médicales et Scientifiques, 2013.https://doi.org/10.1051/medsci/2013292011 .
LibreCat: https://research-explorer.ista.ac.at/record/2884
DOI: 10.1051/medsci/2013292011

Chmelik, Martin, and Vojtbch ehák. “Controllable-Choice Message Sequence Graphs.”https://doi.org/10.1007/978-3-642-36046-6_12__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-36046-6_12 .
LibreCat: https://research-explorer.ista.ac.at/record/2886
DOI: 10.1007/978-3-642-36046-6_12

Fang, Suqin, Randy Clark, Ying Zheng, Anjali Iyer Pascuzzi, Joshua Weitz, Leon Kochian, Herbert Edelsbrunner, Hong Liao, and Philip Benfey. “Genotypic Recognition and Spatial Responses by Rice Roots.”https://doi.org/10.1073/pnas.1222821110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1222821110 .
LibreCat: https://research-explorer.ista.ac.at/record/2887
DOI: 10.1073/pnas.1222821110
PMID: 23362379

Chen, Chao, Vladimir Kolmogorov, Zhu Yan, Dimitris Metaxas, and Christoph Lampert. “Computing the M Most Probable Modes of a Graphical Model,” 31:161–69. JMLR, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2901

Kerber, Michael, and Herbert Edelsbrunner. “D Kinetic Alpha Complexes and Their Implementation.”https://doi.org/10.1137/1.9781611972931.6__In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, 70–77. Society of Industrial and Applied Mathematics, 2013.https://doi.org/10.1137/1.9781611972931.6 .
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

Kelleher, Jerome, Nicholas H Barton, and Alison Etheridge. “Coalescent Simulation in Continuous Space.”https://doi.org/10.1093/bioinformatics/btt067__Bioinformatics. Oxford University Press, 2013.https://doi.org/10.1093/bioinformatics/btt067 .
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “Modelling Evolution in a Spatial Continuum.”https://doi.org/10.1088/1742-5468/2013/01/P01002__Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd., 2013.https://doi.org/10.1088/1742-5468/2013/01/P01002 .
LibreCat: https://research-explorer.ista.ac.at/record/2909
DOI: 10.1088/1742-5468/2013/01/P01002

Barton, Nicholas H. “Does Hybridisation Influence Speciation?  .”https://doi.org/10.1111/jeb.12015__Journal of Evolutionary Biology. Wiley-Blackwell, 2013.https://doi.org/10.1111/jeb.12015 .
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

Barton, Nicholas H. “Recombination and Sex.” In The Princeton Guide to Evolution, 328–33. Princeton University Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2907

Tkadik, Gasper, Einat Granot Atedgi, Ronen Segev, and Elad Schneidman. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.”https://doi.org/10.1103/PhysRevLett.110.058104__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.058104 .
LibreCat: https://research-explorer.ista.ac.at/record/2913
DOI: 10.1103/PhysRevLett.110.058104

Castanon, Irinka, Laurence Abrami, Laurent Holtzer, Carl-Philipp J Heisenberg, Françoise Van Der Goot, and Marcos González Gaitán. “Anthrax Toxin Receptor 2a Controls Mitotic Spindle Positioning.”https://doi.org/10.1038/ncb2632__Nature Cell Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/ncb2632 .
LibreCat: https://research-explorer.ista.ac.at/record/2918
DOI: 10.1038/ncb2632

Baster, Pawel, Stéphanie Robert, Jürgen Kleine Vehn, Steffen Vanneste, Urszula Kania, Wim Grunewald, Bert De Rybel, Tom Beeckman, and Jií Friml. “SCF^TI AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.”https://doi.org/10.1038/emboj.2012.310__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2012.310 .
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

Compagnon, Julien, and Carl-Philipp J Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.”https://doi.org/10.1038/emboj.2012.325__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2012.325 .
LibreCat: https://research-explorer.ista.ac.at/record/2920
DOI: 10.1038/emboj.2012.325
PMID: 23211745

Krenn, Stephan, Krzysztof Z Pietrzak, and Akshay Wadia. “A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It.”https://doi.org/10.1007/978-3-642-36594-2_2__edited by Amit Sahai, 7785:23–39. Springer, 2013.https://doi.org/10.1007/978-3-642-36594-2_2 .
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

Tommasi, Tatiana, Novi Quadrianto, Barbara Caputo, and Christoph Lampert. “Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer.”https://doi.org/10.1007/978-3-642-37331-2_1__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-37331-2_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2948
DOI: 10.1007/978-3-642-37331-2_1

Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.”https://doi.org/10.1007/s10703-012-0170-4__Formal Methods in System Design. Springer, 2013.https://doi.org/10.1007/s10703-012-0170-4 .
LibreCat: https://research-explorer.ista.ac.at/record/3116
DOI: 10.1007/s10703-012-0170-4

Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.”https://doi.org/10.1007/s00454-013-9517-x__Discrete &; Computational Geometry. Springer, 2013.https://doi.org/10.1007/s00454-013-9517-x .
LibreCat: https://research-explorer.ista.ac.at/record/2815
DOI: 10.1007/s00454-013-9517-x

Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.”https://doi.org/10.1016/j.comgeo.2012.02.010__Computational Geometry: Theory and Applications. Elsevier, 2013.https://doi.org/10.1016/j.comgeo.2012.02.010 .
LibreCat: https://research-explorer.ista.ac.at/record/2939
DOI: 10.1016/j.comgeo.2012.02.010

Dubuis, Julien, Gasper Tkadik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.”https://doi.org/10.1073/pnas.1315642110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1315642110 .
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.”https://doi.org/10.1007/978-1-4419-9863-7_604__In Encyclopedia of Systems Biology, edited by Werner Dubitzky, Olaf Wolkenhauer, Kwang Cho, and Hiroki Yokota, 3:1069–1069. Springer, 2013.https://doi.org/10.1007/978-1-4419-9863-7_604 .
LibreCat: https://research-explorer.ista.ac.at/record/3321
DOI: 10.1007/978-1-4419-9863-7_604

Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.”https://doi.org/10.1007/s10703-012-0180-2__Formal Methods in System Design. Springer, 2013.https://doi.org/10.1007/s10703-012-0180-2 .
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.”https://doi.org/10.1098/rspb.2012.2058__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2013.https://doi.org/10.1098/rspb.2012.2058 .
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”https://doi.org/10.3389/fnbeh.2013.00217__Frontiers in Behavioral Neuroscience. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fnbeh.2013.00217 .
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.”https://doi.org/10.1126/science.1229858__Science. American Association for the Advancement of Science, 2013.https://doi.org/10.1126/science.1229858 .
LibreCat: https://research-explorer.ista.ac.at/record/499
DOI: 10.1126/science.1229858

Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.”https://doi.org/10.1186/1471-2148-13-222__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-222 .
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A New Species of Tapir from the Amazon.”https://doi.org/10.1644/12-MAMM-A-169.1__Journal of Mammalogy. Oxford University Press, 2013.https://doi.org/10.1644/12-MAMM-A-169.1 .
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel, Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.”https://doi.org/10.1039/c2gc36666e__Green Chemistry. Royal Society of Chemistry, 2013.https://doi.org/10.1039/c2gc36666e .
LibreCat: https://research-explorer.ista.ac.at/record/505
DOI: 10.1039/c2gc36666e

Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.”https://doi.org/10.3233/JCS-130477__Journal of Computer Security. IOS Press, 2013.https://doi.org/10.3233/JCS-130477 .
LibreCat: https://research-explorer.ista.ac.at/record/502
DOI: 10.3233/JCS-130477

Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NC, and NC: Functional Implications.”https://doi.org/10.1093/molbev/mst119__Molecular Biology and Evolution. Oxford University Press, 2013.https://doi.org/10.1093/molbev/mst119 .
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

Di Rubbo, Simone, Niloufer Irani, Soo Kim, Zheng Xu, Astrid Gadeyne, Wim Dejonghe, Isabelle Vanhoutte, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIV in Arabidopsis.”https://doi.org/10.1105/tpc.113.114058__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114058 .
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jií Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.”https://doi.org/10.1105/tpc.113.114264__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114264 .
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

Pbndík, Ales, Biljana Simonovik, Sara Petersson, Eva Henyková, Sibu Simon, Kathleen Greenham, Yi Zhang, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.”https://doi.org/10.1105/tpc.113.114421__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114421 .
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

Bargmann, Bastiaan, Steffen Vanneste, Gabriel Krouk, Tal Nawy, Idan Efroni, Eilon Shani, Goh Choe, et al. “A Map of Cell Typespecific Auxin Responses.”https://doi.org/10.1038/msb.2013.40__Molecular Systems Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/msb.2013.40 .
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.”https://doi.org/10.1016/j.imlet.2013.07.007__Immunology Letters. Elsevier, 2013.https://doi.org/10.1016/j.imlet.2013.07.007 .
LibreCat: https://research-explorer.ista.ac.at/record/522
DOI: 10.1016/j.imlet.2013.07.007

Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.”https://doi.org/10.1007/978-3-319-02444-8_10__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-02444-8_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 10.1007/978-3-319-02444-8_10

Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jií Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.”https://doi.org/10.1016/j.cub.2013.09.039__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.09.039 .
LibreCat: https://research-explorer.ista.ac.at/record/528
DOI: 10.1016/j.cub.2013.09.039

Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jií Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.”https://doi.org/10.1016/j.cub.2013.10.038__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.10.038 .
LibreCat: https://research-explorer.ista.ac.at/record/527
DOI: 10.1016/j.cub.2013.10.038

Reiter, Johannes, Ivana Bozic, Krishnendu Chatterjee, and Martin Nowak. TTP: Tool for Tumor Progression. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-104-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 10.15479/AT:IST-2013-104-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.”https://doi.org/10.4230/LIPIcs.CSL.2013.165__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.165 .
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-126-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 10.15479/AT:IST-2013-126-v1-1

Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-123-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 10.15479/AT:IST-2013-123-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-109-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 10.15479/AT:IST-2013-109-v1-1

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-127-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5401

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-128-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-144-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.”https://doi.org/10.1109/FMCAD.2013.6679386__In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679386 .
LibreCat: https://research-explorer.ista.ac.at/record/1376
DOI: 10.1109/FMCAD.2013.6679386

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-130-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-141-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-146-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.”https://doi.org/10.1007/978-3-642-40184-8_20__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40184-8_20 .
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-124-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.”https://doi.org/10.1007/978-3-642-40184-8_35__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40184-8_35 .
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.”https://doi.org/10.3389/fpls.2013.00451__Frontiers in Plant Science. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fpls.2013.00451 .
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

Cuesta, Candela, Krzysztof T Wabnik, and Eva Benková. “Systems Approaches to Study Root Architecture Dynamics.”https://doi.org/10.3389/fpls.2013.00537__Frontiers in Plant Science. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fpls.2013.00537 .
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”https://doi.org/10.1371/journal.pone.0080814.s001__Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0080814.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9749
DOI: 10.1371/journal.pone.0080814.s001

Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .”https://doi.org/10.1111/mec.12165__Molecular Ecology. Wiley-Blackwell, 2013.https://doi.org/10.1111/mec.12165 .
LibreCat: https://research-explorer.ista.ac.at/record/2944
DOI: 10.1111/mec.12165

Zemach, Assaf, M. Yvonne Kim, Ping-Hung Hsieh, Devin Coleman-Derr, Leor Eshed-Williams, Ka Thao, Stacey L. Harmer, and Daniel Zilberman. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access -Containing Heterochromatin.”https://doi.org/10.1016/j.cell.2013.02.033__Cell. Elsevier, 2013.https://doi.org/10.1016/j.cell.2013.02.033 .
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

Rodrigues, Jessica A., Randy Ruan, Toshiro Nishimura, Manoj K. Sharma, Rita Sharma, Pamela C Ronald, Robert L. Fischer, and Daniel Zilberman. “Imprinted Expression of Genes and Small RNA Is Associated with Localized Hypomethylation of the Maternal Genome in Rice Endosperm.”https://doi.org/10.1073/pnas.1306164110__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1306164110 .
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.”https://doi.org/10.1186/1471-2148-13-225__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-225 .
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

Simmons, Kristina, Jason Prentice, Gasper Tkadik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Transformation of Stimulus Correlations by the Retina.”https://doi.org/10.1371/journal.pcbi.1003344__PLoS Computational Biology. Public Library of Science, 2013.https://doi.org/10.1371/journal.pcbi.1003344 .
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

Hearn, Jack, Graham Stone, Nicholas H Barton, Konrad Lohse, and Lynsey Bunnefeld. “Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies.”https://doi.org/10.5061/dryad.r3r60__Dryad, 2013.https://doi.org/10.5061/dryad.r3r60 .
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

Feng, Xiaoqi, Daniel Zilberman, and Hugh Dickinson. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.”https://doi.org/10.1016/j.devcel.2013.01.014__Developmental Cell. Elsevier, 2013.https://doi.org/10.1016/j.devcel.2013.01.014 .
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

Stephens, Greg, Thierry Mora, Gasper Tkadik, and William Bialek. “Statistical Thermodynamics of Natural Images.”https://doi.org/10.1103/PhysRevLett.110.018701__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.018701 .
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

Weber, Michele, and Michael K Sixt. “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations.”https://doi.org/10.1007/978-1-62703-426-5_14__In Chemokines, edited by Astrid Cardona and Eroboghene Ubogu, 1013:215–26. MIMB. Totowa, NJ: Humana Press, 2013.https://doi.org/10.1007/978-1-62703-426-5_14 .
LibreCat: https://research-explorer.ista.ac.at/record/10900
DOI: 10.1007/978-1-62703-426-5_14
PMID: 23625502

Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”https://doi.org/10.1007/978-3-642-39799-8_11__In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39799-8_11 .
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

Chatterjee, Krishnendu, Siddhesh Chaubal, and Sasha Rubin. “How to Travel between Languages.”https://doi.org/10.1007/978-3-642-37064-9_20__In 7th International Conference on Language and Automata Theory and Applications, 7810:214–25. LNCS. Berlin, Heidelberg: Springer Nature, 2013.https://doi.org/10.1007/978-3-642-37064-9_20 .
LibreCat: https://research-explorer.ista.ac.at/record/10902
DOI: 10.1007/978-3-642-37064-9_20

Edelsbrunner, Herbert. “Persistent Homology in Image Processing.”https://doi.org/10.1007/978-3-642-38221-5_19__In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013.https://doi.org/10.1007/978-3-642-38221-5_19 .
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.”https://doi.org/10.15479/at:ista:1405__Institute of Science and Technology Austria, 2013.https://doi.org/10.15479/at:ista:1405 .
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.”https://doi.org/10.1007/978-3-642-36742-7_5__Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-36742-7_5 .
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”https://doi.org/10.1371/journal.pone.0080814__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0080814 .
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter, Johannes, Ivana Boei, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.”https://doi.org/10.1111/eva.12020__Evolutionary Applications. Wiley-Blackwell, 2013.https://doi.org/10.1111/eva.12020 .
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”https://doi.org/10.7554/eLife.00747__ELife. eLife Sciences Publications, 2013.https://doi.org/10.7554/eLife.00747 .
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter, Johannes, Ivana Boei, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.”https://doi.org/10.1007/978-3-642-39799-8_6__In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_6 .
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,”https://doi.org/10.1007/978-3-642-39799-8_68__8044:951–67. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_68 .
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.”https://doi.org/10.1016/j.cub.2012.11.034__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2012.11.034 .
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1109/LICS.2013.39__In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013.https://doi.org/10.1109/LICS.2013.39 .
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.”https://doi.org/10.1145/2461328.2461356__In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013.https://doi.org/10.1145/2461328.2461356 .
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. ML Research Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2272

Remy, Estelle, Pawel Baster, Jií Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”https://doi.org/10.4161/psb.25688__Plant Signaling &; Behavior. Taylor &; Francis, 2013.https://doi.org/10.4161/psb.25688 .
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2013.https://doi.org/10.1098/rspb.2012.3035 .
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”https://doi.org/10.5061/dryad.b1q2n__Dryad, 2013.https://doi.org/10.5061/dryad.b1q2n .
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.”https://doi.org/10.1007/978-1-4614-3903-5_6__In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012.https://doi.org/10.1007/978-1-4614-3903-5_6 .
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.”https://doi.org/10.1145/2393596.2393664__In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012.https://doi.org/10.1145/2393596.2393664 .
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.”https://doi.org/10.1007/978-3-642-33027-8_13__In https://doi.org/10.1007/978-3-642-33027-8_13__Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012.https://doi.org/10.1007/978-3-642-33027-8_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13

Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.”https://doi.org/10.1007/978-3-642-34047-5_20__In https://doi.org/10.1007/978-3-642-34047-5_20__Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012.https://doi.org/10.1007/978-3-642-34047-5_20 .
LibreCat: https://research-explorer.ista.ac.at/record/2049
DOI: 10.1007/978-3-642-34047-5_20

Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.”https://doi.org/10.1242/bio.20122287__Biology Open. The Company of Biologists, 2012.https://doi.org/10.1242/bio.20122287 .
LibreCat: https://research-explorer.ista.ac.at/record/2263
DOI: 10.1242/bio.20122287

Henzinger, Thomas A, and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.”https://doi.org/10.1109/TCBB.2012.91__IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE, 2012.https://doi.org/10.1109/TCBB.2012.91 .
LibreCat: https://research-explorer.ista.ac.at/record/2302
DOI: 10.1109/TCBB.2012.91
PMID: 22778152

Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.”https://doi.org/10.4171/JST/31__Journal of Spectral Theory. European Mathematical Society, 2012.https://doi.org/10.4171/JST/31 .
LibreCat: https://research-explorer.ista.ac.at/record/2318
DOI: 10.4171/JST/31