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.
9789 Publications
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17474 | 
C. Baier, K. Chatterjee, T. Meggendorfer, and J. Piribauer, “Entropic risk for turn-based stochastic games,” Information and Computation, vol. 301. Elsevier, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17475 |
I. Koval and M. A. Kwan, “Exponentially many graphs are determined by their spectrum,” Quarterly Journal of Mathematics, vol. 75, no. 3. Oxford University Press, pp. 869–899, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17476
D. Lorenc, A. Zhumekenov, O. M. Bakr, and Z. Alpichshev, “No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry,” Physical Review Materials, vol. 8, no. 8. American Physical Society, 2024.
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17477 |
S. Hawaldar, P. Shahi, A. L. Carter, A. M. Rey, J. J. Bollinger, and A. Shankar, “Bilayer crystals of trapped ions for quantum information processing,” Physical Review X, vol. 14, no. 3. American Physical Society, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17478 |
M. Brooks and R. Seiringer, “The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass,” Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques. Springer Nature, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17480 |
B. Karimi, G. O. Steffensen, A. P. Higginbotham, C. M. Marcus, A. Levy Yeyati, and J. P. Pekola, “Bolometric detection of Josephson radiation,” Nature Nanotechnology. Springer Nature, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17481 |
J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow,” Annales de l’Institut Henri Poincare C, vol. 41, no. 5. EMS Press, pp. 1117–1178, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17485 |
E. Frantar, “Compressing large neural networks : Algorithms, systems and scaling laws,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17488 |
R. K. Satapathy, M. A. Jösch, O. Symonova, and V. Pokusaeva, “Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies.” Institute of Science and Technology Austria, 2024.
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17490 |
I. Markov, “Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17493 |
B. Vermersch, M. Ljubotina, J. I. Cirac, P. Zoller, M. Serbyn, and L. Piroli, “Many-body entropies and entanglement from polynomially many local measurements,” Physical Review X, vol. 14, no. 3. American Physical Society, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17495 |
L. Gäher, M. J. Sammler, R. Jung, R. Krebbers, and D. Dreyer, “RefinedRust: A type system for high-assurance verification of rust programs,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 1115–1139, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17497 |
S. Spies, L. Gäher, M. J. Sammler, and D. Dreyer, “Quiver: Guided abductive inference of separation logic specifications in coq,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 889–913, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17517 |
M. L. Saade et al., “NuSTAR observations of candidate subparsec binary supermassive black holes,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17531 |
H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Shock cooling and breakout emission for optical flares associated with gravitational-wave events,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17535 |
M. T. Scoggins and Z. Haiman, “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, vol. 531, no. 4. Oxford University Press, pp. 4584–4597, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17545 |
L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations,” Physical Review D, vol. 109, no. 10. American Physical Society (APS), 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17546 |
J. R. Westernacher-Schneider, J. Zrake, A. MacFadyen, and Z. Haiman, “Eccentric minidisks in accreting binaries,” The Astrophysical Journal, vol. 962, no. 1. American Astronomical Society, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)