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
2022 |Published| Thesis | IST-REx-ID: 12072 | 
Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12171 |
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12300 |
Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. Practical asynchronous distributed key generation. In: 2022 IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers; 2022:2518-2534. doi:10.1109/sp46214.2022.9833584
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Book Chapter | IST-REx-ID: 12303 |
Mirković I, Yang Y, Zhao G. Loop Grassmannians of Quivers and Affine Quantum Groups. In: Baranovskky V, Guay N, Schedler T, eds. Representation Theory and Algebraic Geometry. 1st ed. TM. Cham: Springer Nature; Birkhäuser; 2022:347-392. doi:10.1007/978-3-030-82007-7_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12529 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. A direct symbolic algorithm for solving stochastic rabin games. In: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 13244. Springer Nature; 2022:81-98. doi:10.1007/978-3-030-99527-0_5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 12582 |
Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 2022;17(6). doi:10.1088/1748-9326/ac6966
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 12574 |
Kneib M, Miles ES, Buri P, et al. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 2022;16(11):4701-4725. doi:10.5194/tc-16-4701-2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 11839 |
Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi:10.1007/978-3-031-19803-8_21
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Abstract | IST-REx-ID: 12894 |
Schlögl A, Hornoiu A, Elefante S, Stadlbauer S. Where is the sweet spot? A procurement story of general purpose compute nodes. In: ASHPC22 - Austrian-Slovenian HPC Meeting 2022. EuroCC Austria c/o Universität Wien; 2022:7. doi:10.25365/phaidra.337
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11777 |
Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11128 |
Matejovicova L. Genetic basis of flower colour as a model for adaptive evolution. 2022. doi:10.15479/at:ista:11128
[Published Version]
View
| Files available
| DOI
2022 |Published| 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 |Published| Journal Article | IST-REx-ID: 10717 |
Wang R, Himschoot E, Grenzi M, et al. Auxin analog-induced Ca2+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. 2022;73(8). doi:10.1093/jxb/erac019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 10765 |
Cao Y, Huang Z. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. 2022;398(3). doi:10.1016/j.aim.2022.108236
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10776 |
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. Discrete and Computational Geometry. 2022;68:1133-1154. doi:10.1007/s00454-021-00364-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10841 |
Dahhan D, Reynolds G, Cárdenas J, et al. Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. 2022;34(6):2150-2173. doi:10.1093/plcell/koac071
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 10888 |
Lu Q, Zhang Y, Hellner J, et al. Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling. Proceedings of the National Academy of Sciences of the United States of America. 2022;119(11). doi:10.1073/pnas.2118220119
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Conference Paper | IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11332 |
Schnelli K, Xu Y. Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. 2022;393:839-907. doi:10.1007/s00220-022-04377-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11331 |
Danezis G, Kokoris Kogias E, Sonnino A, Spiegelman A. Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus. In: Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery; 2022:34-50. doi:10.1145/3492321.3519594
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv