Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
8915 Publications
2017 | Published | Journal Article | IST-REx-ID: 540 | 
Khamina, K., Lercher, A., Caldera, M., Schliehe, C., Vilagos, B., Sahin, M., … Bergthaler, A. (2017). Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1006758
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 541 |
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 | Report | IST-REx-ID: 5450 |
Petritsch, B. (2017). Implementing the institutional data repository IST DataRep. IST Austria.
View
| Files available
| Download (ext.)
2017 | Published | Technical Report | IST-REx-ID: 5455 |
Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria. https://doi.org/10.15479/AT:IST-2017-870-v1-1
[Published Version]
View
| Files available
| DOI
2017 | Published | Technical Report | IST-REx-ID: 5456 |
Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria. https://doi.org/10.15479/AT:IST-2017-872-v1-1
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 548 |
De Martino, D. (2017). Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.96.060401
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 549 |
Finkbeiner, B., & Kupriyanov, A. (2017). Causality-based model checking. In Electronic Proceedings in Theoretical Computer Science (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. https://doi.org/10.4204/EPTCS.259.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 550 |
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
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 551 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.61
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 552 |
Chatterjee, K., Henzinger, M. H., & Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.39
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 553 |
Chatterjee, K., Hansen, K., & Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.55
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data | IST-REx-ID: 5559 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak , M. (2017). Strong amplifiers of natural selection. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:51
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller, T., Andersson, A. M., Tomasek, K., Balleza, E., Kiviet, D., Hauschild, R., … Guet, C. C. (2017). Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:53
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
Kainmueller, D., Jug, F., Rother, C., & Meyers, G. (2017). Graph matching problems for annotating C. Elegans. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:57
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5562 |
Marre, O., Tkačik, G., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2017). Multi-electrode array recording from salamander retinal ganglion cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:61
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin, M. (2017). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:64
[Published Version]
View
| Files available
| 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.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:65
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
Leithner, A. F. (2017). Immunological synapse DC-Tcells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:71
[Published Version]
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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:73
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 557 |
Nickells, R., Schmitt, H., Maes, M. E., & Schlamp, C. (2017). AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/iovs.17-22634
[Published Version]
View
| Files available
| DOI