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. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):889-913. doi:10.1145/3656413
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17517 |
Saade ML, Brightman M, Stern D, et al. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad372e
[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. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad2e0b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17535 |
Scoggins MT, Haiman Z. 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. 2024;531(4):4584-4597. doi:10.1093/mnras/stae1449
[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. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 2024;109(10). doi:10.1103/physrevd.109.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. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 2024;962(1). doi:10.3847/1538-4357/ad1a17
[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. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 2024;961(2). doi:10.3847/1538-4357/ad11d3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 9651 |
Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 2024;218. doi:10.1007/s10711-023-00862-3
[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. doi:10.48550/arXiv.2409.08119
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
Porley Esteves D. Structural characterization of spumavirus capsid assemblies. 2024. doi:10.15479/at:ista:18101
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
Kaczmarek BM. Biochemical and structural insights into ADAR1 RNA editing. 2024. doi:10.15479/at:ista:18477
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
Janik M. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. 2024. doi:10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
Mukhopadhyay S. Thermal effects in one dimensional Josephson chains. 2024. doi:10.15479/at:ista:17881
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
Agudelo Duenas N. Visualizing the neuronal transcriptional landscape with tissue context. 2024. doi:10.15479/at:ista:18471
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
Janik M, Roux KER, Borja Espinosa CN, et al. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv. doi:10.48550/arXiv.2407.03079
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
Puglia D. Everyday electromechanics: Capacitive strong coupling to mechanical motion. 2024. doi:10.15479/at:ista:18104
[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. doi:10.48550/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. doi:10.48550/arXiv.2408.07829
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
Gupta D. Visual adaptations to natural statistics. 2024. doi:10.15479/at:ista:18574
[Published Version]
View
| Files available
| DOI