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.

8355 Publications


earlier version | 2020 | Published | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, 2020.
[Preprint] View | Files available | WoS | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8294 | OA
Hauschild, Robert. “RGtracker.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8294.
View | Files available | DOI
 

2020 | Submitted | Preprint | IST-REx-ID: 8307 | OA
Stewart, Alistair, and Eleftherios Kokoris Kogias. “GRANDPA: A Byzantine Finality Gadget.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2007.01560.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8308 | OA
Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility Edges in Disordered Interacting Systems.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.060202.
[Preprint] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8318 | OA
Gutierrez-Fernandez, Javier, Karol Kaszuba, Gurdeep S. Minhas, Rozbeh Baradaran, Margherita Tambalo, David T. Gallagher, and Leonid A Sazanov. “Key Role of Quinone in the Mechanism of Respiratory Complex I.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17957-0.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8323 | OA
Pach, János. “A Farewell to Ricky Pollack.” Discrete and Computational Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00237-5.
View | DOI | Download None (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2020. https://doi.org/10.1145/3371093.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8325 | OA
Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of Superharmonic Functions.” Communications in Mathematical Physics. Springer Nature, 2020. https://doi.org/10.1007/s00220-020-03828-8.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley, 2020. https://doi.org/10.1002/anie.202008253.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8332 | OA
Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova, Karolina, Juan C Montesinos López, Olga Šamajová, Jaroslav Nisler, Václav Mik, Hana Semerádová, Lucie Plíhalová, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17949-0.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi, Ioanna, Ondřej Novák, Zuzana Gelová, Alexander J Johnson, Ondřej Plíhal, Radim Simerský, Václav Mik, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17700-9.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 8339 | OA
Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8341 | OA
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 | Published | Thesis | PhD | IST-REx-ID: 8353 | OA
Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8353.
View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8358 | OA
Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8358.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8361 | OA
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.” Journal of Power Sources. Elsevier, 2020. https://doi.org/10.1016/j.jpowsour.2020.228803.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8366 | OA
Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.
[Published Version] View | Files available | DOI
 

2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov, Ruslan. “Supplementary Data for ‘Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.’” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8375.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8384 | OA
Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Chris Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” ACM Transactions on Graphics. Association for Computing Machinery, 2020. https://doi.org/10.1145/3386569.3392405.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed