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, L. A., Prat, V., Mathis, S., García, R. A., Mathur, S., Augustson, K., … Thompson, M. J. (2020). The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars. In M. Monteiro, R. A. Garcia, J. Christensen-Dalsgaard, & S. W. McIntosh (Eds.), Dynamics of the Sun and Stars (1st ed., Vol. 57, pp. 251–257). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-55336-4_33
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11674 |
Henzinger, M. H., Leniowski, D., & Mathieu, C. (2020). Dynamic clustering to minimize the sum of radii. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-020-00721-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11880 |
Hanauer, K., Henzinger, M. H., & Schulz, C. (2020). Fully dynamic single-source reachability in practice: An experimental study. In 2020 Symposium on Algorithm Engineering and Experiments (pp. 106–119). Salt Lake City, UT, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976007.9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11881 |
Henzinger, M. H., Noe, A., & Schulz, C. (2020). Shared-memory branch-and-reduce for multiterminal cuts. In 2020 Symposium on Algorithm Engineering and Experiments (pp. 42–55). Salt Lake City, UT, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976007.4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 9040 |
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9059
Hueckel, T., Hocky, G. M., Palacci, J. A., & Sacanna, S. (2020). Ionic solids from common colloids. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2205-0
View
| DOI
| PubMed | Europe PMC
2020 | Book Chapter | IST-REx-ID: 9132
Muller, C. J. (2020). Clouds in current and in a warming climate. In F. Bouchet, T. Schneider, A. Venaille, & C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics (Vol. 109). Oxford University Press. https://doi.org/10.1093/oso/9780198855217.003.0002
View
| DOI
2020 | Journal Article | IST-REx-ID: 9578 |
Bucić, M., Kwan, M. A., Pokrovskiy, A., Sudakov, B., Tran, T., & Wagner, A. Z. (2020). Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-020-2035-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9685 |
Cheng, B., Mazzola, G., Pickard, C. J., & Ceriotti, M. (2020). Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2677-y
[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. Copernicus Publications. https://doi.org/10.5194/tc-14-2005-2020
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7033 |
Donahue, R., Maes, M. E., Grosser, J., & Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. Springer Nature. https://doi.org/10.1007/s12035-019-01783-7
[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., … Freunberger, S. A. (n.d.). Current status and future perspectives of Lithium metal batteries. IST Austria. https://doi.org/10.15479/AT:ISTA:8067
[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., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2020.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. https://doi.org/10.15479/AT:ISTA:8390
[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. De Gruyter. https://doi.org/10.1515/cmb-2020-0100
[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. De Gruyter. https://doi.org/10.1515/cmb-2020-0101
[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. https://doi.org/10.15479/AT:ISTA:8366
[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. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (pp. 1751–1767). Virtual, United States: Association for Computing Machinery. https://doi.org/10.1145/3372297.3423364
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS