Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4241 Publications
2017 | Conference Paper | IST-REx-ID: 647 |

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
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 693 |

Miki, T., Kaufmann, W., Malagon, G., Gomez, L., Tabuchi, K., Watanabe, M., … Marty, A. (2017). Numbers of presynaptic Ca2+ 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
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 694 |

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
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 697 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 698 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 699 |

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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 700 |

Barzanjeh, S., Salari, V., Tuszynski, J., Cifra, M., & Simon, C. (2017). Optomechanical proposal for monitoring microtubule mechanical vibrations. Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics. https://doi.org/10.1103/PhysRevE.96.012404
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 701 |

Kynčl, J., & Patakova, Z. (2017). On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. International Press.
View
| Files available
2017 | Journal Article | IST-REx-ID: 702
Novarino, G. (2017). The riddle of CHD8 haploinsufficiency in autism spectrum disorder. Science Translational Medicine. American Association for the Advancement of Science. https://doi.org/10.1126/scitranslmed.aao0972
View
| DOI
2017 | Research Data | IST-REx-ID: 5564 |

Steinrück, M., & Guet, C. C. (2017). Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” IST Austria. https://doi.org/10.15479/AT:ISTA:65
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 706
Geng, X., Maruo, T., Mandai, K., Supriyanto, I., Miyata, M., Sakakibara, S., … 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
View
| DOI
2017 | Journal Article | IST-REx-ID: 707 |

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
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 708 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 709
Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q., … 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
View
| DOI
2017 | Conference Paper | IST-REx-ID: 710 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 713 |

Andergassen, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber, M., … 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
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 711 |

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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 712 |

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
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 714 |

Brailoiu, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M., … Brǎiloiu, E. (2017). HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. Elsevier. https://doi.org/10.1016/j.drugalcdep.2017.04.015
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 715
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
View
| DOI
2017 | Journal Article | IST-REx-ID: 716 |

Chatterjee, K., & Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM. https://doi.org/10.1145/3121408
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 614 |

Fraisse, C., Picard, M. A. L., & Vicoso, B. (2017). The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01663-5
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 717 |

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
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Research Data | IST-REx-ID: 7163 |

Fraisse, C. (2017). Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” IST Austria. https://doi.org/10.15479/AT:ISTA:7163
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 718 |

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
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, K., & Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer. https://doi.org/10.1007/s00236-017-0299-0
View
| DOI
2017 | Journal Article | IST-REx-ID: 720 |

Humplik, J., & Tkačik, 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
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 721 |

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
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 722 |

Morris, E., Griffiths, M., Golebiowska, A., Mairhofer, S., Burr Hersey, J., Goh, T., … Bennett, M. (2017). Shaping 3D root system architecture. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.06.043
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 725 |

Harpaz, R., Tkačik, 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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 724 |

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
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 726 |

Hannezo, E. B., Scheele, C., Moad, M., Drogo, N., Heer, R., Sampogna, R., … Simons, B. (2017). A unifying theory of branching morphogenesis. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.08.026
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 727
Mueller, J., Szep, G., Nemethova, M., de Vries, I., Lieber, A., Winkler, C., … Sixt, M. K. (2017). Load adaptation of lamellipodial actin networks. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.07.051
View
| DOI
2017 | Journal Article | IST-REx-ID: 728
Chan, C., Heisenberg, C.-P. J., & Hiiragi, T. (2017). Coordination of morphogenesis and cell fate specification in development. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.07.010
View
| DOI
2017 | Journal Article | IST-REx-ID: 729
Spiro, Z. P., & Heisenberg, C.-P. J. (2017). Regeneration tensed up polyploidy takes the lead. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.09.008
View
| DOI
2017 | Journal Article | IST-REx-ID: 730
Savin, C., & Tkačik, G. (2017). Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2017.08.001
View
| DOI
2017 | Journal Article | IST-REx-ID: 731
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
View
| DOI
2017 | Journal Article | IST-REx-ID: 733 |

Bao, Z., Erdös, L., & Schnelli, K. (2017). Convergence rate for spectral distribution of addition of random matrices. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2017.08.028
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 736 |

Rubio, M., Matsui, K., Fukazawa, Y., Kamasawa, N., Harada, H., Itakura, M., … Shigemoto, R. (2017). The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. Springer. https://doi.org/10.1007/s00429-017-1408-0
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 7360 |

Smole, A., Lainšček, 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
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 737
Virk, Z., & Zastrow, A. (2017). A new topology on the universal path space. Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2017.09.015
View
| DOI
2017 | Journal Article | IST-REx-ID: 739 |

Nam, P., & Napiórkowski, M. M. (2017). A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2017.05.013
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 740 |

Shigemoto, R., & Jösch, M. A. (2017). The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/wdev.288
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 741 |

Moser, T., & Seiringer, R. (2017). Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-017-2980-0
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 744 |

Priklopil, T., Chatterjee, K., & Nowak, M. (2017). Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2017.08.025
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 745 |

Xu, D., Warnecke, S., Song, B., Ma, X., & Hof, B. (2017). Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.620
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View
| DOI
2017 | Journal Article | IST-REx-ID: 746 |

Aloisi, E., Le Corf, K., Dupuis, J., Zhang, P., Ginger, M., Labrousse, V., … Frick, A. (2017). Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01191-2
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 747 |

Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., & Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2017.09.034
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 749 |

Chen, C., Satterfield, R., Young, S., & Jonas, P. M. (2017). Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2017.10.122
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 750
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
View
| DOI
2017 | Journal Article | IST-REx-ID: 751 |

Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.10.001
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 791 |

Alistarh, D.-A., Kopinsky, J., Li, J., & Nadiradze, G. (2017). The power of choice in priority scheduling. In Proceedings of the ACM Symposium on Principles of Distributed Computing (Vol. Part F129314, pp. 283–292). Washington, WA, USA: ACM. https://doi.org/10.1145/3087801.3087810
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 792 |

Budanur, N. B., Short, K., Farazmand, M., Willis, A., & Cvitanović, P. (2017). Relative periodic orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.699
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 793 |

Fulek, R., Mojarrad, H., Naszódi, M., Solymosi, J., Stich, S., & Szedlák, M. (2017). On the existence of ordinary triangles. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2017.07.002
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 794 |

Fulek, R. (2017). C-planarity of embedded cyclic c-graphs. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2017.06.016
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 795 |

Fulek, R., Kynčl, J., & Pálvölgyi, D. (2017). Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. International Press. https://doi.org/10.37236/6663
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 796 |

Keller, A. J., Dieterle, P., Fang, M., Berger, B., Fink, J. M., & Painter, O. (2017). Al transmon qubits on silicon on insulator for quantum device integration. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.4994661
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 798 |

Barzanjeh, S., Wulf, M., Peruzzo, M., Kalaee, M., Dieterle, P., Painter, O., & Fink, J. M. (2017). Mechanical on chip microwave circulator. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01304-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 797
Fink, J. M. (2017). Photonenblockade aufgelöst. Physik in Unserer Zeit. Wiley. https://doi.org/10.1002/piuz.201770305
View
| DOI
2017 | Journal Article | IST-REx-ID: 799 |

Kitakura, S., Adamowski, M., Matsuura, Y., Santuari, L., Kouno, H., Arima, K., … Tanaka, H. (2017). BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana. Plant and Cell Physiology. Oxford University Press. https://doi.org/10.1093/pcp/pcx118
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 800 |

Strüber, M., Sauer, J., Jonas, P. M., & Bartos, M. (2017). Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-00936-3
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 803 |

Samwer, M., Schneider, M., Hoefler, R., Schmalhorst, P. S., Jude, J., Zuber, J., & Gerlic, D. (2017). DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.07.038
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 804 |

Schmalhorst, P. S., Deluweit, F., Scherrers, R., Heisenberg, C.-P. J., & Sikora, M. K. (2017). Overcoming the limitations of the MARTINI force field in simulations of polysaccharides. Journal of Chemical Theory and Computation. American Chemical Society. https://doi.org/10.1021/acs.jctc.7b00374
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 805
Pfurr, S., Chu, Y., Bohrer, C., Greulich, F., Beattie, R. J., Mammadzada, K., … Schachtrup, C. (2017). The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development. Development. Company of Biologists. https://doi.org/10.1242/dev.145698
View
| DOI
2017 | Journal Article | IST-REx-ID: 807 |

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
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 818 |

Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_862
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 666 |

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
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |

Pull, C. (2017). Disease defence in garden ants. IST Austria. https://doi.org/10.15479/AT:ISTA:th_861
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 732 |

Pull, C., & Cremer, S. (2017). Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/s12862-017-1062-4
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 734 |

Kennedy, P., Baron, G., Qiu, B., Freitak, D., Helantera, H., Hunt, E., … Sumner, S. (2017). Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2017.08.004
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |

Jesse, F. (2017). The lac operon in the wild. IST Austria. https://doi.org/10.15479/AT:ISTA:th_857
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. IST Austria. https://doi.org/10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 822 |

de Vos, M., Zagórski, M. P., Mcnally, A., & Bollenbach, M. T. (2017). Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1713372114
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 823 |

Colabrese, S., De Martino, D., Leuzzi, L., & Marinari, E. (2017). Phase transitions in integer linear problems. Journal of Statistical Mechanics: Theory and Experiment. IOPscience. https://doi.org/10.1088/1742-5468/aa85c3
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 824 |

Budanur, N. B., & Hof, B. (2017). Heteroclinic path to spatially localized chaos in pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.516
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 825 |

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
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 559 |

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
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 833 |

Heiss, T., & Wagner, H. (2017). Streaming algorithm for Euler characteristic curves of multidimensional images. In M. Felsberg, A. Heyden, & N. Krüger (Eds.) (Vol. 10424, pp. 397–409). Presented at the CAIP: Computer Analysis of Images and Patterns, Ystad, Sweden: Springer. https://doi.org/10.1007/978-3-319-64689-3_32
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 834 |

Serbyn, M., Zlatko, P., & Abanin, D. (2017). Thouless energy and multifractality across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.96.104201
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 836
Ethier, M., Jablonski, G., & Mrozek, M. (2017). Finding eigenvalues of self-maps with the Kronecker canonical form. In Special Sessions in Applications of Computer Algebra (Vol. 198, pp. 119–136). Kalamata, Greece: Springer. https://doi.org/10.1007/978-3-319-56932-1_8
View
| DOI
2017 | Thesis | IST-REx-ID: 837 |

Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria. https://doi.org/10.15479/AT:ISTA:th_858
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1001 |

Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3072959.3073709
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |

Rybar, M. (2017). (The exact security of) Message authentication codes. IST Austria. https://doi.org/10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 6196 |

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
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |

Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 486 |

Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., … Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3130800.3130890
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1002 |

Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |

Hahn, D. (2017). Source codes: Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:73
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 84
Edelsbrunner, H., & Koehl, P. (2017). Computational topology for structural molecular biology. In C. Toth, J. O’Rourke, & J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition (pp. 1709–1735). CRC Press. https://doi.org/10.1201/9781315119601
View
| DOI
2017 | Journal Article | IST-REx-ID: 840 |

Vukušić, L., Kukucka, J., Watzinger, H., & Katsaros, G. (2017). Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.7b02627
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |

Nikitenko, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1120 |

Li, X., Seiringer, R., & Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.95.033608
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 910 |

Novak, S., & Barton, N. H. (2017). When does frequency-independent selection maintain genetic variation? Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.117.300129
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 912 |

Deuchert, A. (2017). A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics. AIP. https://doi.org/10.1063/1.4996580
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 916 |

Swoboda, P., Rother, C., Abu Alhaija, C., Kainmueller, D., & Savchynskyy, B. (2017). A study of lagrangean decompositions and dual ascent solvers for graph matching (Vol. 2017, pp. 7062–7071). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.747
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 942
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and semantic-guided repair synthesis via programming by examples (Vol. F130154, pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn, Germany: ACM. https://doi.org/10.1145/3106237.3106309
View
| DOI
2017 | Journal Article | IST-REx-ID: 945 |

Huylmans, A. K., Macon, A., & Vicoso, B. (2017). Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msx190
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 9445 |

Lyons, D. B., & Zilberman, D. (2017). DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.30674
View
| Files available
| DOI
| PubMed | Europe PMC