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.

555 Publications


2022 | Conference Paper | IST-REx-ID: 12171 | OA
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: 12182 | OA
Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., & Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th International Symposium on Distributed Computing (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2022.52
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12177 | OA
Cremaschi, T., & Dello Schiavo, L. (2022). Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. American Mathematical Society. https://doi.org/10.1090/bproc/134
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12179 | OA
Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21m1424408
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12229 | OA
Spiegelman, A., Giridharan, N., Sonnino, A., & Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3548606.3559361
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12276 | OA
Ljubotina, M., Roos, B., Abanin, D. A., & Serbyn, M. (2022). Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.3.030343
[Published Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12300 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 12307
Shipman, B. A., & Stephenson, E. R. (2022). Tangible topology through the lens of limits. PRIMUS. Taylor & Francis. https://doi.org/10.1080/10511970.2021.1872750
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12508 | OA
Henzinger, T. A., Lehtinen, K., & Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.14
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12509 | OA
Avni, G., & Henzinger, T. A. (2022). An updated survey of bidding games on graphs. In 47th International Symposium on Mathematical Foundations of Computer Science (Vol. 241, p. 3:1-3:6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2022.3
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12529 | OA
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 | Conference Paper | IST-REx-ID: 12530
Finkbeiner, B., Mallik, K., Passing, N., Schledjewski, M., & Schmuck, A.-K. (2022). BOCoSy: Small but powerful symbolic output-feedback control. In 25th ACM International Conference on Hybrid Systems: Computation and Control (p. 24:1-24:11). Milan, Italy: ACM. https://doi.org/10.1145/3501710.3519535
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12540 | OA
Venkataramanan, R., Kögler, K., & Mondelli, M. (2022). Estimation in rotationally invariant generalized linear models via approximate message passing. In Proceedings of the 39th International Conference on Machine Learning (Vol. 162). Baltimore, MD, United States: ML Research Press.
[Published Version] View | Files available
 

2022 | Preprint | IST-REx-ID: 12536 | OA
Barbier, J., Hou, T., Mondelli, M., & Saenz, M. (n.d.). The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv. https://doi.org/10.48550/arXiv.2205.10009
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer, T. (2022). Risk-aware stochastic shortest path. In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022 (Vol. 36, pp. 9858–9867). Virtual: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i9.21222
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 12660 | OA
Scott, J. A., Yeo, M. X., & Lampert, C. (n.d.). Cross-client Label Propagation for transductive federated learning. arXiv. https://doi.org/10.48550/arXiv.2210.06434
[Preprint] View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 12662 | OA
Súkeník, P., & Lampert, C. (n.d.). Generalization in Multi-objective machine learning. arXiv. https://doi.org/10.48550/arXiv.2208.13499
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12664 | OA
Súkeník, P., Kuvshinov, A., & Günnemann, S. (2022). Intriguing properties of input-dependent randomized smoothing. In Proceedings of the 39th International Conference on Machine Learning (Vol. 162, pp. 20697–20743). Baltimore, MD, United States: ML Research Press.
[Published Version] View | Files available | arXiv
 

2022 | Journal Article | IST-REx-ID: 12495 | OA
Iofinova, E. B., Konstantinov, N. H., & Lampert, C. (2022). FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research. ML Research Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11938 | OA
Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2022). On compatible matchings. Journal of Graph Algorithms and Applications. Brown University. https://doi.org/10.7155/jgaa.00591
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 10706 | OA
Bialy, M., Fiorebe, C., Glutsyuk, A., Levi, M., Plakhov, A., & Tabachnikov, S. (2022). Open problems on billiards and geometric optics. Arnold Mathematical Journal. Hybrid: Springer Nature. https://doi.org/10.1007/s40598-022-00198-y
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 12677 | OA
Chatterjee, K., Mohammadi, M., & Saona Urmeneta, R. J. (n.d.). Repeated prophet inequality with near-optimal bounds. arXiv. https://doi.org/10.48550/ARXIV.2209.14368
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12580 | OA
Orr A, Ahmad B, Alam U, Appadurai A, Bharucha ZP, Biemans H, Bolch T, Chaulagain NP, Dhaubanjar S, Dimri AP, Dixon H, Fowler HJ, Gioli G, Halvorson SJ, Hussain A, Jeelani G, Kamal S, Khalid IS, Liu S, Lutz A, Mehra MK, Miles E, Momblanch A, Muccione V, Mukherji A, Mustafa D, Najmuddin O, Nasimi MN, Nüsser M, Pandey VP, Parveen S, Pellicciotti F, Pollino C, Potter E, Qazizada MR, Ray S, Romshoo S, Sarkar SK, Sawas A, Sen S, Shah A, Shah MAA, Shea JM, Sheikh AT, Shrestha AB, Tayal S, Tigala S, Virk ZT, Wester P, Wescoat JL. 2022. Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences. Earth’s Future. 10(4), e2021EF002619.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12581 | OA
Zhong, Y., Liu, Q., Westoby, M., Nie, Y., Pellicciotti, F., Zhang, B., … Lu, X. (2022). Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau. Earth Surface Dynamics. Copernicus Publications. https://doi.org/10.5194/esurf-10-23-2022
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12576 | OA
Shaw, T. E., Miles, E. S., Chen, D., Jouberton, A., Kneib, M., Fugger, S., … Pellicciotti, F. (2022). Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/ac9008
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12578 | OA
Compagno, L., Huss, M., Miles, E. S., McCarthy, M. J., Zekollari, H., Dehecq, A., … Farinotti, D. (2022). Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-16-1697-2022
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12579 | OA
Fugger, S., Fyffe, C. L., Fatichi, S., Miles, E., McCarthy, M., Shaw, T. E., … Pellicciotti, F. (2022). Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-16-1631-2022
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12582 | OA
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: 12577
Jouberton, A., Shaw, T. E., Miles, E., McCarthy, M., Fugger, S., Ren, S., … Pellicciotti, F. (2022). Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2109796119
View | DOI
 

2022 | Journal Article | IST-REx-ID: 12575 | OA
McCarthy, M., Meier, F., Fatichi, S., Stocker, B. D., Shaw, T. E., Miles, E., … Pellicciotti, F. (2022). Glacier contributions to river discharge during the current Chilean megadrought. Earth’s Future. American Geophysical Union. https://doi.org/10.1029/2022ef002852
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12574 | OA
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 | Journal Article | IST-REx-ID: 12573 | OA
McCarthy, M., Miles, E., Kneib, M., Buri, P., Fugger, S., & Pellicciotti, F. (2022). Supraglacial debris thickness and supply rate in High-Mountain Asia. Communications Earth & Environment. Springer Nature. https://doi.org/10.1038/s43247-022-00588-2
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 12780 | OA
Markov, I., Ramezanikebrya, H., & Alistarh, D.-A. (2022). CGX: Adaptive system support for communication-efficient deep learning. In Proceedings of the 23rd ACM/IFIP International Middleware Conference (pp. 241–254). Quebec, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3528535.3565248
[Published Version] View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 12860 | OA
Bombari, S., Achille, A., Wang, Z., Wang, Y.-X., Xie, Y., Singh, K. Y., … Soatto, S. (n.d.). Towards differential relational privacy and its use in question answering. arXiv. https://doi.org/10.48550/arXiv.2203.16701
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 10788 | OA
Wilsch, F. A. (n.d.). Integral points of bounded height on a certain toric variety. arXiv. https://doi.org/10.48550/arXiv.2202.10909
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11839 | OA
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 | Journal Article | IST-REx-ID: 12067 | OA
Madani, A., Anghileri, L., Heydenreich, M., Möller, H. M., & Pieber, B. (2022). Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch. Organic Letters. American Chemical Society. https://doi.org/10.1021/acs.orglett.2c02050
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12671 | OA
Buttress, T., He, S., Wang, L., Zhou, S., Saalbach, G., Vickers, M., … Feng, X. (2022). Histone H2B.8 compacts flowering plant sperm through chromatin phase separation. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05386-6
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12670 | OA
He, S., & Feng, X. (2022). DNA methylation dynamics during germline development. Journal of Integrative Plant Biology. Wiley. https://doi.org/10.1111/jipb.13422
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12924 | OA
Cavedon, C., Gisbertz, S., Reischauer, S., Vogl, S., Sperlich, E., Burke, J. H., … Pieber, B. (2022). Intraligand charge transfer enables visible‐light‐mediated Nickel‐catalyzed cross-coupling reactions. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202211433
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12938 | OA
Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2022). From vibrational spectroscopy and quantum tunnelling to periodic band structures – a self-supervised, all-purpose neural network approach to general quantum problems. Physical Chemistry Chemical Physics. Royal Society of Chemistry. https://doi.org/10.1039/d2cp03921d
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12923 | OA
Zhao, Z., Pieber, B., & Delbianco, M. (2022). Modulating the surface and photophysical properties of carbon dots to access colloidal photocatalysts for cross-couplings. ACS Catalysis. American Chemical Society. https://doi.org/10.1021/acscatal.2c04025
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Conference Abstract | IST-REx-ID: 12894 | OA
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 | Journal Article | IST-REx-ID: 11336 | OA
Amberg, N., Pauler, F., Streicher, C., & Hippenmeyer, S. (2022). Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.abq1263
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11442 | OA
Piovarci, M., Foshey, M., Xu, J., Erps, T., Babaei, V., Didyk, P., … Bickel, B. (2022). Closed-loop control of direct ink writing via reinforcement learning. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530144
[Submitted Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11844 | OA
Alistarh, D.-A., Rybicki, J., & Voitovych, S. (2022). Near-optimal leader election in population protocols on graphs. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (pp. 246–256). Salerno, Italy: Association for Computing Machinery. https://doi.org/10.1145/3519270.3538435
[Published Version] View | Files available | DOI | arXiv
 

2022 | Thesis | IST-REx-ID: 11777 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 13239 | OA
Van Der Plas, T. L., Vogels, T. P., & Manohar, S. G. (2022). Predictive learning enables neural networks to learn complex working memory tasks. In Proceedings of Machine Learning Research (Vol. 199, pp. 518–531). ML Research Press.
[Published Version] View | Files available
 

Filters and Search Terms

year=2022

Search

Filter Publications