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.




5046 Publications

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
[Submitted Version] 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
[Submitted Version] 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
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
[Published Version] 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
[Submitted Version] 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
[Submitted Version] 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
[Submitted Version] 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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
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: 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
[Published Version] View | Files available | DOI | 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: 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
[Published Version] 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: 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
[Published Version] View | Files available | DOI
 
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
[Published Version] View | Files available | 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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.
[Published Version] 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
[Preprint] 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
[Published Version] 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
[Published Version] View | Files available | DOI
 
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
[Published Version] 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.
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] View | Files available | DOI
 

Search

Filter Publications