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.
554 Publications
2022 | Journal Article | IST-REx-ID: 11996
Palacci JA. 2022. A soft active matter that can climb walls. Science. 377(6607), 710–711.
View
| DOI
| PubMed | Europe PMC
2022 | Conference Paper | IST-REx-ID: 12010 | 
Brunnbauer A, Berducci L, Brandstatter A, Lechner M, Hasani R, Rus D, Grosu R. 2022. Latent imagination facilitates zero-shot transfer in autonomous racing. 2022 International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, 7513–7520.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12007 |
GOSWAMI BB, An S-I, Murtugudde R. 2022. Role of the Tibetan plateau glaciers in the Asian summer monsoon. Climatic Change. 173(3–4), 29.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12011 |
Zhang Y, Jaggi S, Langberg M, Sarwate AD. 2022. The capacity of causal adversarial channels. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 2523–2528.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12017
Yadav AK, Alimohammadi M, Zhang Y, Budkuley AJ, Jaggi S. 2022. New results on AVCs with omniscient and myopic adversaries. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 2535–2540.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12016 |
Fathollahi D, Mondelli M. 2022. Polar coded computing: The role of the scaling exponent. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 2154–2159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12012 |
Torkamani S, Ebrahimi JB, Sadeghi P, D’Oliveira RGL, Médard M. 2022. Heterogeneous differential privacy via graphs. 2022 IEEE International Symposium on Information Theory. ISIT: Internation Symposium on Information Theory vol. 2022, 1623–1628.
[Preprint]
View
| DOI
| Download Preprint (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: 12102 |
Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 2022. Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 29.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12101 |
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12111 |
Stocker L, Sack S, Ferguson MS, Zilberberg O. 2022. Entanglement-based observables for quantum impurities. Physical Review Research. 4(4), 043177.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12135 |
Chen B, Piovarci M, Wang C, Seidel H-P, Didyk P, Myszkowski K, Serrano A. 2022. Gloss management for consistent reproduction of real and virtual objects. SIGGRAPH Asia 2022 Conference Papers. SIGGRAPH: Computer Graphics and Interactive Techniques Conference vol. 2022, 35.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12134 |
Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04LT02.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12156 |
Zoller B, Gregor T, Tkačik G. 2022. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 31(9), 100435.
[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: 12182 |
Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. 2022. Brief announcement: Temporal locality in online algorithms. 36th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol. 246, 52.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12177 |
Cremaschi T, Dello Schiavo L. 2022. Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. 9(43), 445–459.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12179 |
Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3), 1469–1487.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12229 |
Spiegelman A, Giridharan N, Sonnino A, Kokoris Kogias E. 2022. Bullshark: DAG BFT protocols made practical. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. CCS: CConference on Computer and Communications Security, 2705–2718.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12276 |
Ljubotina M, Roos B, Abanin DA, Serbyn M. 2022. Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. 3(3), 030343.
[Published Version]
View
| Files available
| DOI
| 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: 12508 |
Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12509 |
Avni G, Henzinger TA. 2022. An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science. MFCS: Symposium on Mathematical Foundations of Computer ScienceLeibniz International Proceedings in Informatics (LIPIcs) vol. 241, 3:1-3:6.
[Published Version]
View
| Files available
| DOI
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 | 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. 25th ACM International Conference on Hybrid Systems: Computation and Control. HSCC: International Conference on Hybrid Systems Computation and Control, 24:1-24:11.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12540 |
Venkataramanan R, Kögler K, Mondelli M. 2022. Estimation in rotationally invariant generalized linear models via approximate message passing. Proceedings of the 39th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 162, 22.
[Published Version]
View
| Files available
2022 | Preprint | IST-REx-ID: 12536 |
Barbier J, Hou T, Mondelli M, Saenz M. The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv, 2205.10009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12568 |
Meggendorfer T. 2022. Risk-aware stochastic shortest path. Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Conference on Artificial Intelligence vol. 36, 9858–9867.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12660 |
Scott JA, Yeo MX, Lampert C. Cross-client Label Propagation for transductive federated learning. arXiv, 2210.06434.
[Preprint]
View
| Files available
| DOI
| arXiv
2022 | Preprint | IST-REx-ID: 12662 |
Súkeník P, Lampert C. Generalization in Multi-objective machine learning. arXiv, 2208.13499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12664 |
Súkeník P, Kuvshinov A, Günnemann S. 2022. Intriguing properties of input-dependent randomized smoothing. Proceedings of the 39th International Conference on Machine Learning. International Conference on Machine Learning vol. 162, 20697–20743.
[Published Version]
View
| Files available
| arXiv
2022 | Journal Article | IST-REx-ID: 12495 |
Iofinova EB, Konstantinov NH, Lampert C. 2022. FLEA: Provably robust fair multisource learning from unreliable training data. Transactions on Machine Learning Research.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 11938 |
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2022. On compatible matchings. Journal of Graph Algorithms and Applications. 26(2), 225–240.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 10706 |
Bialy M, Fiorebe C, Glutsyuk A, Levi M, Plakhov A, Tabachnikov S. 2022. Open problems on billiards and geometric optics. Arnold Mathematical Journal. 8, 411–422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12677 |
Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv, 2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12580 |
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 |
Zhong Y, Liu Q, Westoby M, Nie Y, Pellicciotti F, Zhang B, Cai J, Liu G, Liao H, Lu X. 2022. Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau. Earth Surface Dynamics. 10(1), 23–42.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12576 |
Shaw TE, Miles ES, Chen D, Jouberton A, Kneib M, Fugger S, Ou T, Lai H-W, Fujita K, Yang W, Fatichi S, Pellicciotti F. 2022. Multi-decadal monsoon characteristics and glacier response in High Mountain Asia. Environmental Research Letters. 17(10), 104001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12578 |
Compagno L, Huss M, Miles ES, McCarthy MJ, Zekollari H, Dehecq A, Pellicciotti F, Farinotti D. 2022. Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia. The Cryosphere. 16(5), 1697–1718.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Journal Article | IST-REx-ID: 12579 |
Fugger S, Fyffe CL, Fatichi S, Miles E, McCarthy M, Shaw TE, Ding B, Yang W, Wagnon P, Immerzeel W, Liu Q, Pellicciotti F. 2022. Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya. The Cryosphere. 16(5), 1631–1652.
[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.)