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.
4165 Publications
2017 | 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
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | 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
View
| Files available
| DOI
2017 | 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
View
| Files available
| DOI
2017 | 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
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. IST Austria. https://doi.org/10.15479/AT:ISTA:51
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. IST Austria. https://doi.org/doi:10.15479/AT:ISTA:53
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. IST Austria. https://doi.org/10.15479/AT:ISTA:57
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. IST Austria. https://doi.org/10.15479/AT:ISTA:61
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.” IST Austria. https://doi.org/10.15479/AT:ISTA:64
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.” IST Austria. https://doi.org/10.15479/AT:ISTA:65
View
| Files available
| DOI