ISTA Research Explorer

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.

10945 Publications

2024 | Published | Journal Article | IST-REx-ID: 17495 |

L. Gäher, M. J. Sammler, R. Jung, R. Krebbers, and D. Dreyer, “RefinedRust: A type system for high-assurance verification of rust programs,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 1115–1139, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17497 |

S. Spies, L. Gäher, M. J. Sammler, and D. Dreyer, “Quiver: Guided abductive inference of separation logic specifications in coq,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 889–913, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17517 |

M. L. Saade et al., “NuSTAR observations of candidate subparsec binary supermassive black holes,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17531 |

H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Shock cooling and breakout emission for optical flares associated with gravitational-wave events,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17535 |

M. T. Scoggins and Z. Haiman, “Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio,” Monthly Notices of the Royal Astronomical Society, vol. 531, no. 4. Oxford University Press, pp. 4584–4597, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17545 |

L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations,” Physical Review D, vol. 109, no. 10. American Physical Society (APS), 2024.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17546 |

J. R. Westernacher-Schneider, J. Zrake, A. MacFadyen, and Z. Haiman, “Eccentric minidisks in accreting binaries,” The Astrophysical Journal, vol. 962, no. 1. American Astronomical Society, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17590 |

C. Xin, Z. Haiman, R. Perna, Y. Wang, and T. Ryu, “‘Tidal Peeling Events’: Low-eccentricity tidal disruption of a star by a stellar-mass black hole,” The Astrophysical Journal, vol. 961, no. 2. American Astronomical Society, 2024.

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17852 |

W. Lee et al., “Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions,” Nature Communications, vol. 15. Springer Nature, 2024.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17853

L. Li, S. Louie, N. M. Orchanian, C. Nuckolls, and L. Venkataraman, “Long-range gating in single-molecule one-dimensional topological insulators,” Journal of the American Chemical Society, vol. 146, no. 24. American Chemical Society, pp. 16920–16925, 2024.