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, et al. “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, 2024, pp. 1115–39, doi:10.1145/3656422.

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

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

Spies, Simon, et al. “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, 2024, pp. 889–913, doi:10.1145/3656413.

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

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

Saade, M. Lynne, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal, vol. 966, no. 1, 104, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad372e.

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

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

Tagawa, Hiromichi, et al. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal, vol. 966, no. 1, 21, American Astronomical Society, 2024, doi: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, vol. 531, no. 4, Oxford University Press, 2024, pp. 4584–97, doi:10.1093/mnras/stae1449.

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

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

Krauth, Luke Major, et al. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D, vol. 109, no. 10, 103014, American Physical Society (APS), 2024, doi:10.1103/physrevd.109.103014.

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

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

Westernacher-Schneider, John Ryan, et al. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal, vol. 962, no. 1, 76, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad1a17.

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

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

Xin, Chengcheng, et al. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal, vol. 961, no. 2, 149, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad11d3.

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

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

Lee, Woojung, et al. “Photooxidation Driven Formation of Fe-Au Linked Ferrocene-Based Single-Molecule Junctions.” Nature Communications, vol. 15, 1439, Springer Nature, 2024, doi: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, et al. “Long-Range Gating in Single-Molecule One-Dimensional Topological Insulators.” Journal of the American Chemical Society, vol. 146, no. 24, American Chemical Society, 2024, pp. 16920–25, doi:10.1021/jacs.4c05699.