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.
1850 Publications
2020 |Published| Journal Article | IST-REx-ID: 8971 | 
Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. 2020. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 11, 6437.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8987 |
Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7235 |
Lieb EH, Seiringer R. 2020. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 180, 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107, 475–506.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8623 |
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. 2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 12301, 325–338.
View
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 10865 |
Chakraborty S, Prabhakaran M, Wichs D. 2020.Witness maps and applications. In: Public-Key Cryptography. vol. 12110, 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8057 |
Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 132(37), 16047–16051.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7847 |
Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition. 59(37), 15913–1591.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 8329 |
Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 59(51), 22943–22946.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Research Data Reference | IST-REx-ID: 9780 |
Schlemmer W, Nothdurft P, Petzold A, Riess G, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. CCDC 1991959: Experimental Crystal Structure Determination, CCDC, 10.5517/ccdc.csd.cc24vsrk.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 7207 |
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, Moreno-Martínez AE, De La Ossa L, Martínez-Hernández J, Buisson A, Früh S, Bettler B, Shigemoto R, Fukazawa Y, Luján R. 2020. Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 30(3), 554–575.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7417 |
Sinclair SA, Gille S, Pauly M, Krämer U. 2020. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 15(1), e1687185.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Thesis | IST-REx-ID: 8574 |
Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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.
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
Masárová Z. 2020. Reconfiguration problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8032 |
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI