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


2024 | Published | Journal Article | IST-REx-ID: 17478 | OA
Brooks M, Seiringer R. 2024. The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques. 140, 271–309.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17479 | OA
Taboada-Gutiérrez J, Zhou Y, Tresguerres-Mata AIF, Lanza C, Martínez-Suárez A, Álvarez-Pérez G, Duan J, Martín JI, Vélez M, Prieto Gonzalez I, Bercher A, Teyssier J, Errea I, Nikitin AY, Martín-Sánchez J, Kuzmenko AB, Alonso-González P. 2024. Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. 11(9), 3570–3577.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17480 | OA
Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola JP. 2024. Bolometric detection of Josephson radiation. Nature Nanotechnology. 19, 1613–1618.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17481 | OA
Fischer JL, Marveggio A. 2024. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. 41(5), 1117–1178.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17485 | OA
Frantar E. 2024. Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. 2024. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17488.
View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17490 | OA
Markov I. 2024. Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 17493 | OA
Vermersch B, Ljubotina M, Cirac JI, Zoller P, Serbyn M, Piroli L. 2024. Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. 14(3), 031035.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17494 | OA
Bravo JPK. 2024. Anti-plasmid immunity: A key to pathogen success? Future Microbiology. 19(15), 1269–1272.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17495 | OA
Gäher L, Sammler MJ, 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. 8(PLDI), 1115–1139.
[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. 2024. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 8(PLDI), 889–913.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17517 | OA
Saade ML, Brightman M, Stern D, Connor T, Djorgovski SG, D’Orazio DJ, Ford KES, Graham MJ, Haiman Z, Jun HD, Kammoun E, Kraft RP, McKernan B, Vikhlinin A, Walton DJ. 2024. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 966(1), 104.
[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. 2024. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 966(1), 21.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17535 | OA
Scoggins MT, 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. 531(4), 4584–4597.
[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. 2024. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 109(10), 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. 2024. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76.
[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. 2024. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 961(2), 149.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 9651 | OA
Dymond M, Kaluza V. 2024. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 218, 15.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally  verified. arXiv, 2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed