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.
610 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20441 |
Keratins act as global coordinators of tissue spreading through mechanosensitive feedback
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Naik, Keratins Act as Global Coordinators of Tissue Spreading through Mechanosensitive Feedback, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
earlier version | 2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20556
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20101 |
The neural basis of species-specific defensive behaviour in Peromyscus mice
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
2025 |
Research Data Reference |
IST-REx-ID: 20883 |
The neural basis of species-specific defensive behaviour in Peromyscus mice
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
The equational theories project: Advancing collaborative mathematical research at scale
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 2512.07087.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 2512.07087.
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
Position: It's time to act on the risk of efficient personalized text generation
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
Certifying solutions of degenerate semidefinite programs
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog
A.C. Wilson, 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.
[Published Version]
View
| Files available
| DOI
A.C. Wilson, 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.
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20926 |
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20074 |
Human microglia impact neuronal development in retinal organoids
V. Schmied, Human Microglia Impact Neuronal Development in Retinal Organoids, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
V. Schmied, Human Microglia Impact Neuronal Development in Retinal Organoids, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20167
The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs
H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20538 |
|
|
A novel HMBC-CC-HMQC NMR strategy for methyl assignment using triple-13C-labeled α-ketoisovalerate integrated with UCBShift 2.0
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Knödlstorfer, G. Toscano, A.L. Ptaszek, G. Kontaxis, F. Napoli, J. Schneider, K. Maier, A. Kapitonova, R.J. Lichtenecker, P. Schanda, R. Konrat, Journal of Molecular Biology 437 (2025).
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
TMK interacting network of receptor like kinases for auxin canalization and beyond
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19684 |
Transition to turbulence: Data-, solution-, and pattern-driven approaches
G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Yalniz, Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22825 |
Neural collapse is globally optimal in deep regularized ResNets and transformers
P. Súkeník, C. Lampert, M. Mondelli, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 48646–48677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
P. Súkeník, C. Lampert, M. Mondelli, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 48646–48677.
2025 |
Published |
Conference Paper |
IST-REx-ID: 22824 |
Fast rate bounds for multi-task and meta-learning with different sample sizes
H. Zakerinia, C. Lampert, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 9062–9093.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Zakerinia, C. Lampert, in:, 39th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 9062–9093.