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 V. Human microglia impact neuronal development in retinal organoids. 2025. doi:10.15479/AT-ISTA-20074
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi: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 H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20538 |
|
|
Knödlstorfer S, Toscano G, Ptaszek AL, 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. 2025;437(23). doi:10.1016/j.jmb.2025.169465
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Monzer A. Cell-surface auxin signaling: Linking molecular pathways to plant development. 2025. doi:10.15479/AT-ISTA-19395
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
Monzer A, Mazur E, Rodriguez Solovey L, et al. TMK interacting network of receptor like kinases for auxin canalization and beyond. bioRxiv. doi: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. Transition to turbulence: Data-, solution-, and pattern-driven approaches. 2025. doi:10.15479/AT-ISTA-19684
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19795 |
Vorlaufer J, Semenov N, Kreuzinger C, et al. Image-based 3D active sample stabilization on the nanometer scale for optical microscopy. Biophysical Reports. 2025;5(2). doi:10.1016/j.bpr.2025.100211
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 22825 |
Súkeník P, Lampert C, Mondelli M. Neural collapse is globally optimal in deep regularized ResNets and transformers. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:48646-48677. doi:10.52202/085713-1450
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 22824 |
Zakerinia H, Lampert C. Fast rate bounds for multi-task and meta-learning with different sample sizes. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:9062-9093. doi:10.52202/085713-0278
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:10.15479/AT-ISTA-19903
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Asadi A, Chatterjee K, De Raaij J. Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:223-232.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Asadi A, Chatterjee K, Saona Urmeneta RJ, Shafiee A. Limit-sure reachability for small memory policies in POMDPs is NP-complete. In: The 41st Conference on Uncertainty in Artificial Intelligence. Vol 286. ML Research Press; 2025:238-247.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20646 |
|
|
Petrova E, Ljubotina M, Yalniz G, Serbyn M. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 2025;6(4). doi:10.1103/tldp-kvkd
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20607
Mondal S. Oxygen and sulfur redox: Conversion kinetics and phase equilibria. 2025. doi:10.15479/AT-ISTA-20607
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 22828 |
Kalinin N, Upadhyay J, Lampert C. Continual release moment estimation with differential privacy. In: Advances in Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:64002-64047. doi:10.52202/085713-1924
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 22827 |
Ashkboos S, Nikdan M, Tabesh S, Lopez Castro R, Hoefler T, Alistarh D-A. HALO: Hadamard-assisted lower-precision optimization for LLMs. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:131755-131780. doi:10.52202/085713-3966
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 22832 |
Cadei R, Demirel I, De Bartolomeis P, et al. Prediction-Powered Causal Inferences. In: 39th Conference on Neural Information Processing Systems. Vol 38. Neural Information Processing Systems Foundation; 2025:82200-82229. doi:10.52202/085713-2479
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20324 |
|
|
Mukhopadhyay S, Lancheros Naranjo DA, Senior JL, Higginbotham AP. Dual relaxation oscillations in a Josephson-junction array. Physical Review Applied. 2025;24. doi:10.1103/qvls-7s3q
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv