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.
12149 Publications
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. doi:10.48550/arXiv.2509.20539
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20811 |
Rella S. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. 2025. doi:10.15479/AT-ISTA-20811
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20276 |
Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20203 |
Sobarzo Ponce JCA. Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges. 2025. doi:10.15479/AT-ISTA-20203
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18565 |
Bhargava M, Schreck C, Freire M, et al. Mesh simplification for unfolding. Computer Graphics Forum. 2025;44(1). doi:10.1111/cgf.15269
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 20286 |
Bhargava M, Hiraki T, Strugaru I-M, et al. Computational design and fabrication of modular robots with untethered control. arXiv. doi:10.48550/arXiv.2508.05410
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
Trioni A. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. 2025. doi:10.15479/AT-ISTA-20371
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20008 |
Avvakumov S, Filakovský M, Opršal J, Tasinato G, Wagner U. Hardness of 4-colouring G-colourable graphs. In: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2025:72-83. doi:10.1145/3717823.3718154
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20339 |
Tasinato G. Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems. 2025. doi:10.15479/AT-ISTA-20339
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta RJ. Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 2025;15:1517-1535. doi:10.1007/s13235-025-00636-4
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. Mathematics of Operations Research. 2025;50(1):482-505. doi:10.1287/moor.2023.0297
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 18112 |
Henheik SJ. Deformational rigidity of integrable metrics on the torus. Ergodic Theory and Dynamical Systems. 2025;45(2):467-503. doi:10.1017/etds.2024.48
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19001 |
Erdös L, Henheik SJ, Kolupaiev O. Loschmidt echo for deformed Wigner matrices. Letters in Mathematical Physics. 2025;115. doi:10.1007/s11005-025-01904-5
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 19546 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Eigenvector decorrelation for random matrices. arXiv. doi:10.48550/arXiv.2410.10718
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19540 |
Henheik SJ. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. 2025. doi:10.15479/AT-ISTA-19540
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19548 |
Henheik SJ, Lauritsen AB. Universal behavior of the BCS energy gap. Journal of Spectral Theory. 2025;15(1):305–352. doi:10.4171/JST/540
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 18764 |
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner matrices. Annales Henri Poincare. 2025;26:1991-2033. doi:10.1007/s00023-024-01518-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 19552 |
Henheik SJ, Poudyal B, Tumulka R. How a space-time singularity helps remove the ultraviolet divergence problem. arXiv. doi:10.48550/arXiv.2409.00677
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 22450 |
Chi D, Manoli G, Lin B, et al. Residential tree canopy configuration and mortality in 6 million Swiss adults: A longitudinal study. The Lancet Planetary Health. 2025;9(3):e186-e195. doi:10.1016/s2542-5196(25)00022-1
[Published Version]
View
| DOI
| Download Published Version (ext.)