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 | OA
Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):1115-1139. doi:10.1145/3656422
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17497 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 17852 | OA
Lee W, Li L, Camarasa-Gómez M, et al. Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. 2024;15. doi:10.1038/s41467-024-45707-z
[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. Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. 2024;146(24):16920-16925. doi:10.1021/jacs.4c05699
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17854
Prindle CR, Orchanian NM, Venkataraman L, Nuckolls C. Short-form videos as an emerging social media tool for STEM edutainment. Journal of Chemical Education. 2024;101(3):1319-1324. doi:10.1021/acs.jchemed.3c01185
View | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17855
Paoletta AL, Venkataraman L. Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters. 2024;24(6):1931-1935. doi:10.1021/acs.nanolett.3c04207
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17856
Prindle CR, Shi W, Li L, et al. Effective gating in single-molecule junctions through fano resonances. Journal of the American Chemical Society. 2024;146(6):3646-3650. doi:10.1021/jacs.3c14226
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17857
Dalmieda J, Shi W, Li L, Venkataraman L. Solvent-mediated modulation of the Au–S bond in dithiol molecular junctions. Nano Letters. 2024;24(2):703-707. doi:10.1021/acs.nanolett.3c04058
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17859
Shi W, Greenwald JE, Venkataraman L. Impact of solvent electrostatic environment on molecular junctions probed via electrochemical impedance spectroscopy. Nano Letters. 2024;24(30):9283-9288. doi:10.1021/acs.nanolett.4c02103
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17889 | OA
Torralba-Torregrosa A, Matthee JJ, Naidu RP, et al. Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment. Astronomy and Astrophysics. 2024;689. doi:10.1051/0004-6361/202450318
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17891 | OA
Edelsbrunner H, Ölsböck K, Wagner H. Understanding higher-order interactions in information space. Entropy. 2024;26(8). doi:10.3390/e26080637
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Published | Conference Paper | IST-REx-ID: 17893 | OA
Jin L, Esposito AR, Gastpar M. Properties of the strong data processing constant for Rényi divergence. In: Proceedings of the 2024 IEEE International Symposium on Information Theory. Institute of Electrical and Electronics Engineers; 2024:3178-3183. doi:10.1109/ISIT57864.2024.10619367
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17894
Esposito AR, Gastpar M, Issa I. Variational characterizations of Sibson’s α-mutual information. In: Proceedings of the 2024 IEEE International Symposium on Information Theory . Institute of Electrical and Electronics Engineers; 2024:2110-2115. doi:10.1109/ISIT57864.2024.10619378
View | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17895
Dey BK, Jaggi S, Langberg M, Sarwate AD, Zhang Y. Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs. In: Proceedings of the 2024 IEEE International Symposium on Information Theory . Institute of Electrical and Electronics Engineers; 2024:1586-1591. doi:10.1109/ISIT57864.2024.10619362
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed