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.
622 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20074 |
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 |
|
|
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 |
|
|
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 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Monzer, Aline. “Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19395.
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
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 |
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 |
Journal Article |
IST-REx-ID: 19795 |
Vorlaufer, Jakob, Nikolai Semenov, Caroline Kreuzinger, Manjunath Javoor, Bettina Zens, Nathalie Agudelo Duenas, Mojtaba Tavakoli, et al. “Image-Based 3D Active Sample Stabilization on the Nanometer Scale for Optical Microscopy.” Biophysical Reports. Elsevier, 2025. https://doi.org/10.1016/j.bpr.2025.100211.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 22825 |
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 |
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 |
Thesis | PhD |
IST-REx-ID: 19903 |
Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19903.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
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 |
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 |
|
|
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 |
Thesis | PhD |
IST-REx-ID: 20607
Mondal, Soumyadip. “Oxygen and Sulfur Redox: Conversion Kinetics and Phase Equilibria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20607.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 22828 |
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 |
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
2025 |
Published |
Conference Paper |
IST-REx-ID: 22832 |
Cadei, Riccardo, Ilker Demirel, Piersilvio De Bartolomeis, Lukas Lindorfer, Sylvia Cremer, Cordelia Schmid, and Francesco Locatello. “Prediction-Powered Causal Inferences.” In 39th Conference on Neural Information Processing Systems, 38:82200–229. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-2479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
|
|
Mukhopadhyay, Soham, Diego A Lancheros Naranjo, Jorden L Senior, and Andrew P Higginbotham. “Dual Relaxation Oscillations in a Josephson-Junction Array.” Physical Review Applied. American Physical Society, 2025. https://doi.org/10.1103/qvls-7s3q.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv