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.




4634 Publications

2017 | Journal Article | IST-REx-ID: 700 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 744 | OA
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 | OA
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 | OA
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 | OA
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 | 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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 822 | OA
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 | OA
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 | OA
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 | OA
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: 833 | OA
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 | 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: 9445 | OA
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
 
2017 | Book Chapter | IST-REx-ID: 957
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
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 963 | OA
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
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2017). Data from: Error-robust modes of the retinal population code. Dryad. https://doi.org/10.5061/dryad.1f1rc
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 541 | OA
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … 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
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
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
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Mathematical model. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s017
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Modelling and simulation details. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s001
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Extensions of the model. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s002
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Supplementary methods. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s016
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 680 | OA
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
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9851
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
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9852
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
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9855
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
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 941
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
View | DOI
 
2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman, D. (2017). An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-017-1230-2
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 958
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
View | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2017). Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. Dryad. https://doi.org/10.5061/dryad.pk16b
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Source data for figures and tables. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s018
View | Files available | DOI
 
2017 | Conference Abstract | IST-REx-ID: 12905 | OA
Schlögl, A., & Kiss, J. (2017). Scientific Computing at IST Austria. In AHPC17 – Austrian HPC Meeting 2017 (p. 28). Grundlsee, Austria: FSP Scientific Computing.
View | Files available | Download Published Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 13160 | OA
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
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 950 | OA
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
View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 683 | OA
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
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 12193 | OA
Walker, J., Gao, H., Zhang, J., Aldridge, B., Vickers, M., Higgins, J. D., & Feng, X. (2017). Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. Springer Science and Business Media LLC. https://doi.org/10.1038/s41588-017-0008-5
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 1155 | OA
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
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 561 | OA
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
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 818 | OA
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
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
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: 666 | OA
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 | Journal Article | IST-REx-ID: 734 | OA
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: 821 | OA
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
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 820 | OA
Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_857
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_855
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 838 | OA
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
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
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 | Research Data | IST-REx-ID: 5568 | OA
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
 

Search

Filter Publications