Kicheva, A., &; Rivron, N. (2017). Creating to understand – developmental biology meets engineering in Paris. Development. Company of Biologists.https://doi.org/10.1242/dev.144915 
LibreCat: https://research-explorer.ista.ac.at/record/654
DOI: 10.1242/dev.144915

Skórski, M. (2017). On the complexity of estimating Rènyi divergences. In 2017 IEEE International Symposium on Information Theory (ISIT). Aachen, Germany: IEEE.https://doi.org/10.1109/isit.2017.8006529 
LibreCat: https://research-explorer.ista.ac.at/record/6526
DOI: 10.1109/isit.2017.8006529
arXiv: 1702.01666

Renault, T., Abraham, A., Bergmiller, T., Paradis, G., Rainville, S., Charpentier, E.,https://doi.org/10.7554/eLife.23136__Erhardt, M. (2017). Bacterial flagella grow through an injection diffusion mechanism. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.23136 
LibreCat: https://research-explorer.ista.ac.at/record/655
DOI: 10.7554/eLife.23136

Möller, B., Ten Hove, C., Xiang, D., Williams, N., López, L., Yoshida, S.,https://doi.org/10.1073/pnas.1616493114__Weijers, D. (2017). Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1616493114 
LibreCat: https://research-explorer.ista.ac.at/record/657
DOI: 10.1073/pnas.1616493114
PMID: 28265057

Novarino, G. (2017). Modeling Alzheimer’s disease in mice with human neurons. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aam9867 
LibreCat: https://research-explorer.ista.ac.at/record/656
DOI: 10.1126/scitranslmed.aam9867

Der, R., &; Martius, G. S. (2017). Self organized behavior generation for musculoskeletal robots. Frontiers in Neurorobotics. Frontiers Research Foundation.https://doi.org/10.3389/fnbot.2017.00008 
LibreCat: https://research-explorer.ista.ac.at/record/658
DOI: 10.3389/fnbot.2017.00008

Kage, F., Winterhoff, M., Dimchev, V., Müller, J., Thalheim, T., Freise, A.,https://doi.org/10.1038/ncomms14832__Rottner, K. (2017). FMNL formins boost lamellipodial force generation. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms14832 
LibreCat: https://research-explorer.ista.ac.at/record/659
DOI: 10.1038/ncomms14832

Rickman, J., Düllberg, C. F., Cade, N., Griffin, L., &; Surrey, T. (2017). Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1620274114 
LibreCat: https://research-explorer.ista.ac.at/record/660
DOI: 10.1073/pnas.1620274114
PMID: 28280102

Shi, L., Hof, B., Rampp, M., &; Avila, M. (2017). Hydrodynamic turbulence in quasi Keplerian rotating flows. Physics of Fluids. American Institute of Physics.https://doi.org/10.1063/1.4981525 
LibreCat: https://research-explorer.ista.ac.at/record/662
DOI: 10.1063/1.4981525

Kong, H., Bogomolov, S., Schilling, C., Jiang, Y., &; Henzinger, T. A. (2017). Safety verification of nonlinear hybrid systems based on invariant clusters. In Proceedings of the 20th International Conference on Hybrid Systems (pp. 163–172). Pittsburgh, PA, United States: ACM.https://doi.org/10.1145/3049797.3049814 
LibreCat: https://research-explorer.ista.ac.at/record/663
DOI: 10.1145/3049797.3049814

Novarino, G. (2017). The antisocial side of antibiotics. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aan2786 
LibreCat: https://research-explorer.ista.ac.at/record/667
DOI: 10.1126/scitranslmed.aan2786

Horsthemke, M., Bachg, A., Groll, K., Moyzio, S., Müther, B., Hemkemeyer, S.,https://doi.org/10.1074/jbc.M116.766923__Hanley, P. (2017). Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cd and Myo10 deletion. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M116.766923 
LibreCat: https://research-explorer.ista.ac.at/record/668
DOI: 10.1074/jbc.M116.766923

Synek, L., Vukasinovi, N., Kulich, I., Hála, M., Aldorfová, K., Fendrych, M., &; dárský, V. (2017). EXO70 is a key regulatory factor for optimal tip growth of pollen. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.16.01282 
LibreCat: https://research-explorer.ista.ac.at/record/669
DOI: 10.1104/pp.16.01282
PMID: 28356503

Hilbe, C., Martinez, V., Chatterjee, K., &; Nowak, M. (2017). Memory-n strategies of direct reciprocity. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1621239114 
LibreCat: https://research-explorer.ista.ac.at/record/671
DOI: 10.1073/pnas.1621239114
PMID: 28420786

Schreck, C., Rohmer, D., &; Hahmann, S. (2017). Interactive paper tearing. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.13110 
LibreCat: https://research-explorer.ista.ac.at/record/670
DOI: 10.1111/cgf.13110

Vaahtomeri, K., Brown, M., Hauschild, R., de Vries, I., Leithner, A. F., Mehling, M.,https://doi.org/10.1016/j.celrep.2017.04.027__Sixt, M. K. (2017). Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia. Cell Reports. Cell Press.https://doi.org/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, J., Bierbaum, V., Vaahtomeri, K., Hauschild, R., Brown, M., de Vries, I.,https://doi.org/10.1016/j.cub.2017.04.004__Sixt, M. K. (2017). Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. Cell Press.https://doi.org/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, C., Renkawitz, J., Pfander, B., &; Jentsch, S. (2017). The INO80 complex removes A.Z to promote presynaptic filament formation during homologous recombination. Cell Reports. Cell Press.https://doi.org/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, N., Spiro, Z. P., &; Heisenberg, C.-P. J. (2017). Multiscale force sensing in development. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb3524 
LibreCat: https://research-explorer.ista.ac.at/record/678
DOI: 10.1038/ncb3524

Chatterjee, K., Doyen, L., Filiot, E., &; Raskin, J. (2017). Doomsday equilibria for omega-regular games. Information and Computation. Elsevier.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, G. S., &; Lampert, C. (2017). Extrapolation and learning equations. In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. Toulon, France: International Conference on Learning Representations.
LibreCat: https://research-explorer.ista.ac.at/record/6841
arXiv: 1610.02995

Chatterjee, K., &; Piterman, N. (2017). Obligation blackwell games and p-automata. Journal of Symbolic Logic. Cambridge University Press.https://doi.org/10.1017/jsl.2016.71 
LibreCat: https://research-explorer.ista.ac.at/record/684
DOI: 10.1017/jsl.2016.71

Briscoe, J., &; Kicheva, A. (2017). The physics of development 100 years after D’Arcy Thompson’s growth and form.”https://doi.org/10.1016/j.mod.2017.03.005__Mechanisms of Development. Elsevier.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, H., &; Wagner, H. (2017). Topological data analysis with Bregman divergences (Vol. 77, pp. 391–3916). Presented at the Symposium on Computational Geometry, SoCG, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, B. (2017). The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics. Oxford University Press.https://doi.org/10.1093/qmath/haw053 
LibreCat: https://research-explorer.ista.ac.at/record/687
DOI: 10.1093/qmath/haw053

Heisenberg, C.-P. J. (2017). D’Arcy Thompson’s ‘on growth and form’: From soap bubbles to tissue self organization. Mechanisms of Development. Elsevier.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, G. (2017). Rett syndrome modeling goes simian. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aan8196 
LibreCat: https://research-explorer.ista.ac.at/record/689
DOI: 10.1126/scitranslmed.aan8196

Miki, T., Kaufmann, W., Malagon, G., Gomez, L., Tabuchi, K., Watanabe, M.,https://doi.org/10.1073/pnas.1704470114__Marty, A. (2017). Numbers of presynaptic C+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1704470114 
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047

Veß, A., Blache, U., Leitner, L., Kurz, A., Ehrenpfordt, A., Sixt, M. K., &; Posern, G. (2017). A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.200899 
LibreCat: https://research-explorer.ista.ac.at/record/694
DOI: 10.1242/jcs.200899
PMID: 28515231

Pietrzak, K. Z., &; Skórski, M. (2017). Non uniform attacks against pseudoentropy (Vol. 80). Presented at the ICALP: International Colloquium on Automata, Languages, and Programming, Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, Y., Nagarajan, M., Uhler, C., &; Shivashankar, G. (2017). Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression. Molecular Biology of the Cell. American Society for Cell Biology.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, C., Hayward, L., Nowak, M., &; Hilbe, C. (2017). The red queen and king in finite populations. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1702020114 
LibreCat: https://research-explorer.ista.ac.at/record/699
DOI: 10.1073/pnas.1702020114
PMID: 28630336

Barzanjeh, S., Salari, V., Tuszynski, J., Cifra, M., &; Simon, C. (2017). Optomechanical proposal for monitoring microtubule mechanical vibrations. https://doi.org/10.1103/PhysRevE.96.012404__Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics.https://doi.org/10.1103/PhysRevE.96.012404 
LibreCat: https://research-explorer.ista.ac.at/record/700
DOI: 10.1103/PhysRevE.96.012404

Kyndl, J., &; Patakova, Z. (2017). On the nonexistence of k reptile simplices in d^3 and d^4. The Electronic Journal of Combinatorics. International Press.
LibreCat: https://research-explorer.ista.ac.at/record/701

Novarino, G. (2017). The riddle of CH haploinsufficiency in autism spectrum disorder. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aao0972 
LibreCat: https://research-explorer.ista.ac.at/record/702
DOI: 10.1126/scitranslmed.aao0972

Geng, X., Maruo, T., Mandai, K., Supriyanto, I., Miyata, M., Sakakibara, S.,https://doi.org/10.1111/gtc.12508__Mori, M. (2017). Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. Genes to Cells. Wiley-Blackwell.https://doi.org/10.1111/gtc.12508 
LibreCat: https://research-explorer.ista.ac.at/record/706
DOI: 10.1111/gtc.12508

Akopyan, A., &; Karasev, R. (2017). A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. Wiley-Blackwell.https://doi.org/10.1112/blms.12062 
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Nagy, B., Hovhannisyan, A., Barzan, R., Chen, T., &; Kukley, M. (2017). Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2001993 
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q.,https://doi.org/10.1002/cbin.10783__Deng, Q. (2017). Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. Cell Biology International. Wiley-Blackwell.https://doi.org/10.1002/cbin.10783 
LibreCat: https://research-explorer.ista.ac.at/record/709
DOI: 10.1002/cbin.10783

Obremski, M., &; Skórski, M. (2017). Renyi entropy estimation revisited (Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber, M.,https://doi.org/10.7554/eLife.25125__Hudson, Q. (2017). Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.25125 
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, J. L. (2017). Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. Elsevier.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, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M.,https://doi.org/10.1016/j.drugalcdep.2017.04.015__Breiloiu, E. (2017). HIV Tat exciteshttps://doi.org/10.1016/j.drugalcdep.2017.04.015__receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. Elsevier.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, G. (2017). More excitation for Rett syndrome. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aao4218 
LibreCat: https://research-explorer.ista.ac.at/record/715
DOI: 10.1126/scitranslmed.aao4218

Chatterjee, K., &; Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM.https://doi.org/10.1145/3121408 
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

Chatterjee, K., &; Velner, Y. (2017). Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. Academic Press.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, K., &; Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer.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, J., &; Tkadik, G. (2017). Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005763 
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Ajanki, O. H., Krüger, T. H., &; Erdös, L. (2017). Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. Wiley-Blackwell.https://doi.org/10.1002/cpa.21639 
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Morris, E., Griffiths, M., Golebiowska, A., Mairhofer, S., Burr Hersey, J., Goh, T.,https://doi.org/10.1016/j.cub.2017.06.043__Bennett, M. (2017). Shaping 3D root system architecture. Current Biology. Cell Press.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, R., Tkadik, G., &; Schneidman, E. (2017). Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1703817114 
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Hetterich, D., Serbyn, M., Domínguez, F., Pollmann, F., &; Trauzettel, B. (2017). Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.96.104203 
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

Novarino, G. (2017). The science of love in ASD and ADHD. Science Translational Medicine. American Association for the Advancement of Science.https://doi.org/10.1126/scitranslmed.aap8168 
LibreCat: https://research-explorer.ista.ac.at/record/731
DOI: 10.1126/scitranslmed.aap8168

Smole, A., Lainsdek, D., Bezeljak, U., Horvat, S., &; Jerala, R. (2017). A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. Elsevier.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, J., Prandtstetter, M., Straub, M., &; Lampert, C. (2017). Optimal geospatial volunteer allocation needs realistic distances. In 2017 IEEE International Conference on Big Data (pp. 3760–3763). Boston, MA, United States: IEEE.https://doi.org/10.1109/BigData.2017.8258375 
LibreCat: https://research-explorer.ista.ac.at/record/750
DOI: 10.1109/BigData.2017.8258375

Fulek, R., Kyndl, J., &; Pálvölgyi, D. (2017). Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. International Press.https://doi.org/10.37236/6663 
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Fink, J. M. (2017). Photonenblockade aufgelöst. Physik in Unserer Zeit. Wiley.https://doi.org/10.1002/piuz.201770305 
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Andrae, M., &; Villányi, M. (2017). Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung. Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB.https://doi.org/10.31263/voebm.v70i2.1898 
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Petritsch, B. (2017). Metadata for research data in practice. Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB.https://doi.org/10.31263/voebm.v70i2.1678 
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Clifton, B., Whitfield, J., Sanchez-Romero, I., Herde, M., Henneberger, C., Janovjak, H. L., &; Jackson, C. (2017). Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 71–87). Springer.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, G., Guha, S., &; Kupferman, O. (2017). Timed network games with clocks (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, J., Marre, O., Ioffe, M., Loback, A., Tkadik, G., &; Berry, M. (2017). Data from: Error-robust modes of the retinal population code. Dryad.https://doi.org/10.5061/dryad.1f1rc 
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122__Ackermann, M. (2017). Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007122 
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Pleska, M., &; Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society.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, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s017__Ackermann, M. (2017). Mathematical model. Public Library of Science.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, M., Novak, S., &; Paixao, T. (2017). Modelling and simulation details. Public Library of Science.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, M., Novak, S., &; Paixao, T. (2017). Extensions of the model. Public Library of Science.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, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s016__Ackermann, M. (2017). Supplementary methods. Public Library of Science.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, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005582 
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Lukacisinova, M., Novak, S., &; Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science.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, M., Novak, S., &; Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science.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, M. J., Masset, P., Gutkin, B., &; Denève, S. (2017). Supplementary appendix. Public Library of Science.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, X., Chu, D. H., Lo, D., Le Goues, C., &; Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM.https://doi.org/10.1145/3092703.3098225 
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Mitchell, J., Zhang, W., Herde, M., Henneberger, C., Janovjak, H. L., O’Mara, M., &; Jackson, C. (2017). Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 89–99). Springer.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, P., Cebrián, C., Zong, H., Hippenmeyer, S., &; Costantini, F. (2017). Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. Dryad.https://doi.org/10.5061/dryad.pk16b 
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S.,https://doi.org/10.1371/journal.pgen.1007122.s018__Ackermann, M. (2017). Source data for figures and tables. Public Library of Science.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, A., &; Kiss, J. (2017). Scientific Computing at IST Austria. In AHP – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific Computing.
LibreCat: https://research-explorer.ista.ac.at/record/12905

Kretinsky, J., Meggendorfer, T., Waldmann, C., &; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer.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, G., Henzinger, T. A., &; Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, A., Masárová, Z., &; Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.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, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria.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, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6291

Pleska, M., &; Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society.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, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria.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, K., Rieckh, G., &; Bollenbach, M. T. (2017). Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. Cell Press.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, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.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, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria.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, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria.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, P., Pietrzak, K. Z., &; Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum.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, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.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, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.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, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria.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, H., Nikitenko, A., &; Reitzner, M. (2017). Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. Cambridge University Press.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, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., &; Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer.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, J. (2017). Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/17-ECP97 
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

Bogomolov, S., Giacobbe, M., Henzinger, T. A., &; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer.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, S., Frehse, G., Giacobbe, M., &; Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer.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., &; Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/16-ECP38 
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B.,https://doi.org/10.1145/3130800.3130890__Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3130800.3130890 
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890