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.
11357 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21091 |
Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21092 |
Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.
2025 |
Published |
Journal Article |
IST-REx-ID: 21121 |
| 
|
SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6
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
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.
2025 |
Published |
Journal Article |
IST-REx-ID: 21122 |
|
|
Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.
[Published Version]
View
| Files available
| DOI
| arXiv
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.
2025 |
Published |
Journal Article |
IST-REx-ID: 21123 |
|
|
Gravitational wave decoupling in retrograde circumbinary disks
D. O’Neill, C. Tiede, D.J. D’Orazio, Z. Haiman, A. MacFadyen, The Astrophysical Journal 993 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
D. O’Neill, C. Tiede, D.J. D’Orazio, Z. Haiman, A. MacFadyen, The Astrophysical Journal 993 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21124 |
|
|
SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6
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
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.
2025 |
Published |
Journal Article |
IST-REx-ID: 21125 |
Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments
A. Sabyr, J.C. Hill, Z. Haiman, Physical Review D 111 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Sabyr, J.C. Hill, Z. Haiman, Physical Review D 111 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21126 |
Self-lensing flares from black hole binaries. IV. The number of detectable shadows
K. Park, C. Xin, J. Davelaar, Z. Haiman, Physical Review D 111 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Park, C. Xin, J. Davelaar, Z. Haiman, Physical Review D 111 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21127 |
|
|
Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation
K.-Y. Su, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 538 (2025) 11–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
K.-Y. Su, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 538 (2025) 11–30.
2025 |
Published |
Journal Article |
IST-REx-ID: 21128 |
|
|
Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes
M. Epstein-Martin, H. Tagawa, Z. Haiman, R. Perna, Monthly Notices of the Royal Astronomical Society 537 (2025) 3396–3420.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Epstein-Martin, H. Tagawa, Z. Haiman, R. Perna, Monthly Notices of the Royal Astronomical Society 537 (2025) 3396–3420.
2025 |
Published |
Journal Article |
IST-REx-ID: 21129 |
|
|
Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics
S. DeLaurentiis, Z. Haiman, J.R. Westernacher-Schneider, L.M. Krauth, J. Davelaar, J. Zrake, A. MacFadyen, The Astrophysical Journal 980 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
S. DeLaurentiis, Z. Haiman, J.R. Westernacher-Schneider, L.M. Krauth, J. Davelaar, J. Zrake, A. MacFadyen, The Astrophysical Journal 980 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21131 |
|
|
Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation
M. Kia, M.S. Mirian, S. Soori, S. Saedi, E. Arasteh, M. Faramarzi, A. Chinchani, S. Lee, A. Luczak, M.J. McKeown, Frontiers in Human Neuroscience 19 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Kia, M.S. Mirian, S. Soori, S. Saedi, E. Arasteh, M. Faramarzi, A. Chinchani, S. Lee, A. Luczak, M.J. McKeown, Frontiers in Human Neuroscience 19 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
2025 |
Published |
Journal Article |
IST-REx-ID: 21143 |
|
|
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
2025 |
Draft |
Preprint |
IST-REx-ID: 21207 |
Federated learning with unlabeled clients: Personalization can happen in low dimensions
H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21211 |
Packing subdivisions into regular graphs
R. Montgomery, K.H. Petrova, A. Ranganathan, J. Tan, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Montgomery, K.H. Petrova, A. Ranganathan, J. Tan, ArXiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21235 |
|
|
Charge distribution of the coating brush drives interchromosome attraction
V. Sorichetti, P. Robin, I. Palaia, A. Hernandez-Armendariz, S. Cuylen-Haering, A. Šarić, PRX Life 3 (2025).
[Published Version]
View
| Files available
| DOI
V. Sorichetti, P. Robin, I. Palaia, A. Hernandez-Armendariz, S. Cuylen-Haering, A. Šarić, PRX Life 3 (2025).