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.
11357 Publications
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 |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 9651 |
Dymond M, Kaluza V. 2024. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 218, 15.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally verified. arXiv, 2409.08119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Porley Esteves D. 2024. Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek BM. 2024. Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Janik M. 2024. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Mukhopadhyay S. 2024. Thermal effects in one dimensional Josephson chains. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
Agudelo Duenas N. 2024. Visualizing the neuronal transcriptional landscape with tissue context. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
Janik M, Roux KER, Borja Espinosa CN, Sagi O, Baghdadi A, Adletzberger T, Calcaterra S, Botifoll M, Manjón AG, Arbiol J, Chrastina D, Isella G, Pop IM, Katsaros G. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv, 2407.03079.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Puglia D. 2024. Everyday electromechanics: Capacitive strong coupling to mechanical motion. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18143 |
Puglia D, Odessey RH, Burns PS, Luhmann N, Schmid S, Higginbotham AP. Room temperature, cavity-free capacitive strong coupling to mechanical motion. arXiv, 2407.15314.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 18057 |
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson junction array. arXiv, 2408.07829.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
Gupta D. 2024. Visual adaptations to natural statistics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI