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
2022 | Published | Preprint | IST-REx-ID: 17117 | 
Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).
2022 | Published | Journal Article | IST-REx-ID: 17383
Umbrella meshes: Elastic mechanisms for freeform shape deployment
Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.
View
| DOI
Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.
2022 | Published | Journal Article | IST-REx-ID: 17501 |
BFF: Foundational and automated verification of bitfield-manipulating programs
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Islaris: Verification of machine code against authoritative ISA semantics
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.
2022 | Published | Journal Article | IST-REx-ID: 17503 |
VIP: Verifying real-world C idioms with integer-pointer casts
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Simuliris: A separation logic framework for verifying concurrent program optimizations
L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17536 |
AGN as potential factories for eccentric black hole mergers
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
2022 | Published | Journal Article | IST-REx-ID: 17547 |
Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography
J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17553 |
How binaries accrete: Hydrodynamic simulations with passive tracer particles
C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17560 |
Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17561 |
Tidal disruption on stellar-mass black holes in active galactic nuclei
Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17562 |
Simultaneously constraining cosmology and baryonic physics via deep learning from weak lensing
T. Lu, Z. Haiman, J.M. Zorrilla Matilla, Monthly Notices of the Royal Astronomical Society 511 (2022) 1518–1528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Lu, Z. Haiman, J.M. Zorrilla Matilla, Monthly Notices of the Royal Astronomical Society 511 (2022) 1518–1528.
2022 | Published | Journal Article | IST-REx-ID: 17563 |
Cosmological constraints from weak lensing peaks: Can halo models accurately predict peak counts?
A. Sabyr, Z. Haiman, J.M.Z. Matilla, T. Lu, Physical Review D 105 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Sabyr, Z. Haiman, J.M.Z. Matilla, T. Lu, Physical Review D 105 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17568 |
Can stellar-mass black hole growth disrupt disks of active galactic nuclei? The role of mechanical feedback
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, H. Tanaka, I. Bartos, The Astrophysical Journal 927 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, H. Tanaka, I. Bartos, The Astrophysical Journal 927 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17571 |
How long do high redshift massive black hole seeds remain outliers in black hole versus host galaxy relations?
M.T. Scoggins, Z. Haiman, J.H. Wise, Monthly Notices of the Royal Astronomical Society 519 (2022) 2155–2168.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.T. Scoggins, Z. Haiman, J.H. Wise, Monthly Notices of the Royal Astronomical Society 519 (2022) 2155–2168.
2022 | Published | Journal Article | IST-REx-ID: 17572 |
Multimessenger constraints on magnetic fields in merging black hole–neutron star binaries
D.J. D’Orazio, Z. Haiman, J. Levin, J. Samsing, A. Vigna-Gómez, The Astrophysical Journal 927 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
D.J. D’Orazio, Z. Haiman, J. Levin, J. Samsing, A. Vigna-Gómez, The Astrophysical Journal 927 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17576 |
The science case and challenges of space-borne sub-millimeter interferometry
Gurvits LI, Paragi Z, Amils RI, van Bemmel I, Boven P, Casasola V, Conway J, Davelaar J, Díez-González MC, Falcke H, Fender R, Frey S, Fromm CM, Gallego-Puyol JD, García-Miró C, Garrett MA, Giroletti M, Goddi C, Gómez JL, van der Gucht J, Guirado JC, Haiman Z, Helmich F, Hudson B, Humphreys E, Impellizzeri V, Janssen M, Johnson MD, Kovalev YY, Kramer M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, López-Fernández I, Malo-Gómez I, Masania K, Mizuno Y, Plavin AV, Rajan RT, Rezzolla L, Roelofs F, Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Verkouter M, de Vicente P, Visser PNAM, Wiedner MC, Wielgus M, Wiik K, Zensus JA. 2022. The science case and challenges of space-borne sub-millimeter interferometry. Acta Astronautica. 196, 314–333.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Gurvits LI, Paragi Z, Amils RI, van Bemmel I, Boven P, Casasola V, Conway J, Davelaar J, Díez-González MC, Falcke H, Fender R, Frey S, Fromm CM, Gallego-Puyol JD, García-Miró C, Garrett MA, Giroletti M, Goddi C, Gómez JL, van der Gucht J, Guirado JC, Haiman Z, Helmich F, Hudson B, Humphreys E, Impellizzeri V, Janssen M, Johnson MD, Kovalev YY, Kramer M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, López-Fernández I, Malo-Gómez I, Masania K, Mizuno Y, Plavin AV, Rajan RT, Rezzolla L, Roelofs F, Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Verkouter M, de Vicente P, Visser PNAM, Wiedner MC, Wielgus M, Wiik K, Zensus JA. 2022. The science case and challenges of space-borne sub-millimeter interferometry. Acta Astronautica. 196, 314–333.
2022 | Published | Journal Article | IST-REx-ID: 17580 |
The X-ray view of optically selected dual AGN
A. De Rosa, C. Vignali, P. Severgnini, S. Bianchi, T. Bogdanović, M. Charisi, M. Guainazzi, Z. Haiman, S. Komossa, Z. Paragi, M. Perez-Torres, E. Piconcelli, L. Ducci, M. Parvatikar, R. Serafinelli, Monthly Notices of the Royal Astronomical Society 519 (2022) 5149–5160.
View
| DOI
| Download None (ext.)
A. De Rosa, C. Vignali, P. Severgnini, S. Bianchi, T. Bogdanović, M. Charisi, M. Guainazzi, Z. Haiman, S. Komossa, Z. Paragi, M. Perez-Torres, E. Piconcelli, L. Ducci, M. Parvatikar, R. Serafinelli, Monthly Notices of the Royal Astronomical Society 519 (2022) 5149–5160.
2022 | Published | Journal Article | IST-REx-ID: 17582 |
Multiband light curves from eccentric accreting supermassive black hole binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, Physical Review D 106 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, Physical Review D 106 (2022).