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.
1608 Publications
2022 | Thesis | IST-REx-ID: 12072 | 
Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_22
[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. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/sp46214.2022.9833584
[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 V. Baranovskky, N. Guay, & T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser. https://doi.org/10.1007/978-3-030-82007-7_8
[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. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99527-0_5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12582 |
Miles, E. S., Steiner, J. F., Buri, P., Immerzeel, W. W., & Pellicciotti, F. (2022). Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/ac6966
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12574 |
Kneib, M., Miles, E. S., Buri, P., Fugger, S., McCarthy, M., Shaw, T. E., … Pellicciotti, F. (2022). Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-16-4701-2022
[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. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21
[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. In ASHPC22 - Austrian-Slovenian HPC Meeting 2022 (p. 7). Grundlsee, Austria: EuroCC Austria c/o Universität Wien. https://doi.org/10.25365/phaidra.337
[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. https://doi.org/10.15479/at:ista:11777
[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. https://doi.org/10.15479/at:ista:11128
[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., … Vanneste, S. (2022). Auxin analog-induced Ca2+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. Oxford Academic. https://doi.org/10.1093/jxb/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. Elsevier. https://doi.org/10.1016/j.aim.2022.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. Springer Nature. https://doi.org/10.1007/s00454-021-00364-7
[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, A. J., Yperman, K., … Bednarek, S. (2022). Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. Oxford Academic. https://doi.org/10.1093/plcell/koac071
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 10888 |
Lu, Q., Zhang, Y., Hellner, J., Giannini, C., Xu, X., Pauwels, J., … Russinova, E. (2022). 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. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2118220119
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11332 |
Schnelli, K., & Xu, Y. (2022). Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-022-04377-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Conference Paper | IST-REx-ID: 11331 |
Danezis, G., Kokoris Kogias, E., Sonnino, A., & Spiegelman, A. (2022). Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus. In Proceedings of the 17th European Conference on Computer Systems (pp. 34–50). Rennes, France: Association for Computing Machinery. https://doi.org/10.1145/3492321.3519594
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv