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.
5502 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8572 | 
Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Thesis | IST-REx-ID: 8574 |
Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8579 |
Andrei, A., Öztürk, Y., Khalfaoui-Hassani, B., Rauch, J., Marckmann, D., Trasnea, P. I., … Koch, H.-G. (2020). Cu homeostasis in bacteria: The ins and outs. Membranes. MDPI. https://doi.org/10.3390/membranes10090242
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8580
Graff, G., Graff, B., Jablonski, G., & Narkiewicz, K. (2020). The application of persistent homology in the analysis of heart rate variability. In 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, . Pisa, Italy: IEEE. https://doi.org/10.1109/ESGCO49734.2020.9158054
View
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8581
Pinke, G., Zhou, L., & Sazanov, L. A. (2020). Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-020-0503-8
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8587 |
Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., & Deuchert, A. (2020). Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5144759
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8588 |
Hubert, C., Cohen, K., Ghazaryan, A., Lemeshko, M., Rapaport, R., & Santos, P. V. (2020). Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.045307
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8589 |
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8592 |
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8597 |
Merrin, J. (2020). Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. IOP Publishing. https://doi.org/10.1088/1478-3975/abb2db
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8599 |
Avni, G., & Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8600 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8607 |
Liu, D., Kumar, R., LAN, C., Johnson, A. J., Siao, W., Vanhoutte, I., … Russinova, E. (2020). Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.20.00384
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Submitted | Preprint | IST-REx-ID: 8616 |
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 8623 |
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8634 |
Suri, B., Kageorge, L., Grigoriev, R. O., & Schatz, M. F. (2020). Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.125.064501
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8643 |
Deichler, A., Carrasco, D., Lopez-Jury, L., Vega Zuniga, T. A., Marquez, N., Mpodozis, J., & Marin, G. (2020). A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-020-72848-0
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8644 |
Rzadkowski, W., Defenu, N., Chiacchiera, S., Trombettoni, A., & Bighin, G. (2020). Detecting composite orders in layered models via machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/abae44
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8645 |
Esteban, L. A., Lonishin, L. R., Bobrovskiy, D. M., Leleytner, G., Bogatyreva, N. S., Kondrashov, F., & Ivankov, D. N. (2020). HypercubeME: Two hundred million combinatorially complete datasets from a single experiment. Bioinformatics. Oxford Academic. https://doi.org/10.1093/bioinformatics/btz841
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8652 |
Ghazaryan, A., Lemeshko, M., & Volosniev, A. (2020). Filtering spins by scattering from a lattice of point magnets. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-00445-8
[Published Version]
View
| Files available
| DOI
| WoS