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 |
S. Spies, L. Gäher, M. J. Sammler, and D. Dreyer, “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, pp. 889–913, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17517 |
M. L. Saade et al., “NuSTAR observations of candidate subparsec binary supermassive black holes,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17531 |
H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Shock cooling and breakout emission for optical flares associated with gravitational-wave events,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17535 |
M. T. Scoggins and Z. 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, pp. 4584–4597, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17545 |
L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations,” Physical Review D, vol. 109, no. 10. American Physical Society (APS), 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17546 |
J. R. Westernacher-Schneider, J. Zrake, A. MacFadyen, and Z. Haiman, “Eccentric minidisks in accreting binaries,” The Astrophysical Journal, vol. 962, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Journal Article |
IST-REx-ID: 17590 |
C. Xin, Z. Haiman, R. Perna, Y. Wang, and T. Ryu, “‘Tidal Peeling Events’: Low-eccentricity tidal disruption of a star by a stellar-mass black hole,” The Astrophysical Journal, vol. 961, no. 2. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “QuAK: Quantitative Automata Kit,” in 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, 2024, vol. 15222, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 9651 |
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata, vol. 218. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally verified,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18101 |
D. Porley Esteves, “Structural characterization of spumavirus capsid assemblies,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
B. M. Kaczmarek, “Biochemical and structural insights into ADAR1 RNA editing,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18129 |
M. Janik, “Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17881 |
S. Mukhopadhyay, “Thermal effects in one dimensional Josephson chains,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18471 |
N. Agudelo Duenas, “Visualizing the neuronal transcriptional landscape with tissue context,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18144 |
M. Janik et al., “Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18104 |
D. Puglia, “Everyday electromechanics: Capacitive strong coupling to mechanical motion,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 18143 |
D. Puglia, R. H. Odessey, P. S. Burns, N. Luhmann, S. Schmid, and A. P. Higginbotham, “Room temperature, cavity-free capacitive strong coupling to mechanical motion,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 18057 |
S. Mukhopadhyay, D. A. Lancheros Naranjo, J. L. Senior, and A. P. Higginbotham, “Dual relaxation oscillations in a Josephson junction array,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18574 |
D. Gupta, “Visual adaptations to natural statistics,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI