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 |

Gäher, Lennard, Michael Joachim Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer. “RefinedRust: A Type System for High-Assurance Verification of Rust Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656422.

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

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

Spies, Simon, Lennard Gäher, Michael Joachim Sammler, and Derek Dreyer. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656413.

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

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

Saade, M. Lynne, Murray Brightman, Daniel Stern, Thomas Connor, S. G. Djorgovski, Daniel J. D’Orazio, K. E. S. Ford, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad372e.

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

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

Tagawa, Hiromichi, Shigeo S Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad2e0b.

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

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

Scoggins, Matthew T, and Zoltán 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. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae1449.

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

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

Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider, Jonathan Zrake, and Andrew MacFadyen. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D. American Physical Society (APS), 2024. https://doi.org/10.1103/physrevd.109.103014.

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

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

Westernacher-Schneider, John Ryan, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad1a17.

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

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

Xin, Chengcheng, Zoltán Haiman, Rosalba Perna, Yihan Wang, and Taeho Ryu. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad11d3.

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

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

Lee, Woojung, Liang Li, María Camarasa-Gómez, Daniel Hernangómez-Pérez, Xavier Roy, Ferdinand Evers, Michael S. Inkpen, and Latha Venkataraman. “Photooxidation Driven Formation of Fe-Au Linked Ferrocene-Based Single-Molecule Junctions.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-45707-z.

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

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

Li, Liang, Shayan Louie, Nicholas M. Orchanian, Colin Nuckolls, and Latha Venkataraman. “Long-Range Gating in Single-Molecule One-Dimensional Topological Insulators.” Journal of the American Chemical Society. American Chemical Society, 2024. https://doi.org/10.1021/jacs.4c05699.