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.
10763 Publications
2023 | Published | Journal Article | IST-REx-ID: 17382
From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
View
| DOI
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17498 | 
Melocoton: A program logic for verified interoperability between OCaml and C
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
2023 | Published | Journal Article | IST-REx-ID: 17499 |
Conditional contextual refinement
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
2023 | Published | Journal Article | IST-REx-ID: 17500 |
DimSum: A decentralized approach to multi-language semantics and verification
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
2023 | Published | Journal Article | IST-REx-ID: 17507 |
Observable signatures of stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17513 |
Gravitational wave source populations: Disentangling an AGN component
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17514 |
The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries
S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17521 |
Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries
L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
2023 | Published | Journal Article | IST-REx-ID: 17522 |
Self-regulation of black hole accretion via jets in early protogalaxies
K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère, Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère, Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
2023 | Published | Journal Article | IST-REx-ID: 17527 |
Flares from stars crossing active galactic nucleus discs on low-inclination orbits
H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526 (2023) 69–79.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526 (2023) 69–79.
2023 | Published | Journal Article | IST-REx-ID: 17539 |
Gas dynamical friction as a binary formation mechanism in AGN discs
S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 523 (2023) 1126–1139.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 523 (2023) 1126–1139.
2023 | Published | Journal Article | IST-REx-ID: 17548 |
The importance of live binary evolution in numerical simulations of binaries embedded in circumbinary discs
A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal Astronomical Society 522 (2023) 1569–1574.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal Astronomical Society 522 (2023) 1569–1574.
2023 | Published | Journal Article | IST-REx-ID: 17549 |
A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A first look at the rest-frame optical spectra of > 6.5 quasars using JWST
Yang J, Wang F, Fan X, Hennawi JF, Barth AJ, Bañados E, Sun F, Liu W, Cai Z, Jiang L, Li Z, Onoue M, Schindler J-T, Shen Y, Wu Y, Bhowmick AK, Bieri R, Blecha L, Bosman S, Champagne JB, Colina L, Connor T, Costa T, Davies FB, Decarli R, De Rosa G, Drake AB, Egami E, Eilers A-C, Evans AE, Farina EP, Habouzit M, Haiman Z, Jin X, Jun HD, Kakiichi K, Khusanova Y, Kulkarni G, Loiacono F, Lupi A, Mazzucchelli C, Pan Z, Rojas-Ruiz S, Strauss MA, Tee WL, Trakhtenbrot B, Trebitsch M, Venemans B, Vestergaard M, Volonteri M, Walter F, Xie Z-L, Yue M, Zhang H, Zhang H, Zou S. 2023. A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A first look at the rest-frame optical spectra of > 6.5 quasars using JWST. The Astrophysical Journal Letters. 951(1), L5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Yang J, Wang F, Fan X, Hennawi JF, Barth AJ, Bañados E, Sun F, Liu W, Cai Z, Jiang L, Li Z, Onoue M, Schindler J-T, Shen Y, Wu Y, Bhowmick AK, Bieri R, Blecha L, Bosman S, Champagne JB, Colina L, Connor T, Costa T, Davies FB, Decarli R, De Rosa G, Drake AB, Egami E, Eilers A-C, Evans AE, Farina EP, Habouzit M, Haiman Z, Jin X, Jun HD, Kakiichi K, Khusanova Y, Kulkarni G, Loiacono F, Lupi A, Mazzucchelli C, Pan Z, Rojas-Ruiz S, Strauss MA, Tee WL, Trakhtenbrot B, Trebitsch M, Venemans B, Vestergaard M, Volonteri M, Walter F, Xie Z-L, Yue M, Zhang H, Zhang H, Zou S. 2023. A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A first look at the rest-frame optical spectra of > 6.5 quasars using JWST. The Astrophysical Journal Letters. 951(1), L5.
2023 | Published | Journal Article | IST-REx-ID: 17551 |
Cosmological constraints from HSC survey first-year data using deep learning
T. Lu, Z. Haiman, X. Li, Monthly Notices of the Royal Astronomical Society 521 (2023) 2050–2066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Lu, Z. Haiman, X. Li, Monthly Notices of the Royal Astronomical Society 521 (2023) 2050–2066.
2023 | Published | Journal Article | IST-REx-ID: 17557 |
Black hole binaries in AGN accretion discs – II. Gas effects on black hole satellite scatterings
C. Rowan, H. Whitehead, T. Boekholt, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 527 (2023) 10448–10468.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Rowan, H. Whitehead, T. Boekholt, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 527 (2023) 10448–10468.
2023 | Published | Journal Article | IST-REx-ID: 17558 |
Detection of stellar light from quasar host galaxies at redshifts above 6
Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Jahnke K, Phillips CL, Li J, Volonteri M, Haiman Z, Andika IT, Aoki K, Baba S, Bieri R, Bosman SEI, Bottrell C, Eilers A-C, Fujimoto S, Habouzit M, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Kohno K, Lee C-H, Lupi A, Lyu J, Nagao T, Overzier R, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Trebitsch M, Treu T, Umehata H, Venemans BP, Vestergaard M, Walter F, Wang F, Yang J. 2023. Detection of stellar light from quasar host galaxies at redshifts above 6. Nature. 621(7977), 51–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Jahnke K, Phillips CL, Li J, Volonteri M, Haiman Z, Andika IT, Aoki K, Baba S, Bieri R, Bosman SEI, Bottrell C, Eilers A-C, Fujimoto S, Habouzit M, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Kohno K, Lee C-H, Lupi A, Lyu J, Nagao T, Overzier R, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Trebitsch M, Treu T, Umehata H, Venemans BP, Vestergaard M, Walter F, Wang F, Yang J. 2023. Detection of stellar light from quasar host galaxies at redshifts above 6. Nature. 621(7977), 51–55.
2023 | Published | Journal Article | IST-REx-ID: 17573 |
Astrophysics with the laser interferometer space antenna
Amaro-Seoane P et al. 2023. Astrophysics with the laser interferometer space antenna. Living Reviews in Relativity. 26(1), 2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Amaro-Seoane P et al. 2023. Astrophysics with the laser interferometer space antenna. Living Reviews in Relativity. 26(1), 2.
2023 | Published | Journal Article | IST-REx-ID: 17584 |
High-energy electromagnetic, neutrino, and cosmic-ray emission by stellar-mass black holes in disks of active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, The Astrophysical Journal 955 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, The Astrophysical Journal 955 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17594 |
Observable signature of merging stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 950 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 950 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17602 |
Black hole binary formation in AGN discs: from isolation to merger
C. Rowan, T. Boekholt, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 524 (2023) 2770–2796.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Rowan, T. Boekholt, B. Kocsis, Z. Haiman, Monthly Notices of the Royal Astronomical Society 524 (2023) 2770–2796.