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.
10574 Publications
2024 | Published | Journal Article | IST-REx-ID: 17495 | 
RefinedRust: A type system for high-assurance verification of rust programs
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.
2024 | Published | Journal Article | IST-REx-ID: 17497 |
Quiver: Guided abductive inference of separation logic specifications in coq
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913.
2024 | Published | Journal Article | IST-REx-ID: 17517 |
NuSTAR observations of candidate subparsec binary supermassive black holes
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17531 |
Shock cooling and breakout emission for optical flares associated with gravitational-wave events
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17535 |
Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.
2024 | Published | Journal Article | IST-REx-ID: 17545 |
Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17546 |
Eccentric minidisks in accreting binaries
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17590 |
“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole
C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17852 |
Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions
W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers, M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers, M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17853
Long-range gating in single-molecule one-dimensional topological insulators
L. Li, S. Louie, N.M. Orchanian, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 16920–16925.
View
| DOI
| PubMed | Europe PMC
L. Li, S. Louie, N.M. Orchanian, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 16920–16925.
2024 | Published | Journal Article | IST-REx-ID: 17854
Short-form videos as an emerging social media tool for STEM edutainment
C.R. Prindle, N.M. Orchanian, L. Venkataraman, C. Nuckolls, Journal of Chemical Education 101 (2024) 1319–1324.
View
| DOI
C.R. Prindle, N.M. Orchanian, L. Venkataraman, C. Nuckolls, Journal of Chemical Education 101 (2024) 1319–1324.
2024 | Published | Journal Article | IST-REx-ID: 17855
Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions
A.L. Paoletta, L. Venkataraman, Nano Letters 24 (2024) 1931–1935.
View
| DOI
| PubMed | Europe PMC
A.L. Paoletta, L. Venkataraman, Nano Letters 24 (2024) 1931–1935.
2024 | Published | Journal Article | IST-REx-ID: 17856
Effective gating in single-molecule junctions through fano resonances
C.R. Prindle, W. Shi, L. Li, J. Dahl Jensen, B.W. Laursen, M.L. Steigerwald, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 3646–3650.
View
| DOI
| PubMed | Europe PMC
C.R. Prindle, W. Shi, L. Li, J. Dahl Jensen, B.W. Laursen, M.L. Steigerwald, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 3646–3650.
2024 | Published | Journal Article | IST-REx-ID: 17857
Solvent-mediated modulation of the Au–S bond in dithiol molecular junctions
J. Dalmieda, W. Shi, L. Li, L. Venkataraman, Nano Letters 24 (2024) 703–707.
View
| DOI
| PubMed | Europe PMC
J. Dalmieda, W. Shi, L. Li, L. Venkataraman, Nano Letters 24 (2024) 703–707.
2024 | Published | Journal Article | IST-REx-ID: 17859
Impact of solvent electrostatic environment on molecular junctions probed via electrochemical impedance spectroscopy
W. Shi, J.E. Greenwald, L. Venkataraman, Nano Letters 24 (2024) 9283–9288.
View
| DOI
| PubMed | Europe PMC
W. Shi, J.E. Greenwald, L. Venkataraman, Nano Letters 24 (2024) 9283–9288.
2024 | Published | Journal Article | IST-REx-ID: 17889 |
Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Torralba-Torregrosa, J.J. Matthee, R.P. Naidu, R. Mackenzie, G. Pezzulli, A. Hutter, P. Arnalte-Mur, S. Gurung-López, S. Tacchella, P. Oesch, D. Kashino, C. Conroy, D. Sobral, Astronomy and Astrophysics 689 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17891 |
Understanding higher-order interactions in information space
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
H. Edelsbrunner, K. Ölsböck, H. Wagner, Entropy 26 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17893 |
Properties of the strong data processing constant for Rényi divergence
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Jin, A.R. Esposito, M. Gastpar, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2024, pp. 3178–3183.
2024 | Published | Conference Paper | IST-REx-ID: 17894
Variational characterizations of Sibson's α-mutual information
A.R. Esposito, M. Gastpar, I. Issa, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–2115.
View
| DOI
A.R. Esposito, M. Gastpar, I. Issa, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 2110–2115.
2024 | Published | Conference Paper | IST-REx-ID: 17895
Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–1591.
View
| DOI
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, in:, Proceedings of the 2024 IEEE International Symposium on Information Theory , Institute of Electrical and Electronics Engineers, 2024, pp. 1586–1591.