Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from: Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.5061/dryad.s42n1__Dryad, 2014.https://doi.org/10.5061/dryad.s42n1 .
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.”https://doi.org/10.1371/journal.pone.0103989__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989 .
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “Supporting Information.”https://doi.org/10.1371/journal.pone.0103989.s003__Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0103989.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9888
DOI: 10.1371/journal.pone.0103989.s003

Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen Byrne, András Dinnyés, and Krisztián Kovács. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.”https://doi.org/10.1371/journal.pone.0111430__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0111430 .
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen M. Byrne, András Dinnyés, and Krisztián Kovács. “Transition Probability between TF Expression States When Db Inhibits Nk.2.”https://doi.org/10.1371/journal.pone.0111430.s006__Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0111430.s006 .
LibreCat: https://research-explorer.ista.ac.at/record/9722
DOI: 10.1371/journal.pone.0111430.s006

Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Nowak. “The Time Scale of Evolutionary Innovation.”https://doi.org/10.1371/journal.pcbi.1003818__PLoS Computational Biology. Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003818 .
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

Westhus, Claudia, Line V Ugelvig, Edouard Tourdot, Jürgen Heinze, Claudie Doums, and Sylvia Cremer. “Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.”https://doi.org/10.1007/s00265-014-1778-8__Behavioral Ecology and Sociobiology. Springer, 2014.https://doi.org/10.1007/s00265-014-1778-8 .
LibreCat: https://research-explorer.ista.ac.at/record/2161
DOI: 10.1007/s00265-014-1778-8

Lagator, Mato, Nick Colegrave, and Paul Neve. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”https://doi.org/10.1098/rspb.2014.1679__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2014.https://doi.org/10.1098/rspb.2014.1679 .
LibreCat: https://research-explorer.ista.ac.at/record/2036
DOI: 10.1098/rspb.2014.1679

Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”https://doi.org/10.5061/dryad.vm0vc__Dryad, 2014.https://doi.org/10.5061/dryad.vm0vc .
LibreCat: https://research-explorer.ista.ac.at/record/9740
DOI: 10.5061/dryad.vm0vc

Lagator, Mato, Nick Colegrave, and Paul Neve. “Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”https://doi.org/10.5061/dryad.85dn7__Dryad, 2014.https://doi.org/10.5061/dryad.85dn7 .
LibreCat: https://research-explorer.ista.ac.at/record/9741
DOI: 10.5061/dryad.85dn7

Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Novak. “Detailed Proofs for ‘The Time Scale of Evolutionary Innovation.’”https://doi.org/10.1371/journal.pcbi.1003818.s001__Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003818.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9739
DOI: 10.1371/journal.pcbi.1003818.s001

Hearn, Jack, Graham Stone, Lynsey Bunnefeld, James Nicholls, Nicholas H Barton, and Konrad Lohse. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.”https://doi.org/10.1111/mec.12578__Molecular Ecology. Wiley-Blackwell, 2014.https://doi.org/10.1111/mec.12578 .
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.”https://doi.org/10.5061/dryad.nc0gc__Dryad, 2014.https://doi.org/10.5061/dryad.nc0gc .
LibreCat: https://research-explorer.ista.ac.at/record/9753
DOI: 10.5061/dryad.nc0gc

Simmons, Kristina, Jason Prentice, Gasper Tkadik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Data from: Transformation of Stimulus Correlations by the Retina.”https://doi.org/10.5061/dryad.246qg__Dryad, 2014.https://doi.org/10.5061/dryad.246qg .
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.”https://doi.org/10.1111/evo.12373__Evolution. Wiley, 2014.https://doi.org/10.1111/evo.12373 .
LibreCat: https://research-explorer.ista.ac.at/record/9931
DOI: 10.1111/evo.12373
PMID: 24495000

Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.”https://doi.org/10.5061/dryad.jc402__Dryad, 2014.https://doi.org/10.5061/dryad.jc402 .
LibreCat: https://research-explorer.ista.ac.at/record/9932
DOI: 10.5061/dryad.jc402

Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”https://doi.org/10.1007/s00453-013-9843-7__Algorithmica. Springer, 2014.https://doi.org/10.1007/s00453-013-9843-7 .
LibreCat: https://research-explorer.ista.ac.at/record/535
DOI: 10.1007/s00453-013-9843-7
arXiv: 1604.08234

Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.”https://doi.org/10.1007/978-3-319-04099-8_16__In Topological Methods in Data Analysis and Visualization III , 249–62. Springer, 2014.https://doi.org/10.1007/978-3-319-04099-8_16 .
LibreCat: https://research-explorer.ista.ac.at/record/10886
DOI: 10.1007/978-3-319-04099-8_16

Smutny, Michael, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.”https://doi.org/10.1007/978-1-4939-1164-6_15__In Tissue Morphogenesis, edited by Celeste Nelson, 1189:219–35. Methods in Molecular Biology. New York, NY: Springer, 2014.https://doi.org/10.1007/978-1-4939-1164-6_15 .
LibreCat: https://research-explorer.ista.ac.at/record/6178
DOI: 10.1007/978-1-4939-1164-6_15
PMID: 25245697

Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.”https://doi.org/10.1365/s13291-014-0083-9__Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature, 2014.https://doi.org/10.1365/s13291-014-0083-9 .
LibreCat: https://research-explorer.ista.ac.at/record/10814
DOI: 10.1365/s13291-014-0083-9

Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf. “Notes on the Simplification of the Morse-Smale Complex.”https://doi.org/10.1007/978-3-319-04099-8_9__In Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-319-04099-8_9 .
LibreCat: https://research-explorer.ista.ac.at/record/10817
DOI: 10.1007/978-3-319-04099-8_9

Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” Institute of Science and Technology Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1395

Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1402

Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.”https://doi.org/10.1007/s10851-013-0468-x__Journal of Mathematical Imaging and Vision. Springer, 2014.https://doi.org/10.1007/s10851-013-0468-x .
LibreCat: https://research-explorer.ista.ac.at/record/2255
DOI: 10.1007/s10851-013-0468-x

Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.”https://doi.org/10.1145/2582112.2582134__In Proceedings of the Annual Symposium on Computational Geometry, 171–80. ACM, 2014.https://doi.org/10.1145/2582112.2582134 .
LibreCat: https://research-explorer.ista.ac.at/record/2159
DOI: 10.1145/2582112.2582134

Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.”https://doi.org/10.1002/ece3.1289__Ecology and Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/ece3.1289 .
LibreCat: https://research-explorer.ista.ac.at/record/2023
DOI: 10.1002/ece3.1289

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,”https://doi.org/10.1007/978-3-319-08867-9_38__8559:568–84. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_38 .
LibreCat: https://research-explorer.ista.ac.at/record/2218
DOI: 10.1007/978-3-319-08867-9_38

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.”https://doi.org/10.1109/ICST.2014.50__In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 2014.https://doi.org/10.1109/ICST.2014.50 .
LibreCat: https://research-explorer.ista.ac.at/record/2167
DOI: 10.1109/ICST.2014.50
arXiv: 1904.07083

Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Qualitative Analysis of Probabilistic Systems,”https://doi.org/10.1007/978-3-319-08867-9_31__8559:473–90. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_31 .
LibreCat: https://research-explorer.ista.ac.at/record/2063
DOI: 10.1007/978-3-319-08867-9_31

Mitosch, Karin, and Mark Tobias Bollenbach. “Bacterial Responses to Antibiotics and Their Combinations.”https://doi.org/10.1111/1758-2229.12190__Environmental Microbiology Reports. Wiley, 2014.https://doi.org/10.1111/1758-2229.12190 .
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact PRF-Security of NMAC and HMAC.”https://doi.org/10.1007/978-3-662-44371-2_7__edited by Juan Garay and Rosario Gennaro, 8616:113–30. Springer, 2014.https://doi.org/10.1007/978-3-662-44371-2_7 .
LibreCat: https://research-explorer.ista.ac.at/record/2082
DOI: 10.1007/978-3-662-44371-2_7

Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier, Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.”https://doi.org/10.1016/j.devcel.2014.11.003__Developmental Cell. Cell Press, 2014.https://doi.org/10.1016/j.devcel.2014.11.003 .
LibreCat: https://research-explorer.ista.ac.at/record/1912
DOI: 10.1016/j.devcel.2014.11.003
PMID: 25535919

Grusch, Michael, Karin Schelch, Robert Riedler, Eva Gschaider-Reichhart, Christopher Differ, Walter Berger, Álvaro Inglés Prieto, and Harald L Janovjak. “Spatio-Temporally Precise Activation of Engineered Receptor Tyrosine Kinases by Light.”https://doi.org/10.15252/embj.201387695__EMBO Journal. Wiley-Blackwell, 2014.https://doi.org/10.15252/embj.201387695 .
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Embeddability in the 3 Sphere Is Decidable.”https://doi.org/10.1145/2582112.2582137__In Proceedings of the Annual Symposium on Computational Geometry, 78–84. ACM, 2014.https://doi.org/10.1145/2582112.2582137 .
LibreCat: https://research-explorer.ista.ac.at/record/2157
DOI: 10.1145/2582112.2582137

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “PHAT – Persistent Homology Algorithms Toolbox.”https://doi.org/10.1007/978-3-662-44199-2_24__In ICMS 2014: International Congress on Mathematical Software, 8592:137–43. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014.https://doi.org/10.1007/978-3-662-44199-2_24 .
LibreCat: https://research-explorer.ista.ac.at/record/10894
DOI: 10.1007/978-3-662-44199-2_24

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-315-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5428
DOI: 10.15479/AT:IST-2014-315-v1-1

Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie. Deutsche Zoologische Gesellschaft, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1887

Postiglione, Maria P, and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.”https://doi.org/10.2217/fnl.14.18__Future Neurology. Future Science Group, 2014.https://doi.org/10.2217/fnl.14.18 .
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

Milenkovi, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.”https://doi.org/10.1159/000365548__Dementia and Geriatric Cognitive Disorders. Karger Publishers, 2014.https://doi.org/10.1159/000365548 .
LibreCat: https://research-explorer.ista.ac.at/record/1913
DOI: 10.1159/000365548
PMID: 25195847

Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” In Proceedings of the International Congress of Mathematicians, 3:214–36. International Congress of Mathematicians, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1507

Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” In Proceeding of the International Congress of Mathematicans, 3:1175–94. International Congress of Mathematicians, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/8044

Pentina, Anastasia, and Christoph Lampert. “A PAC-Bayesian Bound for Lifelong Learning,” 32:991–99. ML Research Press, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/2160

Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1403

Cremer, Sylvia. “Soziale Immunität: Wie Sich Der Staat Gegen Pathogene Wehrt  Bayerische Akademie Der Wissenschaften.” In Soziale Insekten in Einer Sich Wandelnden Welt, 43:65–72. Verlag Dr. Friedrich Pfeil, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1888

Iglesias Ham, Mabel, Michael Kerber, and Caroline Uhler. “Sphere Packing with Limited Overlap.”https://doi.org/10.48550/arXiv.1401.0468__ArXiv, n.d.https://doi.org/10.48550/arXiv.1401.0468 .
LibreCat: https://research-explorer.ista.ac.at/record/2012
DOI: 10.48550/arXiv.1401.0468
arXiv: 1401.0468

Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.”https://doi.org/10.1007/s11005-013-0667-9__Letters in Mathematical Physics. Springer, 2014.https://doi.org/10.1007/s11005-013-0667-9 .
LibreCat: https://research-explorer.ista.ac.at/record/2281
DOI: 10.1007/s11005-013-0667-9
arXiv: 1301.5682

Tkadik, Gasper, Olivier Marre, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Searching for Collective Behavior in a Large Network of Sensory Neurons.”https://doi.org/10.1371/journal.pcbi.1003408__PLoS Computational Biology. Public Library of Science, 2014.https://doi.org/10.1371/journal.pcbi.1003408 .
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Stroeymeyt, Nathalie, Barbara E Casillas Perez, and Sylvia Cremer. “Organisational Immunity in Social Insects.”https://doi.org/10.1016/j.cois.2014.09.001__Current Opinion in Insect Science. Elsevier, 2014.https://doi.org/10.1016/j.cois.2014.09.001 .
LibreCat: https://research-explorer.ista.ac.at/record/1999
DOI: 10.1016/j.cois.2014.09.001

Schlögl, Alois, Peter M Jonas, C. Schmidt-Hieber, and S. J. Guzman. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.”https://doi.org/10.1515/bmt-2013-4181__Biomedical Engineering / Biomedizinische Technik. De Gruyter, 2013.https://doi.org/10.1515/bmt-2013-4181 .
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

Vanneste, Steffen, and Jií Friml. “Calcium: The Missing Link in Auxin Action.”https://doi.org/10.3390/plants2040650__Plants. MDPI, 2013.https://doi.org/10.3390/plants2040650 .
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Haas, Andreas, Michael Lippautz, Thomas A Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, and Ali Sezgin. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.”https://doi.org/10.1145/2482767.2482789__In Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM Press, 2013.https://doi.org/10.1145/2482767.2482789 .
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

Barton, Nicholas H. “Differentiation.”https://doi.org/10.1016/b978-0-12-384719-5.00031-9__In Encyclopedia of Biodiversity, 2nd ed., 508–15. Elsevier, 2013.https://doi.org/10.1016/b978-0-12-384719-5.00031-9 .
LibreCat: https://research-explorer.ista.ac.at/record/10899
DOI: 10.1016/b978-0-12-384719-5.00031-9

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.”https://doi.org/10.4230/LIPIcs.CSL.2013.181__In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.181 .
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11

Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.”https://doi.org/10.1214/12-AOS1080__The Annals of Statistics. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/12-AOS1080 .
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.”https://doi.org/10.29012/jpc.v5i1.629__Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013.https://doi.org/10.29012/jpc.v5i1.629 .
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.”https://doi.org/10.1145/2429069.2429109__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013.https://doi.org/10.1145/2429069.2429109 .
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.”https://doi.org/10.1145/2429069.2429085__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013.https://doi.org/10.1145/2429069.2429085 .
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,”https://doi.org/10.1109/ISVD.2013.11__37–46. IEEE, 2013.https://doi.org/10.1109/ISVD.2013.11 .
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2210

Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

Chatterjee, Krishnendu, Vojtbch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.”https://doi.org/10.1007/978-3-642-45221-5_17__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_17 .
LibreCat: https://research-explorer.ista.ac.at/record/2238
DOI: 10.1007/978-3-642-45221-5_17

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/978-3-319-03841-4_41__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-03841-4_41 .
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.”https://doi.org/10.1007/978-3-642-40041-4_4__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_4 .
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.”https://doi.org/10.1007/978-3-642-40041-4_31__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_31 .
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2256

Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.”https://doi.org/10.1007/978-3-642-38980-1_33__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-38980-1_33 .
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.”https://doi.org/10.1242/dev.085621__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.085621 .
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2273

Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejdí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”https://doi.org/10.1242/jcs.125617__Journal of Cell Science. Company of Biologists, 2013.https://doi.org/10.1242/jcs.125617 .
LibreCat: https://research-explorer.ista.ac.at/record/2278
DOI: 10.1242/jcs.125617

Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,”https://doi.org/10.1109/ICCV.2013.288__2320–27. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.288 .
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.”https://doi.org/10.1137/120872309__SIAM Review. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120872309 .
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.”https://doi.org/10.1002/ece3.465__Ecology and Evolution. Wiley-Blackwell, 2013.https://doi.org/10.1002/ece3.465 .
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.”https://doi.org/10.1038/ncb2869__Nature Cell Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/ncb2869 .
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .”https://doi.org/10.1007/s00114-013-1115-5__Naturwissenschaften. Springer, 2013.https://doi.org/10.1007/s00114-013-1115-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2283
DOI: 10.1007/s00114-013-1115-5

Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.”https://doi.org/10.1038/emboj.2013.225__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2013.225 .
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013.https://doi.org/10.1515/9783110278736 .
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

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