Please note that IST 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.
6107 Publications
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8349 | 
Nardin, Michele, James W Phillips, William F Podlaski, and Sander W Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” ArXiv, n.d.
View
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8012 |
Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385980.
View
| Files available
| DOI
| Download Published Version (ext.)
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.
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.
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Thesis | IST-REx-ID: 8340
Kampjut, Domen. “Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8340.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8358.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7262 |
Guseinov, Ruslan, Connor McMahan, Jesus Perez Rodriguez, Chiara Daraio, and Bernd Bickel. “Programming Temporal Morphing of Self-Actuated Shells.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-019-14015-2.
View
| Files available
| DOI
2020 | Technical Report | IST-REx-ID: 8067 |
Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce, Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal, and Stefan Alexander Freunberger. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria, n.d. https://doi.org/10.15479/AT:ISTA:8067.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7572 |
Dos Santos Caldas, Paulo R, Philipp Radler, Christoph M Sommer, and Martin Loose. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.” Methods in Cell Biology. Elsevier, 2020. https://doi.org/10.1016/bs.mcb.2020.01.006.
View
| Files available
| DOI
| Download Preprint (ext.)