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. Witness maps and applications. In: Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8057 |
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 2020;132(37):16047-16051. doi:10.1002/ange.202005378
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7847 |
Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition. 2020;59(37):15913-1591. doi:10.1002/anie.202005378
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8329 |
Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 2020;59(51):22943-22946. 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 W, Nothdurft P, Petzold A, et al. CCDC 1991959: Experimental Crystal Structure Determination. 2020. doi: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. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 2020;15(1). doi:10.1080/15592324.2019.1687185
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Thesis | IST-REx-ID: 8574 |
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8589 |
Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589
[Published Version]
View
| Files available
| DOI
2020 | Book Chapter | IST-REx-ID: 8092 |
Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. Domain Adaptation for Visual Understanding. Springer Nature; 2020:33-49. doi:10.1007/978-3-030-30671-7_3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 7944 |
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8195 |
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8705 |
Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025. doi:10.1007/s00023-020-00969-3
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Conference Paper | IST-REx-ID: 8272 |
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8163 |
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 2020;57(2):193-199. doi:10.1556/012.2020.57.2.1454
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8390 |
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9157 |
Akopyan A, Edelsbrunner H. The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 2020;8(1):51-67. doi:10.1515/cmb-2020-0100
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8973 |
Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 2020;25. doi:10.1214/20-EJP536
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 14694 |
Alt J, Erdös L, Krüger TH. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. 2020;25:1421-1539. doi:10.4171/dm/780
[Published Version]
View
| Files available
| DOI
| arXiv