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.
617 Publications
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22775
Timing and strength of synaptic transmission at hippocampal mossy fiber synapses in mice and humans
S. Jamrichova, Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
S. Jamrichova, Timing and Strength of Synaptic Transmission at Hippocampal Mossy Fiber Synapses in Mice and Humans, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 22923 |
Eigenvector decorrelation for random matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Annals of Applied Probability 36 (2026) 3707–3756.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Annals of Applied Probability 36 (2026) 3707–3756.
2026 |
Published |
Book Chapter |
IST-REx-ID: 22925 |
Fluorescent in situ mRNA hybridization (FISH) using Hybridization Chain Reaction (HCR) in Xenopus cryosections
D. Vijatovic, S. Papadopoulos, M. Dalla Vecchia, L.B. Sweeney, in:, C.W. Beck (Ed.), Xenopus, Springer, 2026, pp. 245–259.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Vijatovic, S. Papadopoulos, M. Dalla Vecchia, L.B. Sweeney, in:, C.W. Beck (Ed.), Xenopus, Springer, 2026, pp. 245–259.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22920 |
Generalized bidding games: Where bidding and stochastic games meet
A. Asadi, T.A. Henzinger, E. Goharshady, P. Kebis, K. Mallik, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, T.A. Henzinger, E. Goharshady, P. Kebis, K. Mallik, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22919 |
PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance
A. Asadi, K. Chatterjee, P. Kebis, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, K. Chatterjee, P. Kebis, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 22408 |
| 
|
Quasi-solitons in Rydberg atom chains
A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications 17 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications 17 (2026).
2026 |
Research Data |
IST-REx-ID: 21960 |
Research Data: "Quasi-solitons in Rydberg atom chains"
A. Kerschbaumer, (2026).
[Published Version]
View
| Files available
| DOI
A. Kerschbaumer, (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Monitoring algorithmic fairness in sequential decision making
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22873
Biological functionality without biochemistry: Designing nanomachines for target behavior
A. Ehrmann, Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
A. Ehrmann, Biological Functionality without Biochemistry: Designing Nanomachines for Target Behavior, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22857 |
Trustworthy machine learning in high dimensions
S. Bombari, Trustworthy Machine Learning in High Dimensions, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
S. Bombari, Trustworthy Machine Learning in High Dimensions, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22894 |
A law of data reconstruction for random features (and beyond)
L. Iurada, S. Bombari, T. Tommasi, M. Mondelli, in:, 14th International Conference on Learning Representations, OpenReview, 2026, pp. 145275–145314.
[Published Version]
View
| Files available
| arXiv
L. Iurada, S. Bombari, T. Tommasi, M. Mondelli, in:, 14th International Conference on Learning Representations, OpenReview, 2026, pp. 145275–145314.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
Monitoring discounted sum properties
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21423 |
Geometry-driven self-organization of migrating cells and chiral filaments
Z. Dunajova, Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
Z. Dunajova, Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments, Institute of Science and Technology Austria, 2026.
2026 |
Research Data |
IST-REx-ID: 21439 |
Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments”
Z. Dunajova, (2026).
[Published Version]
View
| Files available
| DOI
Z. Dunajova, (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 18706 |
|
|
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics 37 (2026) 614–642.
[Published Version]
View
| Files available
| DOI
| WoS
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics 37 (2026) 614–642.
2026 |
Published |
Journal Article |
IST-REx-ID: 21982 |
|
|
Geometry of the vapor layer under a Leidenfrost hydrogel sphere
V.L. Diaz Melian, I.C. Lenton, J. Binysh, A. Souslov, S.R. Waitukaitis, Physical Review E 113 (2026).
[Published Version]
View
| Files available
| DOI
| arXiv
V.L. Diaz Melian, I.C. Lenton, J. Binysh, A. Souslov, S.R. Waitukaitis, Physical Review E 113 (2026).
2025 |
Research Data |
IST-REx-ID: 20842 |
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
[Published Version]
View
| Files available
| DOI
S. Agafonova, (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2025 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.