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.
7668 Publications
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21068 |
Yao D, Huang S, Cadei R, Zhang K, Locatello F. 2025. The third pillar of causal analysis? A measurement perspective on causal representations. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21070 |
Demirel B, Fumero M, Locatello F. 2025. Out-of-Distribution detection with relative angles. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21072 |
Basile L, Maiorca V, Doimo D, Locatello F, Cazzaniga A. 2025. Head pursuit: Probing attention specialization in multimodal transformers. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 38.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21074 |
Yu H, Inal B, Arvanitidis G, Hauberg S, Locatello F, Fumero M. 2025. Connecting neural models latent geometries with relative geodesic representations. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.
[Published Version]
View
| Files available
| arXiv
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21076 |
Cadei R, Demirel I, De Bartolomeis P, Lindorfer L, Cremer S, Schmid C, Locatello F. 2025. Prediction-powered causal inferences. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.
[Published Version]
View
| Files available
2025 |
Published |
Conference Paper |
IST-REx-ID: 21089 |
Chalupa M, Henzinger TA, Oliveira da Costa AA. 2025. Flavors of quantifiers in hyperlogics. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 20:1-20:18.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
Cano Cordoba F, Henzinger TA, Kueffner K. 2025. Algorithmic fairness: A runtime perspective. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 1–21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21091 |
Henzinger TA, Kueffner K, Yu E. 2025. Formal verification of neural certificates done dynamically. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 54–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21092 |
Henzinger TA, Kueffner K, Singh V, Sun I. 2025. Alignment monitoring. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 140–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Chalupa M, Henzinger TA, Oliveira da Costa AA. 2025. Monitoring hypernode logic over infinite domains. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 417–437.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21121 |
|
|
Silverman JD, Li J, Ding X, Onoue M, Strauss MA, Matsuoka Y, Izumi T, Jahnke K, Treu T, Volonteri M, Phillips CL, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fan X, Fujimoto S, Habouzit M, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Lee C-H, Lupi A, Nagao T, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Walter F, Wang F, Yang J. 2025. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6. The Astrophysical Journal Letters. 995(2), L67.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21122 |
|
|
Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. 2025. Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. Monthly Notices of the Royal Astronomical Society. 543(3), 2670–2685.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21123 |
|
|
O’Neill D, Tiede C, D’Orazio DJ, Haiman Z, MacFadyen A. 2025. Gravitational wave decoupling in retrograde circumbinary disks. The Astrophysical Journal. 993(2), 206.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21124 |
|
|
Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Yang L, Jahnke K, Phillips CL, Treu T, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fujimoto S, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kartaltepe J, Kashikawa N, Kawaguchi T, Li J, Lee C-H, Lupi A, Schindler J-T, Schramm M, Shimasaku K, Shuntov M, Tanaka TS, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Wang F, Yang J. 2025. SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6. The Astrophysical Journal. 993(1), 91.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21125 |
Sabyr A, Hill JC, Haiman Z. 2025. Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments. Physical Review D. 111(10), 103536.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21126 |
Park K, Xin C, Davelaar J, Haiman Z. 2025. Self-lensing flares from black hole binaries. IV. The number of detectable shadows. Physical Review D. 111(6), 063011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21127 |
|
|
Su K-Y, Bryan GL, Haiman Z. 2025. Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation. Monthly Notices of the Royal Astronomical Society. 538(1), 11–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21128 |
|
|
Epstein-Martin M, Tagawa H, Haiman Z, Perna R. 2025. Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes. Monthly Notices of the Royal Astronomical Society. 537(4), 3396–3420.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21129 |
|
|
DeLaurentiis S, Haiman Z, Westernacher-Schneider JR, Krauth LM, Davelaar J, Zrake J, MacFadyen A. 2025. Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics. The Astrophysical Journal. 980(1), 55.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21131 |
|
|
Kia M, Mirian MS, Soori S, Saedi S, Arasteh E, Faramarzi M, Chinchani A, Lee S, Luczak A, McKeown MJ. 2025. Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation. Frontiers in Human Neuroscience. 19, 1566566.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC