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.
4934 Publications
2020 | 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 | Thesis | IST-REx-ID: 8341 |
Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7580 |
Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.1921027117.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 | Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8195 |
Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS