Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6436 Publications

2025 | Published | Conference Paper | IST-REx-ID: 19666 | OA
Meggendorfer T, Weininger M, Wienhöft P. 2025. Solving robust Markov decision processes: Generic, reliable, efficient. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 26631–26641.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19667 | OA
Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. 2025. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11158–11166.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19668 | OA
Yu E, Zikelic D, Henzinger TA. 2025. Neural control and certificate repair via runtime monitoring. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 26409–26417.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. 2025. Linear equations with min and max operators: Computational complexity. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11150–11157.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19670 | OA
Bartolucci G, Busiello DM, Ciarchi M, Corticelli A, Di Terlizzi I, Olmeda F, Revignas D, Schimmenti VM. 2025. Phase behavior of Cacio e Pepe sauce. Physics of Fluids. 37(4), 044122.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19671
Arpigiani D, Aschero V, Soler Schaller RM, Amoroso MM. 2025. A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia. Austral Ecology. 50(4), e70058.
View | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19672 | OA
Polesello A, Charinti GA, Meroni AN, Muller CJ, Pasquero C. 2025. Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes. Journal of Advances in Modeling Earth Systems. 17(4), e2024MS004613.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19673 | OA
Wang V. 2025. Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. 3(1), 1–26.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 19674 | OA
Basile L, Maiorca V, Bortolussi L, Rodolà E, Locatello F. ResiDual transformer alignment with spectral decomposition. arXiv, 2411.00246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19684 | OA
Yalniz G. 2025. Transition to turbulence : Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2025 | Research Data | IST-REx-ID: 19696 | OA
Tatman B. 2025. Dataset for ‘Bumps on the Road: The Way to Clean Relaxation Dispersion in the Solid State’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-19696.
View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19699 | OA
Tiede C, Zrake J, Macfadyen A, Haiman Z. 2025. Suppressed accretion onto massive black hole binaries surrounded by thin disks. The Astrophysical Journal. 984(2), 144.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19700 | OA
Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD, Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ, Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. The Astrophysical Journal. 984(2), 121.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19701 | OA
Tkačik G, Wolde PRT. 2025. Information processing in biochemical networks. Annual review of biophysics. 54, 249–274.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19702 | OA
Kopfová L, Tkadlec J. 2025. Colonization times in Moran process on graphs. PLoS computational biology. 21(5), e1012868.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19703 | OA | PlanS
Mclaren SBP, Xue S, Ding S, Winkel AK, Baldwin O, Dwarakacherla S, Franze K, Hannezo EB, Xiong F. 2025. Differential tissue deformability underlies fluid pressure-driven shape divergence of the avian embryonic brain and spinal cord. Developmental Cell. 60(17), 2237–2247.e4.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19704 | OA | PlanS
Tavakoli M, Lyudchik J, Januszewski M, Vistunou V, Agudelo Duenas N, Vorlaufer J, Sommer CM, Kreuzinger C, Oliveira B, Cenameri A, Novarino G, Jain V, Danzl JG. 2025. Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. 642, 398–410.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19705 | OA | PlanS
Fialova M, Krejčiřík D. 2025. Virtual bound states of the Pauli operator with an Aharonov–Bohm potential. Reviews in Mathematical Physics. 37(6), 2550011.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19712 | OA
Cueto Noval M, Merz S-P, Stählin P, Ünal A. 2025. On the soundness of algebraic attacks against code-based assumptions. 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 15606, 385–415.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19713 | OA
Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. 2025. Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39(19), 20778–20786.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed