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| Conference Paper | IST-REx-ID: 8732
A. M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, and T. Wiedera, “Inserting one edge into a simple drawing is hard,” in Graph-Theoretic Concepts in Computer Science, Leeds, United Kingdom, 2020, vol. 12301, pp. 325–338.
View
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 10865 | 
S. Chakraborty, M. Prabhakaran, and D. Wichs, “Witness maps and applications,” in Public-Key Cryptography, vol. 12110, A. Kiayias, Ed. Cham: Springer Nature, 2020, pp. 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8057 |
R. Bouchal et al., “Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte,” Angewandte Chemie, vol. 132, no. 37. Wiley, pp. 16047–16051, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7847 |
R. Bouchal et al., “Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte,” Angewandte Chemie International Edition, vol. 59, no. 37. Wiley, pp. 15913–1591, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 8329 |
W. Schlemmer et al., “2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries,” Angewandte Chemie International Edition, vol. 59, no. 51. Wiley, pp. 22943–22946, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Research Data Reference | IST-REx-ID: 9780 |
W. Schlemmer et al., “CCDC 1991959: Experimental Crystal Structure Determination.” CCDC, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 7207 |
A. Martín-Belmonte et al., “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, vol. 30, no. 3. Wiley, pp. 554–575, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7417 |
S. A. Sinclair, S. Gille, M. Pauly, and U. Krämer, “Regulation of acetylation of plant cell wall components is complex and responds to external stimuli,” Plant Signaling & Behavior, vol. 15, no. 1. Informa UK Limited, 2020.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Thesis | IST-REx-ID: 8574 |
E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8589 |
H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
Z. Masárová, “Reconfiguration problems,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8032 |
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8705 |
K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit,” Annales Henri Poincare, vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8272 |
K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in International Conference on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8163 |
G. Vegter and M. Wintraecken, “Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes,” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2. Akadémiai Kiadó, pp. 193–199, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8390 |
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9157 |
A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 51–67, 2020.
[Published Version]
View
| Files available
| DOI