Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.”10.1145/2562059.2562130__Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi:10.1145/2562059.2562130.
LibreCat: https://research-explorer.ista.ac.at/record/2217
DOI: 10.1145/2562059.2562130

Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5417
DOI: 10.15479/AT:IST-2014-172-v1-1

Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5416
DOI: 10.15479/AT:IST-2014-171-v1-1

Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5418
DOI: 10.15479/AT:IST-2014-176-v1-1

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5420
DOI: 10.15479/AT:IST-2014-191-v1-1

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5424
DOI: 10.15479/AT:IST-2014-305-v1-1

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
LibreCat: https://research-explorer.ista.ac.at/record/5426
DOI: 10.15479/AT:IST-2014-305-v2-1

Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5423
DOI: 10.15479/AT:IST-2014-300-v1-1

Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5427
DOI: 10.15479/AT:IST-2014-314-v1-1

Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5415
DOI: 10.15479/AT:IST-2014-170-v1-1

Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
LibreCat: https://research-explorer.ista.ac.at/record/5421
DOI: 10.15479/AT:IST-2014-190-v2-2

Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”10.1007/978-3-642-54013-4_5__VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
LibreCat: https://research-explorer.ista.ac.at/record/10885
DOI: 10.1007/978-3-642-54013-4_5
arXiv: 1311.3238

Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.
LibreCat: https://research-explorer.ista.ac.at/record/6853
DOI: 10.1007/978-3-319-05957-0

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant Genomic Immunity.”10.1016/j.tplants.2014.01.014__Trends in Plant Science, vol. 19, no. 5, Elsevier, 2014, pp. 320–26, doi:10.1016/j.tplants.2014.01.014.
LibreCat: https://research-explorer.ista.ac.at/record/9519
DOI: 10.1016/j.tplants.2014.01.014
PMID: 24618094 

Lagator, Mato, et al. “Role of Sex and Migration in Adaptation to Sink Environments.”10.1111/evo.12440__Evolution, vol. 68, no. 8, Wiley, 2014, pp. 2296–305, doi:10.1111/evo.12440.
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

Lagator, Mato, et al. Data from: Role of Sex and Migration in Adaptation to Sink Environments. Dryad, 2014, doi:10.5061/dryad.s42n1.
LibreCat: https://research-explorer.ista.ac.at/record/9747
DOI: 10.5061/dryad.s42n1

Wolf, Stephan, et al. “So near and yet so Far: Harmonic Radar Reveals Reduced Homing Ability of Nosema Infected Honeybees.”10.1371/journal.pone.0103989__PLoS One, vol. 9, no. 8, e103989, Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.
LibreCat: https://research-explorer.ista.ac.at/record/2086
DOI: 10.1371/journal.pone.0103989

Wolf, Stephan, et al. Supporting Information. Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.s003.
LibreCat: https://research-explorer.ista.ac.at/record/9888
DOI: 10.1371/journal.pone.0103989.s003

Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.”10.1016/j.cell.2014.01.029__Cell, vol. 156, no. 6, Elsevier, 2014, pp. 1286–97, doi:10.1016/j.cell.2014.01.029.
LibreCat: https://research-explorer.ista.ac.at/record/9458
DOI: 10.1016/j.cell.2014.01.029
PMID: 24630728

Mérai, Zsuzsanna, et al. “The AAA-ATPase Molecular Chaperone Cd/ Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.”10.1073/pnas.1418564111__Proceedings of the National Academy of Sciences, vol. 111, no. 45, National Academy of Sciences, 2014, pp. 16166–71, doi:10.1073/pnas.1418564111.
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

Lovrics, Anna, et al. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.”10.1371/journal.pone.0111430__PLoS One, vol. 9, no. 11, e111430, Public Library of Science, 2014, doi:10.1371/journal.pone.0111430.
LibreCat: https://research-explorer.ista.ac.at/record/2004
DOI: 10.1371/journal.pone.0111430

Lovrics, Anna, et al. Transition Probability between TF Expression States When Db Inhibits Nk.2. Public Library of Science, 2014, doi:10.1371/journal.pone.0111430.s006.
LibreCat: https://research-explorer.ista.ac.at/record/9722
DOI: 10.1371/journal.pone.0111430.s006

Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.”10.1371/journal.pcbi.1003818__PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.
LibreCat: https://research-explorer.ista.ac.at/record/2039
DOI: 10.1371/journal.pcbi.1003818

Westhus, Claudia, et al. “Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.”10.1007/s00265-014-1778-8__Behavioral Ecology and Sociobiology, vol. 68, no. 10, Springer, 2014, pp. 1701–10, doi:10.1007/s00265-014-1778-8.
LibreCat: https://research-explorer.ista.ac.at/record/2161
DOI: 10.1007/s00265-014-1778-8

Lagator, Mato, et al. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.”10.1098/rspb.2014.1679__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20141679, Royal Society, The, 2014, doi:10.1098/rspb.2014.1679.
LibreCat: https://research-explorer.ista.ac.at/record/2036
DOI: 10.1098/rspb.2014.1679

Konrad, Matthias, et al. Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host. Dryad, 2014, doi:10.5061/dryad.vm0vc.
LibreCat: https://research-explorer.ista.ac.at/record/9740
DOI: 10.5061/dryad.vm0vc

Lagator, Mato, et al. Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses. Dryad, 2014, doi:10.5061/dryad.85dn7.
LibreCat: https://research-explorer.ista.ac.at/record/9741
DOI: 10.5061/dryad.85dn7

Chatterjee, Krishnendu, et al. Detailed Proofs for “The Time Scale of Evolutionary Innovation.” Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9739
DOI: 10.1371/journal.pcbi.1003818.s001

Hearn, Jack, et al. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.”10.1111/mec.12578__Molecular Ecology, vol. 23, no. 1, Wiley-Blackwell, 2014, pp. 198–211, doi:10.1111/mec.12578.
LibreCat: https://research-explorer.ista.ac.at/record/2170
DOI: 10.1111/mec.12578

Tragust, Simon, et al. Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies. Dryad, 2014, doi:10.5061/dryad.nc0gc.
LibreCat: https://research-explorer.ista.ac.at/record/9753
DOI: 10.5061/dryad.nc0gc

Simmons, Kristina, et al. Data from: Transformation of Stimulus Correlations by the Retina. Dryad, 2014, doi:10.5061/dryad.246qg.
LibreCat: https://research-explorer.ista.ac.at/record/9752
DOI: 10.5061/dryad.246qg

Dhar, Riddhiman, et al. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.”10.1111/evo.12373__Evolution, vol. 68, no. 6, Wiley, 2014, pp. 1775–91, doi:10.1111/evo.12373.
LibreCat: https://research-explorer.ista.ac.at/record/9931
DOI: 10.1111/evo.12373
PMID: 24495000

Dhar, Riddhiman, et al. Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes. Dryad, 2014, doi:10.5061/dryad.jc402.
LibreCat: https://research-explorer.ista.ac.at/record/9932
DOI: 10.5061/dryad.jc402

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/s00453-013-9843-7__Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi: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, et al. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.”10.1007/978-3-319-04099-8_16__Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–62, doi: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, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.”10.1007/978-1-4939-1164-6_15__Tissue Morphogenesis, edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi: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.”10.1365/s13291-014-0083-9__Jahresbericht Der Deutschen Mathematiker-Vereinigung, vol. 116, Springer Nature, 2014, pp. 21–41, doi: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, et al. “Notes on the Simplification of the Morse-Smale Complex.”10.1007/978-3-319-04099-8_9__Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer et al., Springer Nature, 2014, pp. 135–50, doi: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.”10.1007/s10851-013-0468-x__Journal of Mathematical Imaging and Vision, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi: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.”10.1145/2582112.2582134__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi: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.”10.1002/ece3.1289__Ecology and Evolution, vol. 4, no. 24, Wiley-Blackwell, 2014, pp. 4589–97, doi:10.1002/ece3.1289.
LibreCat: https://research-explorer.ista.ac.at/record/2023
DOI: 10.1002/ece3.1289

Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi: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, et al. “Compositional Specifications for IOCO Testing.”10.1109/ICST.2014.50__IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899, IEEE, 2014, doi: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, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. Vol. 8559, Springer, 2014, pp. 473–90, doi: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.”10.1111/1758-2229.12190__Environmental Microbiology Reports, vol. 6, no. 6, Wiley, 2014, pp. 545–57, doi:10.1111/1758-2229.12190.
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

Gazi, Peter, et al. The Exact PRF-Security of NMAC and HMAC. Edited by Juan Garay and Rosario Gennaro, vol. 8616, no. 1, Springer, 2014, pp. 113–30, doi: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, et al. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.”10.1016/j.devcel.2014.11.003__Developmental Cell, vol. 31, no. 6, Cell Press, 2014, pp. 774–83, doi: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, et al. “Spatio-Temporally Precise Activation of Engineered Receptor Tyrosine Kinases by Light.”10.15252/embj.201387695__EMBO Journal, vol. 33, no. 15, Wiley-Blackwell, 2014, pp. 1713–26, doi:10.15252/embj.201387695.
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

Matousek, Jií, et al. “Embeddability in the 3 Sphere Is Decidable.”10.1145/2582112.2582137__Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84, doi:10.1145/2582112.2582137.
LibreCat: https://research-explorer.ista.ac.at/record/2157
DOI: 10.1145/2582112.2582137

Bauer, Ulrich, et al. “PHAT – Persistent Homology Algorithms Toolbox.”10.1007/978-3-662-44199-2_24__ICMS 2014: International Congress on Mathematical Software, vol. 8592, Springer Berlin Heidelberg, 2014, pp. 137–43, doi: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, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi: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, pp. 23–30.
LibreCat: https://research-explorer.ista.ac.at/record/1887

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

Milenkovi, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.”10.1159/000365548__Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, Karger Publishers, 2014, pp. 375–88, doi: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.” Proceedings of the International Congress of Mathematicians, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.
LibreCat: https://research-explorer.ista.ac.at/record/1507

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

Pentina, Anastasia, and Christoph Lampert. A PAC-Bayesian Bound for Lifelong Learning. Vol. 32, ML Research Press, 2014, pp. 991–99.
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.” Soziale Insekten in Einer Sich Wandelnden Welt, vol. 43, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
LibreCat: https://research-explorer.ista.ac.at/record/1888

Iglesias Ham, Mabel, et al. “Sphere Packing with Limited Overlap.”10.48550/arXiv.1401.0468__ArXiv, 1401.0468, doi: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.”10.1007/s11005-013-0667-9__Letters in Mathematical Physics, vol. 104, no. 2, Springer, 2014, pp. 141–56, doi: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, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.”10.1371/journal.pcbi.1003408__PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Stroeymeyt, Nathalie, et al. “Organisational Immunity in Social Insects.”10.1016/j.cois.2014.09.001__Current Opinion in Insect Science, vol. 5, no. 1, Elsevier, 2014, pp. 1–15, doi: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, et al. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.”10.1515/bmt-2013-4181__Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G, 000010151520134181, De Gruyter, 2013, doi: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.”10.3390/plants2040650__Plants, vol. 2, no. 4, MDPI, 2013, pp. 650–75, doi:10.3390/plants2040650.
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Haas, Andreas, et al. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.”10.1145/2482767.2482789__Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, no. 5, 17, ACM Press, 2013, doi:10.1145/2482767.2482789.
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

Barton, Nicholas H. “Differentiation.”10.1016/b978-0-12-384719-5.00031-9__Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–15, doi: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.”10.4230/LIPIcs.CSL.2013.181__22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”10.1109/FMCAD.2013.6679394__2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi: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, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi: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, et al. “Geometry of the Faithfulness Assumption in Causal Inference.”10.1214/12-AOS1080__The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.”10.29012/jpc.v5i1.629__Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.”10.1145/2429069.2429109__Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

Cerny, Pavol, et al. “Quantitative Abstraction Refinement.”10.1145/2429069.2429085__Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

Biedl, Therese, et al. Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input. IEEE, 2013, pp. 37–46, doi:10.1109/ISVD.2013.11.
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

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

Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi: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, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi: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. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Matousek, Jií, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi: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., et al. Learning with Rounding, Revisited: New Reduction Properties and Applications. Vol. 8042, no. 1, Springer, 2013, pp. 57–74, doi: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, et al. Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions. Vol. 8042, Springer, 2013, pp. 571–88, doi: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

Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi: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, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.”10.1242/dev.085621__Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621.
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
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, et al. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”10.1242/jcs.125617__Journal of Cell Science, vol. 126, no. 21, Company of Biologists, 2013, pp. 4873–84, doi: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. IEEE, 2013, pp. 2320–27, doi: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.”10.1137/120872309__SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi: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.”10.1002/ece3.465__Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.”10.1038/ncb2869__Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Pull, Christopher, et al. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .”10.1007/s00114-013-1115-5__Naturwissenschaften, vol. 100, no. 12, Springer, 2013, pp. 1125–36, doi: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.”10.1038/emboj.2013.225__EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi: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.”10.1007/s00450-013-0251-7__Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.”10.1073/pnas.1309057110__PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi: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, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 10.1007/978-3-642-40313-2