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.
5339 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8572 | 
Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” In EPiC Series in Computing, 74:16–48. EasyChair, 2020. https://doi.org/10.29007/7dt2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Thesis | IST-REx-ID: 8574 |
Szep, Eniko. “Local Adaptation in Metapopulations.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8579 |
Andrei, Andreea, Yavuz Öztürk, Bahia Khalfaoui-Hassani, Juna Rauch, Dorian Marckmann, Petru Iulian Trasnea, Fevzi Daldal, and Hans-Georg Koch. “Cu Homeostasis in Bacteria: The Ins and Outs.” Membranes. MDPI, 2020. https://doi.org/10.3390/membranes10090242.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8580
Graff, Grzegorz, Beata Graff, Grzegorz Jablonski, and Krzysztof Narkiewicz. “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, . IEEE, 2020. https://doi.org/10.1109/ESGCO49734.2020.9158054.
View
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8581
Pinke, Gergely, Long Zhou, and Leonid A Sazanov. “Cryo-EM Structure of the Entire Mammalian F-Type ATP Synthase.” Nature Structural and Molecular Biology. Springer Nature, 2020. 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, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.” The Journal of Chemical Physics. AIP Publishing, 2020. 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., K. Cohen, Areg Ghazaryan, Mikhail Lemeshko, R. Rapaport, and P. V. Santos. “Attractive Interactions, Molecular Complexes, and Polarons in Coupled Dipolar Exciton Fluids.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.045307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8589 |
Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. 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 | Conference Paper | IST-REx-ID: 8599 |
Avni, Guy, and Thomas A Henzinger. “A Survey of Bidding Games on Graphs.” In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8600 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. 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, R Kumar, Claus LAN, Alexander J Johnson, W Siao, I Vanhoutte, P Wang, et al. “Endocytosis of BRASSINOSTEROID INSENSITIVE1 Is Partly Driven by a Canonical Tyrosine-Based Motif.” Plant Cell. American Society of Plant Biologists, 2020. 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, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In Runtime Verification, 12399:3–18. Springer Nature, 2020. 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, Balachandra, Logan Kageorge, Roman O. Grigoriev, and Michael F. Schatz. “Capturing Turbulent Dynamics and Statistics in Experiments with Unstable Periodic Orbits.” Physical Review Letters. American Physical Society, 2020. 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, Alfonso, Denisse Carrasco, Luciana Lopez-Jury, Tomas A Vega Zuniga, Natalia Marquez, Jorge Mpodozis, and Gonzalo Marin. “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, 2020. 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, Wojciech, N Defenu, S Chiacchiera, A Trombettoni, and Giacomo Bighin. “Detecting Composite Orders in Layered Models via Machine Learning.” New Journal of Physics. IOP Publishing, 2020. https://doi.org/10.1088/1367-2630/abae44.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8645 |
Esteban, Laura A, Lyubov R Lonishin, Daniil M Bobrovskiy, Gregory Leleytner, Natalya S Bogatyreva, Fyodor Kondrashov, and Dmitry N Ivankov. “HypercubeME: Two Hundred Million Combinatorially Complete Datasets from a Single Experiment.” Bioinformatics. Oxford Academic, 2020. 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, Areg, Mikhail Lemeshko, and Artem Volosniev. “Filtering Spins by Scattering from a Lattice of Point Magnets.” Communications Physics. Springer Nature, 2020. https://doi.org/10.1038/s42005-020-00445-8.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8669 |
Sznurkowska, Magdalena K., Edouard B Hannezo, Roberta Azzarelli, Lemonia Chatzeli, Tatsuro Ikeda, Shosei Yoshida, Anna Philpott, and Benjamin D Simons. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18837-3.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC