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.
619 Publications
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 |
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).
2026 |
Published |
Journal Article |
IST-REx-ID: 22957 |
Bioinformatics in Español: Expanding open, diverse, and collaborative science through SEH2Bioinfo
C.L. Padilla Franzotti, G.J. Olguín-Orellana, N. Palopoli, S. Urquiza-Zurich, A. Garcia-Moreno, S. Monzón, M. Cabrera-Pasadas, I. Soler Sáez, C. Perpiñá-Clérigues, R.J. Puche Quiñonez, J. Vélez Segura, J.A. Lovaco-Flores, C.M. Osorio Mogollón, E.M. Esquinas-Román, M.C. Miserendino, P. Eranti, A. Castillo-Orozco, Y. Cuesta-Astroz, R.G. Parra, Bioinformatics Advances 6 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C.L. Padilla Franzotti, G.J. Olguín-Orellana, N. Palopoli, S. Urquiza-Zurich, A. Garcia-Moreno, S. Monzón, M. Cabrera-Pasadas, I. Soler Sáez, C. Perpiñá-Clérigues, R.J. Puche Quiñonez, J. Vélez Segura, J.A. Lovaco-Flores, C.M. Osorio Mogollón, E.M. Esquinas-Román, M.C. Miserendino, P. Eranti, A. Castillo-Orozco, Y. Cuesta-Astroz, R.G. Parra, Bioinformatics Advances 6 (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21198 |
Data heterogeneity and personalization in federated learning
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J.A. Scott, Data Heterogeneity and Personalization in Federated Learning, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 21854 |
On the utility and effects of efficiency in artificial neural networks
E.B. Iofinova, On the Utility and Effects of Efficiency in Artificial Neural Networks, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
E.B. Iofinova, On the Utility and Effects of Efficiency in Artificial Neural Networks, Institute of Science and Technology Austria, 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.
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.