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.
320 Publications
2020 | Journal Article | IST-REx-ID: 11610 | 
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Book Chapter | IST-REx-ID: 11622 |
Bugnet LA, Prat V, Mathis S, García RA, Mathur S, Augustson K, Neiner C, Thompson MJ. 2020.The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars. In: Dynamics of the Sun and Stars. Astrophysics and Space Science Proceedings, vol. 57, 251–257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11674 |
Henzinger MH, Leniowski D, Mathieu C. 2020. Dynamic clustering to minimize the sum of radii. Algorithmica. 82(11), 3183–3194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11880 |
Hanauer K, Henzinger MH, Schulz C. 2020. Fully dynamic single-source reachability in practice: An experimental study. 2020 Symposium on Algorithm Engineering and Experiments. ALENEX: Symposium on Algorithm Engineering and Experiments, 106–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11881 |
Henzinger MH, Noe A, Schulz C. 2020. Shared-memory branch-and-reduce for multiterminal cuts. 2020 Symposium on Algorithm Engineering and Experiments. ALENEX: Symposium on Algorithm Engineering and Experiments, 42–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9040 |
Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9059
Hueckel T, Hocky GM, Palacci JA, Sacanna S. 2020. Ionic solids from common colloids. Nature. 580(7804), 487–490.
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 9578 |
Bucić M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. 2020. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 238(2), 663–685.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9685 |
Cheng B, Mazzola G, Pickard CJ, Ceriotti M. 2020. Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. 585(7824), 217–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 | Journal Article | IST-REx-ID: 12596 |
Ayala Á, Farías-Barahona D, Huss M, Pellicciotti F, McPhee J, Farinotti D. 2020. Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile. The Cryosphere. 14(6), 2005–2027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7033 |
Donahue R, Maes ME, Grosser J, Nickells R. 2020. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 57(2), 1070–1084.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7487 |
López De La Oliva AR, Campos-Sandoval JA, Gómez-García MC, Cardona C, Martín-Rufián M, Sialana FJ, Castilla L, Bae N, Lobo C, Peñalver A, García-Frutos M, Carro D, Enrique V, Paz JC, Mirmira RG, Gutiérrez A, Alonso FJ, Segura JA, Matés JM, Lubec G, Márquez J. 2020. Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation. Scientific reports. 10(1), 2259.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Technical Report | IST-REx-ID: 8067 |
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8361 |
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12), 228803.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| 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: 9156 |
Akopyan A, Edelsbrunner H. 2020. The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 74–88.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Thesis | IST-REx-ID: 8366 |
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 10556 |
Kokoris Kogias E, Malkhi D, Spiegelman A. 2020. Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. CCS: Computer and Communications Security, 1751–1767.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS