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.

10467 Publications

2024 | Published | Thesis | IST-REx-ID: 17485 |

Frantar E. 2024. Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2024 | Published | Thesis | IST-REx-ID: 17490 |

Markov I. 2024. Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. 2024. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 8(PLDI), 1115–1139.

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

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

Spies S, Gäher L, Sammler MJ, Dreyer D. 2024. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 8(PLDI), 889–913.

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

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

Saade ML, Brightman M, Stern D, Connor T, Djorgovski SG, D’Orazio DJ, Ford KES, Graham MJ, Haiman Z, Jun HD, Kammoun E, Kraft RP, McKernan B, Vikhlinin A, Walton DJ. 2024. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 966(1), 104.

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

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

Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2024. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 966(1), 21.

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

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

Scoggins MT, Haiman Z. 2024. 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. 531(4), 4584–4597.

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

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

Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. 2024. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 109(10), 103014.

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

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

Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. 2024. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76.

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

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

Xin C, Haiman Z, Perna R, Wang Y, Ryu T. 2024. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 961(2), 149.

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

2024 | Published | Thesis | IST-REx-ID: 17850 |

Gonzalez Somermeyer L. 2024. Fitness landscapes of orthologous green fluorescent proteins. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Lee W, Li L, Camarasa-Gómez M, Hernangómez-Pérez D, Roy X, Evers F, Inkpen MS, Venkataraman L. 2024. Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. 15, 1439.

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

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

Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. 2024. Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. 146(24), 16920–16925.