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, Tobias, Maximilian Weininger, and Patrick Wienhöft. “Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:26631–41. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34865.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19667 | OA
Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19668 | OA
Yu, Emily, Dorde Zikelic, and Thomas A Henzinger. “Neural Control and Certificate Repair via Runtime Monitoring.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:26409–17. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34840.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11150–57. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33212.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19670 | OA
Bartolucci, G., D. M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, Fabrizio Olmeda, D. Revignas, and V. M. Schimmenti. “Phase Behavior of Cacio e Pepe Sauce.” Physics of Fluids. AIP Publishing, 2025. https://doi.org/10.1063/5.0255841.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19671
Arpigiani, Daniela, Valeria Aschero, Rosina Matilde Soler Schaller, and Mariano M. Amoroso. “A Life-Cycle Approach to Understand Consequences of Silvopastoral Use on Two Native Tree Species of Northern Patagonia.” Austral Ecology. Wiley, 2025. https://doi.org/10.1111/aec.70058.
View | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19672 | OA
Polesello, Andrea, Giousef Alexandros Charinti, Agostino Niyonkuru Meroni, Caroline J Muller, and Claudia Pasquero. “Intensity Oscillations of Tropical Cyclones: Surface versus Mid and Upper Tropospheric Processes.” Journal of Advances in Modeling Earth Systems. Wiley, 2025. https://doi.org/10.1029/2024MS004613.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19673 | OA
Wang, Victor. “Prime Hasse Principles via Diophantine Second Moments.” Journal of the Association for Mathematical Research. Association for Mathematical Research, 2025. https://doi.org/10.56994/JAMR.003.001.001.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 19674 | OA
Basile, Lorenzo, Valentino Maiorca, Luca Bortolussi, Emanuele Rodolà, and Francesco Locatello. “ResiDual Transformer Alignment with Spectral Decomposition.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2411.00246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19684 | OA
Yalniz, Gökhan. “Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19684.
[Published Version] View | Files available | DOI
 
2025 | Research Data | IST-REx-ID: 19696 | OA
Tatman, Benjamin. “Dataset for ‘Bumps on the Road: The Way to Clean Relaxation Dispersion in the Solid State.’” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19696.
View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19699 | OA
Tiede, Christopher, Jonathan Zrake, Andrew Macfadyen, and Zoltán Haiman. “Suppressed Accretion onto Massive Black Hole Binaries Surrounded by Thin Disks.” The Astrophysical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-4357/adc727.
[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, Gašper, and Pieter Rein Ten Wolde. “Information Processing in Biochemical Networks.” Annual Review of Biophysics. Annual Reviews, 2025. https://doi.org/10.1146/annurev-biophys-060524-102720.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19702 | OA
Kopfová, Lenka, and Josef Tkadlec. “Colonization Times in Moran Process on Graphs.” PLoS Computational Biology. Public Library of Science, 2025. https://doi.org/10.1371/journal.pcbi.1012868.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19703 | OA | PlanS
Mclaren, Susannah B.P., Shi-lei Xue, Siyuan Ding, Alexander K. Winkel, Oscar Baldwin, Shreya Dwarakacherla, Kristian Franze, Edouard B Hannezo, and Fengzhu Xiong. “Differential Tissue Deformability Underlies Fluid Pressure-Driven Shape Divergence of the Avian Embryonic Brain and Spinal Cord.” Developmental Cell. Elsevier, 2025. https://doi.org/10.1016/j.devcel.2025.04.010.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19704 | OA | PlanS
Tavakoli, Mojtaba, Julia Lyudchik, Michał Januszewski, Vitali Vistunou, Nathalie Agudelo Duenas, Jakob Vorlaufer, Christoph M Sommer, et al. “Light-Microscopy-Based Connectomic Reconstruction of Mammalian Brain Tissue.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-08985-1.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19705 | OA | PlanS
Fialova, Marie, and David Krejčiřík. “Virtual Bound States of the Pauli Operator with an Aharonov–Bohm Potential.” Reviews in Mathematical Physics. World Scientific Publishing, 2025. https://doi.org/10.1142/S0129055X25500114.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19712 | OA
Cueto Noval, Miguel, Simon-Philipp Merz, Patrick Stählin, and Akin Ünal. “On the Soundness of Algebraic Attacks against Code-Based Assumptions.” In 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 15606:385–415. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91095-1_14.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 19713 | OA
Talaei, Shayan, Matin Ansaripour, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Hybrid Decentralized Optimization: Leveraging Both First- and Zeroth-Order Optimizers for Faster Convergence.” Proceedings of the 39th AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i19.34290.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed