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.
1621 Publications
2020 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Thesis | IST-REx-ID: 7944 |
Masárová Z. 2020. Reconfiguration problems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | 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 | 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 | 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
2020 | Journal Article | IST-REx-ID: 8705 |
Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12), 4003–4025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Conference Paper | IST-REx-ID: 8272 |
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8163 |
Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8390 |
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9157 |
Akopyan A, Edelsbrunner H. 2020. The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 51–67.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8973 |
Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 14694 |
Alt J, Erdös L, Krüger TH. 2020. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. 25, 1421–1539.
[Published Version]
View
| Files available
| DOI
| arXiv