Petridou, Nicoletta, Zoltan P Spiro, and Carl-Philipp J Heisenberg. “Multiscale Force Sensing in Development.”https://doi.org/10.1038/ncb3524__Nature Cell Biology. Nature Publishing Group, 2017.https://doi.org/10.1038/ncb3524 .
LibreCat: https://research-explorer.ista.ac.at/record/678
DOI: 10.1038/ncb3524

Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.”https://doi.org/10.1016/j.ic.2016.10.012__Information and Computation. Elsevier, 2017.https://doi.org/10.1016/j.ic.2016.10.012 .
LibreCat: https://research-explorer.ista.ac.at/record/681
DOI: 10.1016/j.ic.2016.10.012
arXiv: 1311.3238

Martius, Georg S, and Christoph Lampert. “Extrapolation and Learning Equations.” In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6841
arXiv: 1610.02995

Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.”https://doi.org/10.1017/jsl.2016.71__Journal of Symbolic Logic. Cambridge University Press, 2017.https://doi.org/10.1017/jsl.2016.71 .
LibreCat: https://research-explorer.ista.ac.at/record/684
DOI: 10.1017/jsl.2016.71

Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’”https://doi.org/10.1016/j.mod.2017.03.005__Mechanisms of Development. Elsevier, 2017.https://doi.org/10.1016/j.mod.2017.03.005 .
LibreCat: https://research-explorer.ista.ac.at/record/685
DOI: 10.1016/j.mod.2017.03.005
PMID: 28366718

Edelsbrunner, Herbert, and Hubert Wagner. “Topological Data Analysis with Bregman Divergences,”https://doi.org/10.4230/LIPIcs.SoCG.2017.39__77:391–3916. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/688
DOI: 10.4230/LIPIcs.SoCG.2017.39

Davison, Ben. “The Critical CoHA of a Quiver with Potential.”https://doi.org/10.1093/qmath/haw053__Quarterly Journal of Mathematics. Oxford University Press, 2017.https://doi.org/10.1093/qmath/haw053 .
LibreCat: https://research-explorer.ista.ac.at/record/687
DOI: 10.1093/qmath/haw053

Heisenberg, Carl-Philipp J. “D’Arcy Thompson’s ‘on Growth and Form’: From Soap Bubbles to Tissue Self Organization.”https://doi.org/10.1016/j.mod.2017.03.006__Mechanisms of Development. Elsevier, 2017.https://doi.org/10.1016/j.mod.2017.03.006 .
LibreCat: https://research-explorer.ista.ac.at/record/686
DOI: 10.1016/j.mod.2017.03.006

Novarino, Gaia. “Rett Syndrome Modeling Goes Simian.”https://doi.org/10.1126/scitranslmed.aan8196__Science Translational Medicine. American Association for the Advancement of Science, 2017.https://doi.org/10.1126/scitranslmed.aan8196 .
LibreCat: https://research-explorer.ista.ac.at/record/689
DOI: 10.1126/scitranslmed.aan8196

Miki, Takafumi, Walter Kaufmann, Gerardo Malagon, Laura Gomez, Katsuhiko Tabuchi, Masahiko Watanabe, Ryuichi Shigemoto, and Alain Marty. “Numbers of Presynaptic C+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.”https://doi.org/10.1073/pnas.1704470114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1704470114 .
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047

Veß, Astrid, Ulrich Blache, Laura Leitner, Angela Kurz, Anja Ehrenpfordt, Michael K Sixt, and Guido Posern. “A Dual Phenotype of MDA MB 468 Cancer Cells Reveals Mutual Regulation of Tensin3 and Adhesion Plasticity.”https://doi.org/10.1242/jcs.200899__Journal of Cell Science. Company of Biologists, 2017.https://doi.org/10.1242/jcs.200899 .
LibreCat: https://research-explorer.ista.ac.at/record/694
DOI: 10.1242/jcs.200899
PMID: 28515231

Pietrzak, Krzysztof Z, and Maciej Skórski. “Non Uniform Attacks against Pseudoentropy,”https://doi.org/10.4230/LIPIcs.ICALP.2017.39__Vol. 80. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.ICALP.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/697
DOI: 10.4230/LIPIcs.ICALP.2017.39

Wang, Yejun, Mallika Nagarajan, Caroline Uhler, and Gv Shivashankar. “Orientation and Repositioning of Chromosomes Correlate with Cell Geometry Dependent Gene Expression.”https://doi.org/10.1091/mbc.E16-12-0825__Molecular Biology of the Cell. American Society for Cell Biology, 2017.https://doi.org/10.1091/mbc.E16-12-0825 .
LibreCat: https://research-explorer.ista.ac.at/record/698
DOI: 10.1091/mbc.E16-12-0825

Veller, Carl, Laura Hayward, Martin Nowak, and Christian Hilbe. “The Red Queen and King in Finite Populations.”https://doi.org/10.1073/pnas.1702020114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1702020114 .
LibreCat: https://research-explorer.ista.ac.at/record/699
DOI: 10.1073/pnas.1702020114
PMID: 28630336

Barzanjeh, Shabir, Vahid Salari, Jack Tuszynski, Michal Cifra, and Christoph Simon. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.”https://doi.org/10.1103/PhysRevE.96.012404__https://doi.org/10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017.https://doi.org/10.1103/PhysRevE.96.012404 .
LibreCat: https://research-explorer.ista.ac.at/record/700
DOI: 10.1103/PhysRevE.96.012404

Kyndl, Jan, and Zuzana Patakova. “On the Nonexistence of k Reptile Simplices in d^3 and d^4.” The Electronic Journal of Combinatorics. International Press, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/701

Novarino, Gaia. “The Riddle of CH Haploinsufficiency in Autism Spectrum Disorder.”https://doi.org/10.1126/scitranslmed.aao0972__Science Translational Medicine. American Association for the Advancement of Science, 2017.https://doi.org/10.1126/scitranslmed.aao0972 .
LibreCat: https://research-explorer.ista.ac.at/record/702
DOI: 10.1126/scitranslmed.aao0972

Geng, Xiaoqi, Tomohiko Maruo, Kenji Mandai, Irwan Supriyanto, Muneaki Miyata, Shotaro Sakakibara, Akira Mizoguchi, Yoshimi Takai, and Masahiro Mori. “Roles of Afadin in Functional Differentiations of Hippocampal Mossy Fiber Synapse.”https://doi.org/10.1111/gtc.12508__Genes to Cells. Wiley-Blackwell, 2017.https://doi.org/10.1111/gtc.12508 .
LibreCat: https://research-explorer.ista.ac.at/record/706
DOI: 10.1111/gtc.12508

Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .”https://doi.org/10.1112/blms.12062__Bulletin of the London Mathematical Society. Wiley-Blackwell, 2017.https://doi.org/10.1112/blms.12062 .
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Nagy, Balint, Anahit Hovhannisyan, Ruxandra Barzan, Ting Chen, and Maria Kukley. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.”https://doi.org/10.1371/journal.pbio.2001993__PLoS Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pbio.2001993 .
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Sun, Wuping, Chen Li, Yonghong Zhang, Changyu Jiang, Ming-Zhu Zhai, Qian Zhou, Lizu Xiao, and Qiwen Deng. “Gene Expression Changes of Thermo Sensitive Transient Receptor Potential Channels in Obese Mice.”https://doi.org/10.1002/cbin.10783__Cell Biology International. Wiley-Blackwell, 2017.https://doi.org/10.1002/cbin.10783 .
LibreCat: https://research-explorer.ista.ac.at/record/709
DOI: 10.1002/cbin.10783

Obremski, Maciej, and Maciej Skórski. “Renyi Entropy Estimation Revisited,”https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20__Vol. 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20 .
LibreCat: https://research-explorer.ista.ac.at/record/710
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2017.20

Andergassen, Daniel, Christoph Dotter, Dyniel Wenzel, Verena Sigl, Philipp Bammer, Markus Muckenhuber, Daniela Mayer, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.”https://doi.org/10.7554/eLife.25125__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.25125 .
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.5__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 .
LibreCat: https://research-explorer.ista.ac.at/record/711
DOI: 10.4230/LIPIcs.CONCUR.2017.5

Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.”https://doi.org/10.1016/j.na.2017.03.001__Nonlinear Analysis: Theory, Methods and Applications. Elsevier, 2017.https://doi.org/10.1016/j.na.2017.03.001 .
LibreCat: https://research-explorer.ista.ac.at/record/712
DOI: 10.1016/j.na.2017.03.001

Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Breiloiu. “HIV Tat Exciteshttps://doi.org/10.1016/j.drugalcdep.2017.04.015__Receptor-like Expressing Neurons from Rat Nucleus Accumbens.”https://doi.org/10.1016/j.drugalcdep.2017.04.015__Drug and Alcohol Dependence. Elsevier, 2017.https://doi.org/10.1016/j.drugalcdep.2017.04.015 .
LibreCat: https://research-explorer.ista.ac.at/record/714
DOI: 10.1016/j.drugalcdep.2017.04.015
PMID: 28623807

Novarino, Gaia. “More Excitation for Rett Syndrome.”https://doi.org/10.1126/scitranslmed.aao4218__Science Translational Medicine. American Association for the Advancement of Science, 2017.https://doi.org/10.1126/scitranslmed.aao4218 .
LibreCat: https://research-explorer.ista.ac.at/record/715
DOI: 10.1126/scitranslmed.aao4218

Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.”https://doi.org/10.1145/3121408__Journal of the ACM. ACM, 2017.https://doi.org/10.1145/3121408 .
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.”https://doi.org/10.1016/j.jcss.2017.04.005__Journal of Computer and System Sciences. Academic Press, 2017.https://doi.org/10.1016/j.jcss.2017.04.005 .
LibreCat: https://research-explorer.ista.ac.at/record/717
DOI: 10.1016/j.jcss.2017.04.005

Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.”https://doi.org/10.1007/s00236-017-0299-0__Acta Informatica. Springer, 2017.https://doi.org/10.1007/s00236-017-0299-0 .
LibreCat: https://research-explorer.ista.ac.at/record/719
DOI: 10.1007/s00236-017-0299-0

Humplik, Jan, and Gasper Tkadik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.”https://doi.org/10.1371/journal.pcbi.1005763__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005763 .
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Ajanki, Oskari H, Torben H Krüger, and László Erdös. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.”https://doi.org/10.1002/cpa.21639__Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2017.https://doi.org/10.1002/cpa.21639 .
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Morris, Emily, Marcus Griffiths, Agata Golebiowska, Stefan Mairhofer, Jasmine Burr Hersey, Tatsuaki Goh, Daniel von Wangenheim, et al. “Shaping 3D Root System Architecture.”https://doi.org/10.1016/j.cub.2017.06.043__Current Biology. Cell Press, 2017.https://doi.org/10.1016/j.cub.2017.06.043 .
LibreCat: https://research-explorer.ista.ac.at/record/722
DOI: 10.1016/j.cub.2017.06.043
PMID: 28898665

Harpaz, Roy, Gasper Tkadik, and Elad Schneidman. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.”https://doi.org/10.1073/pnas.1703817114__PNAS. National Academy of Sciences, 2017.https://doi.org/10.1073/pnas.1703817114 .
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Hetterich, Daniel, Maksym Serbyn, Fernando Domínguez, Frank Pollmann, and Björn Trauzettel. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.”https://doi.org/10.1103/PhysRevB.96.104203__Physical Review B. American Physical Society, 2017.https://doi.org/10.1103/PhysRevB.96.104203 .
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

Novarino, Gaia. “The Science of Love in ASD and ADHD.”https://doi.org/10.1126/scitranslmed.aap8168__Science Translational Medicine. American Association for the Advancement of Science, 2017.https://doi.org/10.1126/scitranslmed.aap8168 .
LibreCat: https://research-explorer.ista.ac.at/record/731
DOI: 10.1126/scitranslmed.aap8168

Smole, Anee, Dusko Lainsdek, Urban Bezeljak, Simon Horvat, and Roman Jerala. “A Synthetic Mammalian Therapeutic Gene Circuit for Sensing and Suppressing Inflammation.”https://doi.org/10.1016/j.ymthe.2016.10.005__Molecular Therapy. Elsevier, 2017.https://doi.org/10.1016/j.ymthe.2016.10.005 .
LibreCat: https://research-explorer.ista.ac.at/record/7360
DOI: 10.1016/j.ymthe.2016.10.005
PMID: 28129106

Pielorz, Jasmin, Matthias Prandtstetter, Markus Straub, and Christoph Lampert. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.”https://doi.org/10.1109/BigData.2017.8258375__In 2017 IEEE International Conference on Big Data, 3760–63. IEEE, 2017.https://doi.org/10.1109/BigData.2017.8258375 .
LibreCat: https://research-explorer.ista.ac.at/record/750
DOI: 10.1109/BigData.2017.8258375

Fulek, Radoslav, Jan Kyndl, and Dömötör Pálvölgyi. “Unified Hanani Tutte Theorem.”https://doi.org/10.37236/6663__Electronic Journal of Combinatorics. International Press, 2017.https://doi.org/10.37236/6663 .
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Fink, Johannes M. “Photonenblockade Aufgelöst.”https://doi.org/10.1002/piuz.201770305__Physik in Unserer Zeit. Wiley, 2017.https://doi.org/10.1002/piuz.201770305 .
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.”https://doi.org/10.31263/voebm.v70i2.1898__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1898 .
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Petritsch, Barbara. “Metadata for Research Data in Practice.”https://doi.org/10.31263/voebm.v70i2.1678__Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB, 2017.https://doi.org/10.31263/voebm.v70i2.1678 .
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Clifton, Ben, Jason Whitfield, Inmaculada Sanchez-Romero, Michel Herde, Christian Henneberger, Harald L Janovjak, and Colin Jackson. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.”https://doi.org/10.1007/978-1-4939-6940-1_5__In Synthetic Protein Switches, edited by Viktor Stein, 1596:71–87. Synthetic Protein Switches. Springer, 2017.https://doi.org/10.1007/978-1-4939-6940-1_5 .
LibreCat: https://research-explorer.ista.ac.at/record/957
DOI: 10.1007/978-1-4939-6940-1_5

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPIcs.MFCS.2017.37__Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.37 .
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Prentice, Jason, Olivier Marre, Mark Ioffe, Adrianna Loback, Gasper Tkadik, and Michael Berry. “Data from: Error-Robust Modes of the Retinal Population Code.”https://doi.org/10.5061/dryad.1f1rc__Dryad, 2017.https://doi.org/10.5061/dryad.1f1rc .
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”https://doi.org/10.1371/journal.pgen.1007122__PLoS Genetics. Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122 .
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.6084/m9.figshare.5633917.v1__The Royal Society, 2017.https://doi.org/10.6084/m9.figshare.5633917.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Mathematical Model.”https://doi.org/10.1371/journal.pgen.1007122.s017__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s017 .
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Modelling and Simulation Details.”https://doi.org/10.1371/journal.pcbi.1005609.s001__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Extensions of the Model.”https://doi.org/10.1371/journal.pcbi.1005609.s002__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Supplementary Methods.”https://doi.org/10.1371/journal.pgen.1007122.s016__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s016 .
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”https://doi.org/10.1371/journal.pcbi.1005582__PLoS Computational Biology. Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582 .
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Heuristic Prediction for Multiple Stresses.”https://doi.org/10.1371/journal.pcbi.1005609.s003__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Resistance Frequencies for Different Combination Strategies.”https://doi.org/10.1371/journal.pcbi.1005609.s004__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005609.s004 .
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Supplementary Appendix.”https://doi.org/10.1371/journal.pcbi.1005582.s001__Public Library of Science, 2017.https://doi.org/10.1371/journal.pcbi.1005582.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.”https://doi.org/10.1145/3092703.3098225__In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 376–79. ACM, 2017.https://doi.org/10.1145/3092703.3098225 .
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Mitchell, Joshua, William Zhang, Michel Herde, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.”https://doi.org/10.1007/978-1-4939-6940-1_6__In Synthetic Protein Switches, edited by Viktor Stein, 1596:89–99. Synthetic Protein Switches. Springer, 2017.https://doi.org/10.1007/978-1-4939-6940-1_6 .
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

Riccio, Paul, Christina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.”https://doi.org/10.5061/dryad.pk16b__Dryad, 2017.https://doi.org/10.5061/dryad.pk16b .
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Source Data for Figures and Tables.”https://doi.org/10.1371/journal.pgen.1007122.s018__Public Library of Science, 2017.https://doi.org/10.1371/journal.pgen.1007122.s018 .
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In AHP – Austrian HPC Meeting 2017, 28. FSP Scientific Computing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12905

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”https://doi.org/10.1007/978-3-662-54577-5_26__In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_26 .
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.21__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 .
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,”https://doi.org/10.4230/LIPIcs.SoCG.2017.49__Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.SoCG.2017.49 .
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.”https://doi.org/10.15479/AT:ISTA:TH_730__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:TH_730 .
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291

Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”https://doi.org/10.1098/rsbl.2017.0646__Biology Letters. The Royal Society, 2017.https://doi.org/10.1098/rsbl.2017.0646 .
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.”https://doi.org/10.15479/AT:ISTA:th_862__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_862 .
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”https://doi.org/10.1016/j.cels.2017.03.001__Cell Systems. Cell Press, 2017.https://doi.org/10.1016/j.cels.2017.03.001 .
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 10.1016/j.cels.2017.03.001

Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.”https://doi.org/10.15479/AT:ISTA:th_854__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_854 .
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 10.15479/AT:ISTA:th_854

Jesse, Fabienne. “The Lac Operon in the Wild.”https://doi.org/10.15479/AT:ISTA:th_857__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_857 .
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 10.15479/AT:ISTA:th_857

Rybar, Michal. “(The Exact Security of) Message Authentication Codes.”https://doi.org/10.15479/AT:ISTA:th_828__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_828 .
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.”https://doi.org/10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017.https://doi.org/10.13154/TOSC.V2016.I2.145-161 .
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.”https://doi.org/10.15479/AT:ISTA:th_858__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_858 .
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 10.15479/AT:ISTA:th_858

Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .”https://doi.org/10.15479/AT:ISTA:th_842__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_842 .
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 10.15479/AT:ISTA:th_842

Rolinek, Michal. “Complexity of Constraint Satisfaction.”https://doi.org/10.15479/AT:ISTA:th_815__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_815 .
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

Edelsbrunner, Herbert, Anton Nikitenko, and Matthias Reitzner. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.”https://doi.org/10.1017/apr.2017.20__Advances in Applied Probability. Cambridge University Press, 2017.https://doi.org/10.1017/apr.2017.20 .
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

Abusalah, Hamza M, Joel F Alwen, Bram Cohen, Danylo Khilko, Krzysztof Z Pietrzak, and Leonid Reyzin. “Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space,”https://doi.org/10.1007/978-3-319-70697-9_13__10625:357–79. Springer, 2017.https://doi.org/10.1007/978-3-319-70697-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.”https://doi.org/10.1214/17-ECP97__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/17-ECP97 .
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,”https://doi.org/10.1007/978-3-319-65765-3_7__10419:116–32. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_7 .
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,”https://doi.org/10.1007/978-3-662-54577-5_34__10205:589–606. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_34 .
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.”https://doi.org/10.1214/16-ECP38__Electronic Communications in Probability. Institute of Mathematical Statistics, 2017.https://doi.org/10.1214/16-ECP38 .
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.”https://doi.org/10.1145/3130800.3130890__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3130800.3130890 .
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.”https://doi.org/10.1007/978-3-319-63688-7_5__edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017.https://doi.org/10.1007/978-3-319-63688-7_5 .
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

Etheridge, Alison, and Nicholas H Barton. “Data for: Establishment in a New Habitat by Polygenic Adaptation.”https://doi.org/10.17632/nw68fxzjpm.1__Mendeley Data, 2017.https://doi.org/10.17632/nw68fxzjpm.1 .
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.”https://doi.org/10.15479/AT:ISTA:th_916__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_916 .
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 10.15479/AT:ISTA:th_916

Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .”https://doi.org/10.15479/AT:ISTA:th_873__Institute of Science and Technology Austria, 2017.https://doi.org/10.15479/AT:ISTA:th_873 .
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 10.15479/AT:ISTA:th_873

Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1127

Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.”https://doi.org/10.1111/sjos.12251__Scandinavian Journal of Statistics. Wiley-Blackwell, 2017.https://doi.org/10.1111/sjos.12251 .
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.”https://doi.org/10.1007/s00440-015-0692-y__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-015-0692-y .
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.”https://doi.org/10.1016/j.jsc.2016.03.008__Journal of Symbolic Computation. Academic Press, 2017.https://doi.org/10.1016/j.jsc.2016.03.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

Svoreová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.04.006 .
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

Manteaux, Pierre, Chris Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.”https://doi.org/10.1111/cgf.12941__Computer Graphics Forum. Wiley-Blackwell, 2017.https://doi.org/10.1111/cgf.12941 .
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/s10703-016-0256-5__Formal Methods in System Design. Springer, 2017.https://doi.org/10.1007/s10703-016-0256-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.”https://doi.org/10.1007/s00236-016-0278-x__Acta Informatica. Springer, 2017.https://doi.org/10.1007/s00236-016-0278-x .
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.”https://doi.org/10.1007/s00453-016-0212-1__Algorithmica. Springer, 2017.https://doi.org/10.1007/s00453-016-0212-1 .
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.”https://doi.org/10.1007/s00440-016-0740-2__Probability Theory and Related Fields. Springer, 2017.https://doi.org/10.1007/s00440-016-0740-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

Brázdil, Tomás, Krishnendu Chatterjee, Vojtbch Forejt, and Antonín Kudera. “Trading Performance for Stability in Markov Decision Processes.”https://doi.org/10.1016/j.jcss.2016.09.009__Journal of Computer and System Sciences. Elsevier, 2017.https://doi.org/10.1016/j.jcss.2016.09.009 .
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.”https://doi.org/10.1111/ejn.13418__European Journal of Neuroscience. Wiley-Blackwell, 2017.https://doi.org/10.1111/ejn.13418 .
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.”https://doi.org/10.1016/bs.mcb.2016.03.036__In Cytokinesis, edited by Arnaudhttps://doi.org/10.1016/bs.mcb.2016.03.036__Echard, 137:355–70. Academic Press, 2017.https://doi.org/10.1016/bs.mcb.2016.03.036 .
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.”https://doi.org/10.1007/s11005-016-0915-x__Letters in Mathematical Physics. Springer, 2017.https://doi.org/10.1007/s11005-016-0915-x .
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007