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.
1612 Publications
2022 | Journal Article | IST-REx-ID: 11601 | 
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Hon M, Bugnet LA, Jones C, Reyes C, Sharma S, Schönrich R, Warfield JT, Luger R, Vanderburg A, Kobayashi C, Pinsonneault MH, Johnson JA, Huber D, Buder S, Joyce M, Bland-Hawthorn J, Casagrande L, Lewis GF, Miglio A, Nordlander T, Davies GR, Silva GD, Chaplin WJ, Silva Aguirre V. 2022. The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in C1–C8 and C10–C18. The Astrophysical Journal. 926(2), 191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11812 |
Hanauer K, Henzinger MH, Hua QC. 2022. Fully dynamic four-vertex subgraph counting. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 18.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12072 |
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12300 |
Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. 2022. Practical asynchronous distributed key generation. 2022 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 2518–2534.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Book Chapter | IST-REx-ID: 12303 |
Mirković I, Yang Y, Zhao G. 2022.Loop Grassmannians of Quivers and Affine Quantum Groups. In: Representation Theory and Algebraic Geometry. Trends in Mathematics, , 347–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12529 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2022. A direct symbolic algorithm for solving stochastic rabin games. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13244, 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12582 |
Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. 2022. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 17(6), 064004.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12574 |
Kneib M, Miles ES, Buri P, Fugger S, McCarthy M, Shaw TE, Chuanxi Z, Truffer M, Westoby MJ, Yang W, Pellicciotti F. 2022. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 16(11), 4701–4725.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Conference Paper | IST-REx-ID: 11839 |
Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Abstract | IST-REx-ID: 12894 |
Schlögl A, Hornoiu A, Elefante S, Stadlbauer S. 2022. Where is the sweet spot? A procurement story of general purpose compute nodes. ASHPC22 - Austrian-Slovenian HPC Meeting 2022. ASHPC: Austrian-Slovenian HPC Meeting, 7.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11777 |
Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11128 |
Matejovicova L. 2022. Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 13352 |
Cai J, Zhang W, Xu L, Hao C, Ma W, Sun M, Wu X, Qin X, Colombari FM, de Moura AF, Xu J, Silva MC, Carneiro-Neto EB, Gomes WR, Vallée RAL, Pereira EC, Liu X, Xu C, Klajn R, Kotov NA, Kuang H. 2022. Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles. Nature Nanotechnology. 17(4), 408–416.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10717 |
Wang R, Himschoot E, Grenzi M, Chen J, Safi A, Krebs M, Schumacher K, Nowack M, Moeder W, Yoshioka K, Van Damme D, De Smet I, Geelen D, Beeckman T, Friml J, Costa A, Vanneste S. 2022. Auxin analog-induced Ca2+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. 73(8), erac019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10765 |
Cao Y, Huang Z. 2022. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. 398(3), 108236.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10776 |
Patakova Z, Tancer M, Wagner U. 2022. Barycentric cuts through a convex body. Discrete and Computational Geometry. 68, 1133–1154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10841 |
Dahhan D, Reynolds G, Cárdenas J, Eeckhout D, Johnson AJ, Yperman K, Kaufmann W, Vang N, Yan X, Hwang I, Heese A, De Jaeger G, Friml J, Van Damme D, Pan J, Bednarek S. 2022. Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. 34(6), 2150–2173.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC