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.

642 Publications


2025 | Draft | Preprint | IST-REx-ID: 21858 | OA
Iofinova, Eugenia B, Andrej Jovanovic, and Dan-Adrian Alistarh. “Position: It’s Time to Act on the Risk of Efficient Personalized Text Generation.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2502.06560.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization. Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/24m1664691.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | MS | IST-REx-ID: 20735 | OA
Wilson, Alexia C. “Modelling the Spinal Cord of a Tadpole: Exploring Different Ways to Model the Spinal Cord in the Xenopus Frog.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20735.
[Published Version] View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2509.20539.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
Trioni, Andrea. “High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20371.
[Published Version] View | Files available | DOI
 

earlier version | 2025 | Research Data | IST-REx-ID: 20641 | OA
Becker, Lea Marie, and Paul Schanda. “Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.’” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20641.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20926 | OA
Kim, Dongjin, Xiaoyu Wang, Santiago Vargas, Peichen Zhong, Daniel S. King, Theo Jaffrelot Inizan, and Bingqing Cheng. “A Universal Augmentation Framework for Long-Range Electrostatics in Machine Learning Interatomic Potentials.” Journal of Chemical Theory and Computation. American Chemical Society, 2025. https://doi.org/10.1021/acs.jctc.5c01400.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20074 | OA
Schmied, Verena. “Human Microglia Impact Neuronal Development in Retinal Organoids.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20074.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science. EPI Sciences, 2025. https://doi.org/10.46298/lmcs-21(2:2)2025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20167
Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20167.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 20538 | OA | PlanS
Knödlstorfer, Sonja, Giorgia Toscano, Aleksandra L. Ptaszek, Georg Kontaxis, Federico Napoli, Jakob Schneider, Katharina Maier, et al. “A Novel HMBC-CC-HMQC NMR Strategy for Methyl Assignment Using Triple-13C-Labeled α-Ketoisovalerate Integrated with UCBShift 2.0.” Journal of Molecular Biology. Elsevier, 2025. https://doi.org/10.1016/j.jmb.2025.169465.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Draft | Preprint | IST-REx-ID: 19398 | OA
Monzer, Aline, Ewa Mazur, Lesia Rodriguez Solovey, Michelle C Gallei, Minxia Zou, Michael Smejkal, Ema Cervenova, and Jiří Friml. “TMK Interacting Network of Receptor like Kinases for Auxin Canalization and Beyond.” BioRxiv, n.d. https://doi.org/10.1101/2025.02.28.640727.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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 | Published | Conference Paper | IST-REx-ID: 22825 | OA
Súkeník, Peter, Christoph Lampert, and Marco Mondelli. “Neural Collapse Is Globally Optimal in Deep Regularized ResNets and Transformers.” In 39th Conference on Neural Information Processing Systems, 38:48646–77. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1450.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 22824 | OA
Zakerinia, Hossein, and Christoph Lampert. “Fast Rate Bounds for Multi-Task and Meta-Learning with Different Sample Sizes.” In 39th Conference on Neural Information Processing Systems, 38:9062–93. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-0278.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20299 | OA
Asadi, Ali, Krishnendu Chatterjee, and Jakob De Raaij. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” In The 41st Conference on Uncertainty in Artificial Intelligence, 286:223–32. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20297 | OA
Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Ali Shafiee. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” In The 41st Conference on Uncertainty in Artificial Intelligence, 286:238–47. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20646 | OA | PlanS
Petrova, Elena, Marko Ljubotina, Gökhan Yalniz, and Maksym Serbyn. “Finding Periodic Orbits in Projected Quantum Many-Body Dynamics.” PRX Quantum. American Physical Society, 2025. https://doi.org/10.1103/tldp-kvkd.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 22828 | OA
Kalinin, Nikita, Jalaj Upadhyay, and Christoph Lampert. “Continual Release Moment Estimation with Differential Privacy.” In Advances in Neural Information Processing Systems, 38:64002–47. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1924.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 22827 | OA
Ashkboos, Saleh, Mahdi Nikdan, Soroush Tabesh, Roberto Lopez Castro, Torsten Hoefler, and Dan-Adrian Alistarh. “HALO: Hadamard-Assisted Lower-Precision Optimization for LLMs.” In 39th Conference on Neural Information Processing Systems, 38:131755–80. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-3966.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed