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
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
Dass AV, Wunnava S, Langlais J, von der Esch B, Krusche M, Ufer L, Chrisam N, Dubini RCA, Gartner F, Angerpointner S, Dirscherl CF, Rovo P, Mast CB, Šponer JE, Ochsenfeld C, Frey E, Braun D. 2023. RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces. ChemSystemsChem. 5(1), e202200026.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
Serebryakov A, Simm N, Dubach G. 2023. Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. 12(01), 2250049.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
Giambartolomei G, Frederik Mallmann-Trenn FM-T, Saona Urmeneta RJ. Prophet inequalities: Separating random order from order selection. arXiv, 2304.04024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
Reker J. Multi-point functional central limit theorem for Wigner Matrices. arXiv, 2307.11028.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner Matrices. arXiv, 2310.06677.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17351 |
Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov chains. arXiv, 2308.00516.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 17378 |
Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. 2023. OPTQ: Accurate post-training quantization for generative pre-trained transformers. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
2023 |
Published |
Book Chapter |
IST-REx-ID: 17380 |
Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking Deployability in Architecture through Weaving. In: Advances in Architectural Geometry 2023. De Gruyter STEM, .
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17498 |
Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 7(OOPSLA2), 716–744.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17499 |
Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. 2023. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17500 |
Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17507 |
Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2023. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 946(1), L3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17513 |
Gayathri V, Wysocki D, Yang Y, Delfavero V, O’Shaughnessy R, Haiman Z, Tagawa H, Bartos I. 2023. Gravitational wave source populations: Disentangling an AGN component. The Astrophysical Journal Letters. 945(2), L29.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17514 |
Naoz S, Haiman Z. 2023. The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries. The Astrophysical Journal Letters. 955(2), L27.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17521 |
Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen A. 2023. Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries. Monthly Notices of the Royal Astronomical Society. 526(4), 5441–5454.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17522 |
Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A. 2023. Self-regulation of black hole accretion via jets in early protogalaxies. Monthly Notices of the Royal Astronomical Society. 520(3), 4258–4275.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17527 |
Tagawa H, Haiman Z. 2023. Flares from stars crossing active galactic nucleus discs on low-inclination orbits. Monthly Notices of the Royal Astronomical Society. 526(1), 69–79.
[Published Version]
View
| DOI
| Download Published Version (ext.)