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.
12340 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 17413 |
Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi:10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 17423
Sellán S, Ren Y, Batty C, Stein O. Reach for the arcs: Reconstructing surfaces from SDFs via tangent points. In: SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. Association for Computing Machinery; 2024. doi:10.1145/3641519.3657419
View
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 17424
Ren Y, Panetta J, Suzuki S, Kusupati U, Isvoranu F, Pauly M. Computational homogenization for inverse design of surface-based inflatables. ACM Transactions on Graphics. 2024;43(4). doi:10.1145/3658125
View
| DOI
2024 |
Published |
Journal Article |
IST-REx-ID: 17449 |
Pandey M, Wang V, Xu MW. Partial sums of typical multiplicative functions over short moving intervals. Algebra & Number Theory. 2024;18(2):389-408. doi:10.2140/ant.2024.18.389
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17461 |
Cremer S, Pull C. Unconditional versus condition-dependent social immunity. Trends in Parasitology. 2024;40(9):780-787. doi:10.1016/j.pt.2024.07.014
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 17476
Lorenc D, Zhumekenov A, Bakr OM, Alpichshev Z. No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. 2024;8(8). doi:10.1103/PhysRevMaterials.8.085403
View
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 17479 |
Taboada-Gutiérrez J, Zhou Y, Tresguerres-Mata AIF, et al. Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. 2024;11(9):3570-3577. doi:10.1021/acsphotonics.4c00485
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17480 |
Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola JP. Bolometric detection of Josephson radiation. Nature Nanotechnology. 2024;19:1613-1618. doi:10.1038/s41565-024-01770-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17495 |
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 |
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 |
Journal Article |
IST-REx-ID: 17852 |
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