Hilbe, Christian, et al. “Memory-n Strategies of Direct Reciprocity.”10.1073/pnas.1621239114__PNAS, vol. 114, no. 18, National Academy of Sciences, 2017, pp. 4715–20, doi:10.1073/pnas.1621239114.
LibreCat: https://research-explorer.ista.ac.at/record/671
DOI: 10.1073/pnas.1621239114
PMID: 28420786

Schreck, Camille, et al. “Interactive Paper Tearing.”10.1111/cgf.13110__Computer Graphics Forum, vol. 36, no. 2, Wiley, 2017, pp. 95–106, doi:10.1111/cgf.13110.
LibreCat: https://research-explorer.ista.ac.at/record/670
DOI: 10.1111/cgf.13110

Vaahtomeri, Kari, et al. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.”10.1016/j.celrep.2017.04.027__Cell Reports, vol. 19, no. 5, Cell Press, 2017, pp. 902–09, doi:10.1016/j.celrep.2017.04.027.
LibreCat: https://research-explorer.ista.ac.at/record/672
DOI: 10.1016/j.celrep.2017.04.027

Schwarz, Jan, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.”10.1016/j.cub.2017.04.004__Current Biology, vol. 27, no. 9, Cell Press, 2017, pp. 1314–25, doi:10.1016/j.cub.2017.04.004.
LibreCat: https://research-explorer.ista.ac.at/record/674
DOI: 10.1016/j.cub.2017.04.004

Lademann, Claudio, et al. “The INO80 Complex Removes A.Z to Promote Presynaptic Filament Formation during Homologous Recombination.”10.1016/j.celrep.2017.04.051__Cell Reports, vol. 19, no. 7, Cell Press, 2017, pp. 1294–303, doi:10.1016/j.celrep.2017.04.051.
LibreCat: https://research-explorer.ista.ac.at/record/677
DOI: 10.1016/j.celrep.2017.04.051

Petridou, Nicoletta, et al. “Multiscale Force Sensing in Development.”10.1038/ncb3524__Nature Cell Biology, vol. 19, no. 6, Nature Publishing Group, 2017, pp. 581–88, doi:10.1038/ncb3524.
LibreCat: https://research-explorer.ista.ac.at/record/678
DOI: 10.1038/ncb3524

Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”10.1016/j.ic.2016.10.012__Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi: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.” 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.”10.1017/jsl.2016.71__Journal of Symbolic Logic, vol. 82, no. 2, Cambridge University Press, 2017, pp. 420–52, doi: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.’”10.1016/j.mod.2017.03.005__Mechanisms of Development, vol. 145, Elsevier, 2017, pp. 26–31, doi: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. Vol. 77, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916, doi: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.”10.1093/qmath/haw053__Quarterly Journal of Mathematics, vol. 68, no. 2, Oxford University Press, 2017, pp. 635–703, doi: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.”10.1016/j.mod.2017.03.006__Mechanisms of Development, vol. 145, Elsevier, 2017, pp. 32–37, doi: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.”10.1126/scitranslmed.aan8196__Science Translational Medicine, vol. 9, no. 393, eaan8196, American Association for the Advancement of Science, 2017, doi:10.1126/scitranslmed.aan8196.
LibreCat: https://research-explorer.ista.ac.at/record/689
DOI: 10.1126/scitranslmed.aan8196

Miki, Takafumi, et al. “Numbers of Presynaptic C+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.”10.1073/pnas.1704470114__PNAS, vol. 114, no. 26, National Academy of Sciences, 2017, pp. 46–55, doi:10.1073/pnas.1704470114.
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047

Veß, Astrid, et al. “A Dual Phenotype of MDA MB 468 Cancer Cells Reveals Mutual Regulation of Tensin3 and Adhesion Plasticity.”10.1242/jcs.200899__Journal of Cell Science, vol. 130, no. 13, Company of Biologists, 2017, pp. 2172–84, doi: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. Vol. 80, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.ICALP.2017.39.
LibreCat: https://research-explorer.ista.ac.at/record/697
DOI: 10.4230/LIPIcs.ICALP.2017.39

Wang, Yejun, et al. “Orientation and Repositioning of Chromosomes Correlate with Cell Geometry Dependent Gene Expression.”10.1091/mbc.E16-12-0825__Molecular Biology of the Cell, vol. 28, no. 14, American Society for Cell Biology, 2017, pp. 1997–2009, doi:10.1091/mbc.E16-12-0825.
LibreCat: https://research-explorer.ista.ac.at/record/698
DOI: 10.1091/mbc.E16-12-0825

Veller, Carl, et al. “The Red Queen and King in Finite Populations.”10.1073/pnas.1702020114__PNAS, vol. 114, no. 27, National Academy of Sciences, 2017, pp. 96–405, doi:10.1073/pnas.1702020114.
LibreCat: https://research-explorer.ista.ac.at/record/699
DOI: 10.1073/pnas.1702020114
PMID: 28630336

Barzanjeh, Shabir, et al. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.”10.1103/PhysRevE.96.012404__10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1, 012404, American Institute of Physics, 2017, doi: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, vol. 24, no. 3, International Press, 2017, pp. 1–44.
LibreCat: https://research-explorer.ista.ac.at/record/701

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

Geng, Xiaoqi, et al. “Roles of Afadin in Functional Differentiations of Hippocampal Mossy Fiber Synapse.”10.1111/gtc.12508__Genes to Cells, vol. 22, no. 8, Wiley-Blackwell, 2017, pp. 715–22, doi: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 .”10.1112/blms.12062__Bulletin of the London Mathematical Society, vol. 49, no. 4, Wiley-Blackwell, 2017, pp. 690–93, doi:10.1112/blms.12062.
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Nagy, Balint, et al. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.”10.1371/journal.pbio.2001993__PLoS Biology, vol. 15, no. 8, e2001993, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001993.
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Sun, Wuping, et al. “Gene Expression Changes of Thermo Sensitive Transient Receptor Potential Channels in Obese Mice.”10.1002/cbin.10783__Cell Biology International, vol. 41, no. 8, Wiley-Blackwell, 2017, pp. 908–13, doi: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. Vol. 81, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi: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, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.”10.7554/eLife.25125__ELife, vol. 6, e25125, eLife Sciences Publications, 2017, doi:10.7554/eLife.25125.
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi: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.”10.1016/j.na.2017.03.001__Nonlinear Analysis: Theory, Methods and Applications, vol. 159, Elsevier, 2017, pp. 181–207, doi: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, et al. “HIV Tat Excites10.1016/j.drugalcdep.2017.04.015__Receptor-like Expressing Neurons from Rat Nucleus Accumbens.”10.1016/j.drugalcdep.2017.04.015__Drug and Alcohol Dependence, vol. 178, Elsevier, 2017, pp. 7–14, doi: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.”10.1126/scitranslmed.aao4218__Science Translational Medicine, vol. 9, no. 405, aao4218, American Association for the Advancement of Science, 2017, doi: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.”10.1145/3121408__Journal of the ACM, vol. 64, no. 5, ACM, 2017, p. 34, doi: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.”10.1016/j.jcss.2017.04.005__Journal of Computer and System Sciences, vol. 88, Academic Press, 2017, pp. 236–59, doi: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.”10.1007/s00236-017-0299-0__Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi: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.”10.1371/journal.pcbi.1005763__PLoS Computational Biology, vol. 13, no. 9, e1005763, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005763.
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Ajanki, Oskari H., et al. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.”10.1002/cpa.21639__Communications on Pure and Applied Mathematics, vol. 70, no. 9, Wiley-Blackwell, 2017, pp. 1672–705, doi:10.1002/cpa.21639.
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Morris, Emily, et al. “Shaping 3D Root System Architecture.”10.1016/j.cub.2017.06.043__Current Biology, vol. 27, no. 17, Cell Press, 2017, pp. 9–30, doi: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, et al. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.”10.1073/pnas.1703817114__PNAS, vol. 114, no. 38, National Academy of Sciences, 2017, pp. 10149–54, doi:10.1073/pnas.1703817114.
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Hetterich, Daniel, et al. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.”10.1103/PhysRevB.96.104203__Physical Review B, vol. 96, no. 10, 104203, American Physical Society, 2017, doi: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.”10.1126/scitranslmed.aap8168__Science Translational Medicine, vol. 9, no. 411, ea, American Association for the Advancement of Science, 2017, doi:10.1126/scitranslmed.aap8168.
LibreCat: https://research-explorer.ista.ac.at/record/731
DOI: 10.1126/scitranslmed.aap8168

Smole, Anee, et al. “A Synthetic Mammalian Therapeutic Gene Circuit for Sensing and Suppressing Inflammation.”10.1016/j.ymthe.2016.10.005__Molecular Therapy, vol. 25, no. 1, Elsevier, 2017, pp. 102–19, doi: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, et al. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.”10.1109/BigData.2017.8258375__2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–63, doi:10.1109/BigData.2017.8258375.
LibreCat: https://research-explorer.ista.ac.at/record/750
DOI: 10.1109/BigData.2017.8258375

Fulek, Radoslav, et al. “Unified Hanani Tutte Theorem.”10.37236/6663__Electronic Journal of Combinatorics, vol. 24, no. 3, .18, International Press, 2017, doi:10.37236/6663.
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Fink, Johannes M. “Photonenblockade Aufgelöst.”10.1002/piuz.201770305__Physik in Unserer Zeit, vol. 48, no. 3, Wiley, 2017, pp. 111–13, doi:10.1002/piuz.201770305.
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Lyons, David B., and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.”10.7554/elife.30674__ELife, vol. 6, e30674, eLife Sciences Publications, 2017, doi:10.7554/elife.30674.
LibreCat: https://research-explorer.ista.ac.at/record/9445
DOI: 10.7554/elife.30674
PMID: 29140247

Clifton, Ben, et al. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.”10.1007/978-1-4939-6940-1_5__Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 71–87, doi: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, et al. Timed Network Games with Clocks. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.37.
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Prentice, Jason, et al. Data from: Error-Robust Modes of the Retinal Population Code. Dryad, 2017, doi:10.5061/dryad.1f1rc.
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, Nela, et al. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”10.1371/journal.pgen.1007122__PLoS Genetics, vol. 13, no. 12, e1007122, Public Library of Science, 2017, doi: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. The Royal Society, 2017, doi:10.6084/m9.figshare.5633917.v1.
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Nikolic, Nela, et al. Mathematical Model. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s017.
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

Lukacisinova, Marta, et al. Modelling and Simulation Details. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

Lukacisinova, Marta, et al. Extensions of the Model. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s002.
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Nikolic, Nela, et al. Supplementary Methods. Public Library of Science, 2017, doi: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., et al. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”10.1371/journal.pcbi.1005582__PLoS Computational Biology, vol. 13, no. 6, e1005582, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003.
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi: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., et al. Supplementary Appendix. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.”10.1145/3092703.3098225__Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.”10.1186/s13059-017-1230-2__Genome Biology, vol. 18, no. 1, 87, Springer Nature, 2017, doi:10.1186/s13059-017-1230-2.
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.”10.1007/978-1-4939-6940-1_6__Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi: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, et al. Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Nikolic, Nela, et al. Source Data for Figures and Tables. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s018.
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”10.1007/978-3-662-54577-5_26__Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi: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, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi: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, et al. A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations. Vol. 77, 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi: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. Institute of Science and Technology Austria, 2017, doi: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.”10.1098/rsbl.2017.0646__Biology Letters, vol. 13, no. 12, 20170646, The Royal Society, 2017, doi: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. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_862.
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

Mitosch, Karin, et al. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”10.1016/j.cels.2017.03.001__Cell Systems, vol. 4, no. 4, Cell Press, 2017, pp. 393–403, doi: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. Institute of Science and Technology Austria, 2017, doi: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. Institute of Science and Technology Austria, 2017, doi: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. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

Gazi, Peter, et al. “The Exact Security of PMAC.”10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2, Ruhr University Bochum, 2017, pp. 145–61, doi: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. Institute of Science and Technology Austria, 2017, doi: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 . Institute of Science and Technology Austria, 2017, doi: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. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

Edelsbrunner, Herbert, et al. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.”10.1017/apr.2017.20__Advances in Applied Probability, vol. 49, no. 3, Cambridge University Press, 2017, pp. 745–67, doi: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., et al. Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space. Vol. 10625, Springer, 2017, pp. 357–79, doi: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.”10.1214/17-ECP97__Electronic Communications in Probability, vol. 22, 63, Institute of Mathematical Statistics, 2017, doi:10.1214/17-ECP97.
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi: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, et al. Counterexample Guided Refinement of Template Polyhedra. Vol. 10205, Springer, 2017, pp. 589–606, doi: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.”10.1214/16-ECP38__Electronic Communications in Probability, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:10.1214/16-ECP38.
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

Elek, Oskar, et al. “Scattering-Aware Texture Reproduction for 3D Printing.”10.1145/3130800.3130890__ACM Transactions on Graphics, vol. 36, no. 6, 241, ACM, 2017, doi:10.1145/3130800.3130890.
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Jafargholi, Zahra, et al. Be Adaptive Avoid Overcommitting. Edited by Jonathan Katz and Hovav Shacham, vol. 10401, Springer, 2017, pp. 133–63, doi: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. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

Locatello, Francesco, et al. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” Advances in Neural Information Processing Systems, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

Locatello, Francesco, et al. “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.” Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, vol. 54, ML Research Press, 2017, pp. 860–68.
LibreCat: https://research-explorer.ista.ac.at/record/14205
arXiv: 1702.06457

Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. Institute of Science and Technology Austria, 2017, doi: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 . Institute of Science and Technology Austria, 2017, doi: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, et al. “Exact Goodness-of-Fit Testing for the Ising Model.”10.1111/sjos.12251__Scandinavian Journal of Statistics, vol. 44, no. 2, Wiley-Blackwell, 2017, pp. 285–306, doi: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.”10.1007/s00440-015-0692-y__Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi: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, et al. “Phat - Persistent Homology Algorithms Toolbox.”10.1016/j.jsc.2016.03.008__Journal of Symbolic Computation, vol. 78, Academic Press, 2017, pp. 76–90, doi: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, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi: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, et al. “Adaptive Physically Based Models in Computer Graphics.”10.1111/cgf.12941__Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”10.1007/s10703-016-0256-5__Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi: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, et al. “Model Checking the Evolution of Gene Regulatory Networks.”10.1007/s00236-016-0278-x__Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003