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.

1849 Publications


2020 | Book Chapter | IST-REx-ID: 10865 | OA
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8057 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie International Edition 59 (2020) 15913–1591.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8329 | OA
2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Research Data Reference | IST-REx-ID: 9780 | OA
CCDC 1991959: Experimental Crystal Structure Determination
W. Schlemmer, P. Nothdurft, A. Petzold, G. Riess, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7207 | OA
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7417 | OA
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8589 | OA
Novel insights into PIN polarity regulation during Arabidopsis development
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 | Book Chapter | IST-REx-ID: 8092 | OA
XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
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 | Journal Article | IST-REx-ID: 8705 | OA
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 8163 | OA
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Leveraging structure in Computer Vision tasks for flexible Deep Learning models
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 | Journal Article | IST-REx-ID: 9157 | OA
The weighted mean curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8973 | OA
Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications