Zhu, Fangfang, Matthew Gamboa, Alfonso Farruggio, Simon Hippenmeyer, Bosiljka Tasic, Birgitt Schüle, Yanru Chen Tsai, and Michele Calos. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.”https://doi.org/10.1093/nar/gkt1290__Nucleic Acids Research. Oxford University Press, 2014.https://doi.org/10.1093/nar/gkt1290 .
LibreCat: https://research-explorer.ista.ac.at/record/2261
DOI: 10.1093/nar/gkt1290

Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.”https://doi.org/10.1007/978-94-007-7687-6_1__In https://doi.org/10.1007/978-94-007-7687-6_1__Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, 800:1–24. Springer, 2014.https://doi.org/10.1007/978-94-007-7687-6_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2265
DOI: 10.1007/978-94-007-7687-6_1

Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial Enumeration and Curvature Regularization,”https://doi.org/10.1109/ICCV.2013.365__2936–43. IEEE, 2014.https://doi.org/10.1109/ICCV.2013.365 .
LibreCat: https://research-explorer.ista.ac.at/record/2275
DOI: 10.1109/ICCV.2013.365

Hosp, Jonas, Michael Strüber, Yuchio Yanagawa, Kunihiko Obata, Imre Vida, Peter M Jonas, and Marlene Bartos. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.”https://doi.org/10.1002/hipo.22214__Hippocampus. Wiley-Blackwell, 2014.https://doi.org/10.1002/hipo.22214 .
LibreCat: https://research-explorer.ista.ac.at/record/2285
DOI: 10.1002/hipo.22214

Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General ;2-Ensembles.”https://doi.org/10.1215/00127094-2649752__Duke Mathematical Journal. Duke University Press, 2014.https://doi.org/10.1215/00127094-2649752 .
LibreCat: https://research-explorer.ista.ac.at/record/2699
DOI: 10.1215/00127094-2649752

Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.”https://doi.org/10.1007/s00236-013-0182-6__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0182-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2716
DOI: 10.1007/s00236-013-0182-6
arXiv: 1201.5073

Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,”https://doi.org/10.4171/120-1/3__31–50. European Mathematical Society Publishing House, 2014.https://doi.org/10.4171/120-1/3 .
LibreCat: https://research-explorer.ista.ac.at/record/2905
DOI: 10.4171/120-1/3

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.1016/j.tcs.2014.08.019__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.08.019 .
LibreCat: https://research-explorer.ista.ac.at/record/1733
DOI: 10.1016/j.tcs.2014.08.019

Chatterjee, Krishnendu, and Monika H Henzinger. “Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.”https://doi.org/10.1145/2597631__Journal of the ACM. ACM, 2014.https://doi.org/10.1145/2597631 .
LibreCat: https://research-explorer.ista.ac.at/record/2141
DOI: 10.1145/2597631

Tkadik, Gasper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.”https://doi.org/10.1371/journal.pone.0085841__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0085841 .
LibreCat: https://research-explorer.ista.ac.at/record/3263
DOI: 10.1371/journal.pone.0085841

Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.”https://doi.org/10.1007/978-3-662-44584-6_37__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:544–59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.1007/978-3-662-44584-6_37 .
LibreCat: https://research-explorer.ista.ac.at/record/2054
DOI: 10.1007/978-3-662-44584-6_37

Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.”https://doi.org/10.1007/s00145-013-9148-7__Journal of Cryptology. Springer, 2014.https://doi.org/10.1007/s00145-013-9148-7 .
LibreCat: https://research-explorer.ista.ac.at/record/2852
DOI: 10.1007/s00145-013-9148-7

Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.”https://doi.org/10.1371/journal.pone.0107518__PLoS One. Public Library of Science, 2014.https://doi.org/10.1371/journal.pone.0107518 .
LibreCat: https://research-explorer.ista.ac.at/record/468
DOI: 10.1371/journal.pone.0107518

Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.”https://doi.org/10.4204/EPTCS.146.11__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014.https://doi.org/10.4204/EPTCS.146.11 .
LibreCat: https://research-explorer.ista.ac.at/record/475
DOI: 10.4204/EPTCS.146.11

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1007/978-3-319-13075-0_10__In 25th International Symposium, ISAAC 2014, 8889:117–27. Springer Nature, 2014.https://doi.org/10.1007/978-3-319-13075-0_10 .
LibreCat: https://research-explorer.ista.ac.at/record/10892
DOI: 10.1007/978-3-319-13075-0_10

Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.”https://doi.org/10.1002/ece3.1150__Ecology and Evolution. Wiley-Blackwell, 2014.https://doi.org/10.1002/ece3.1150 .
LibreCat: https://research-explorer.ista.ac.at/record/537
DOI: 10.1002/ece3.1150

Chatterjee, Krishnendu. “Partial-Observation Stochastic Reachability and Parity Games,”https://doi.org/10.1007/978-3-662-44522-8_1__8634:1–4. Springer, 2014.https://doi.org/10.1007/978-3-662-44522-8_1 .
LibreCat: https://research-explorer.ista.ac.at/record/1903
DOI: 10.1007/978-3-662-44522-8_1

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”https://doi.org/10.1145/2579821__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2579821 .
LibreCat: https://research-explorer.ista.ac.at/record/2211
DOI: 10.1145/2579821
arXiv: 1107.2141

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1145/2629686__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2629686 .
LibreCat: https://research-explorer.ista.ac.at/record/2038
DOI: 10.1145/2629686

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Ergodic Mean Payoff Games,”https://doi.org/10.1007/978-3-662-43951-7_11__8573:122–33. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_11 .
LibreCat: https://research-explorer.ista.ac.at/record/2162
DOI: 10.1007/978-3-662-43951-7_11
arXiv: 1404.5734

Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,”https://doi.org/10.1007/978-3-642-54830-7_16__8412:242–57. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_16 .
LibreCat: https://research-explorer.ista.ac.at/record/2213
DOI: 10.1007/978-3-642-54830-7_16
arXiv: 1401.3289

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,”https://doi.org/10.1007/978-3-642-54830-7_14__8412:210–25. Springer, 2014.https://doi.org/10.1007/978-3-642-54830-7_14 .
LibreCat: https://research-explorer.ista.ac.at/record/2212
DOI: 10.1007/978-3-642-54830-7_14

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,”https://doi.org/10.1145/2562059.2562141__303–12. Springer, 2014.https://doi.org/10.1145/2562059.2562141 .
LibreCat: https://research-explorer.ista.ac.at/record/2216
DOI: 10.1145/2562059.2562141

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-148-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5411
DOI: 10.15479/AT:IST-2014-148-v2-1

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v2-2 .
LibreCat: https://research-explorer.ista.ac.at/record/5413
DOI: 10.15479/AT:IST-2014-153-v2-2

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v3-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5414
DOI: 10.15479/AT:IST-2014-153-v3-1

Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-153-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5412
DOI: 10.15479/AT:IST-2014-153-v1-1

Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.”https://doi.org/10.1007/978-3-662-43951-7_10__In Lecture Notes in Computer Science, 8573:110–21. Springer, 2014.https://doi.org/10.1007/978-3-662-43951-7_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2163
DOI: 10.1007/978-3-662-43951-7_10
arXiv: 1404.5453

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-187-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5419
DOI: 10.15479/AT:IST-2014-187-v1-1

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.”https://doi.org/10.1145/2562059.2562130__In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014.https://doi.org/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.https://doi.org/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.https://doi.org/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.https://doi.org/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.https://doi.org/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

Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5422

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/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, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014.https://doi.org/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, Alexander Kössler, Andreas Pavlogiannis, and Ulrich Schmid. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014.https://doi.org/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, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014.https://doi.org/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, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014.https://doi.org/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, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014.https://doi.org/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, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1007/978-3-642-54013-4_5__In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014.https://doi.org/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. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014.https://doi.org/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, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/7038

Kim, M. Yvonne, and Daniel Zilberman. “DNA Methylation as a System of Plant Genomic Immunity.”https://doi.org/10.1016/j.tplants.2014.01.014__Trends in Plant Science. Elsevier, 2014.https://doi.org/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, Andrew Morgan, Paul Neve, and Nick Colegrave. “Role of Sex and Migration in Adaptation to Sink Environments.”https://doi.org/10.1111/evo.12440__Evolution. Wiley, 2014.https://doi.org/10.1111/evo.12440 .
LibreCat: https://research-explorer.ista.ac.at/record/2083
DOI: 10.1111/evo.12440

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

Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.”https://doi.org/10.1016/j.cell.2014.01.029__Cell. Elsevier, 2014.https://doi.org/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, Nina Chumak, Marcelina García-Aguilar, Tzung-Fu Hsieh, Toshiro Nishimura, Vera K. Schoft, János Bindics, et al. “The AAA-ATPase Molecular Chaperone Cd/ Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.”https://doi.org/10.1073/pnas.1418564111__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1418564111 .
LibreCat: https://research-explorer.ista.ac.at/record/9479
DOI: 10.1073/pnas.1418564111
PMID: 25344531

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