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
Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is Hard.” Graph-Theoretic Concepts in Computer Science, vol. 12301, Springer Nature, 2020, pp. 325–38, doi:10.1007/978-3-030-60440-0_26.
View
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 10865 | 
Chakraborty, Suvradip, et al. “Witness Maps and Applications.” Public-Key Cryptography, edited by A Kiayias, vol. 12110, Springer Nature, 2020, pp. 220–46, doi:10.1007/978-3-030-45374-9_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8057 |
Bouchal, Roza, et al. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie, vol. 132, no. 37, Wiley, 2020, pp. 16047–51, doi:10.1002/ange.202005378.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7847 |
Bouchal, Roza, et al. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie International Edition, vol. 59, no. 37, Wiley, 2020, pp. 15913–1591, doi:10.1002/anie.202005378.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 8329 |
Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition, vol. 59, no. 51, Wiley, 2020, pp. 22943–46, doi:10.1002/anie.202008253.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Research Data Reference | IST-REx-ID: 9780 |
Schlemmer, Werner, et al. CCDC 1991959: Experimental Crystal Structure Determination. CCDC, 2020, doi: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, Alejandro, 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, 2020, pp. 554–75, doi:10.1111/bpa.12802.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7417 |
Sinclair, Scott A., et al. “Regulation of Acetylation of Plant Cell Wall Components Is Complex and Responds to External Stimuli.” Plant Signaling & Behavior, vol. 15, no. 1, e1687185, Informa UK Limited, 2020, doi:10.1080/15592324.2019.1687185.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Thesis | IST-REx-ID: 8574 |
Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8589 |
Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 8092 |
Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” Domain Adaptation for Visual Understanding, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi:10.1007/978-3-030-30671-7_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Thesis | IST-REx-ID: 7944 |
Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version]
View
| Files available
| DOI
2020 |Published| Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
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, doi:10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8705 |
Mysliwy, Krzysztof, and Robert 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, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8272 |
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8163 |
Vegter, Gert, and Mathijs 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ó, 2020, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Thesis | IST-REx-ID: 8390 |
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9157 |
Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics, vol. 8, no. 1, De Gruyter, 2020, pp. 51–67, doi:10.1515/cmb-2020-0100.
[Published Version]
View
| Files available
| DOI