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 | 
Gäher, L., Sammler, M. J., Jung, R., Krebbers, R., & Dreyer, D. (2024). RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656422
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17497 |
Spies, S., Gäher, L., Sammler, M. J., & Dreyer, D. (2024). Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656413
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17517 |
Saade, M. L., Brightman, M., Stern, D., Connor, T., Djorgovski, S. G., D’Orazio, D. J., … Walton, D. J. (2024). NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad372e
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17531 |
Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2024). Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2e0b
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17535 |
Scoggins, M. T., & 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. Oxford University Press. https://doi.org/10.1093/mnras/stae1449
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17545 |
Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake, J., & MacFadyen, A. (2024). Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.109.103014
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17546 |
Westernacher-Schneider, J. R., Zrake, J., MacFadyen, A., & Haiman, Z. (2024). Eccentric minidisks in accreting binaries. The Astrophysical Journal. American Astronomical Society. https://doi.org/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. (2024). “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad11d3
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17852 |
Lee, W., Li, L., Camarasa-Gómez, M., Hernangómez-Pérez, D., Roy, X., Evers, F., … Venkataraman, L. (2024). Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. Springer Nature. https://doi.org/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, N. M., Nuckolls, C., & Venkataraman, L. (2024). Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.4c05699
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17854
Prindle, C. R., Orchanian, N. M., Venkataraman, L., & Nuckolls, C. (2024). Short-form videos as an emerging social media tool for STEM edutainment. Journal of Chemical Education. American Chemical Society. https://doi.org/10.1021/acs.jchemed.3c01185
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17855
Paoletta, A. L., & Venkataraman, L. (2024). Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c04207
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17856
Prindle, C. R., Shi, W., Li, L., Dahl Jensen, J., Laursen, B. W., Steigerwald, M. L., … Venkataraman, L. (2024). Effective gating in single-molecule junctions through fano resonances. Journal of the American Chemical Society. American Chemical Society. https://doi.org/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. (2024). Solvent-mediated modulation of the Au–S bond in dithiol molecular junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c04058
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17859
Shi, W., Greenwald, J. E., & Venkataraman, L. (2024). Impact of solvent electrostatic environment on molecular junctions probed via electrochemical impedance spectroscopy. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.4c02103
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17889 |
Torralba-Torregrosa, A., Matthee, J. J., Naidu, R. P., Mackenzie, R., Pezzulli, G., Hutter, A., … Sobral, D. (2024). Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450318
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17891 |
Edelsbrunner, H., Ölsböck, K., & Wagner, H. (2024). Understanding higher-order interactions in information space. Entropy. MDPI. https://doi.org/10.3390/e26080637
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17893 |
Jin, L., Esposito, A. R., & Gastpar, M. (2024). Properties of the strong data processing constant for Rényi divergence. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 3178–3183). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619367
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17894
Esposito, A. R., Gastpar, M., & Issa, I. (2024). Variational characterizations of Sibson’s α-mutual information. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 2110–2115). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619378
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17895
Dey, B. K., Jaggi, S., Langberg, M., Sarwate, A. D., & Zhang, Y. (2024). Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 1586–1591). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619362
View
| DOI