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.
6118 Publications
2025 | Published | Journal Article | IST-REx-ID: 19859 | 
Color-avoiding percolation on the Erdős–Rényi random graph
L. Lichev, B. Schapira, Annales Henri Lebesgue 8 (2025) 35–65.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Lichev, B. Schapira, Annales Henri Lebesgue 8 (2025) 35–65.
2025 | Published | Conference Paper | IST-REx-ID: 19666 |
Solving robust Markov decision processes: Generic, reliable, efficient
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
2025 | Published | Journal Article | IST-REx-ID: 19936 |
RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers
K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.
[Published Version]
View
| Files available
| DOI
K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.
2025 | Published | Journal Article | IST-REx-ID: 19935 |
Destabilizing Iris
S. Spies, N. Mück, H. Zeng, M.J. Sammler, A. Lattuada, P. Müller, D. Dreyer, Proceedings of the ACM on Programming Languages 9 (2025) 848–873.
[Published Version]
View
| Files available
| DOI
S. Spies, N. Mück, H. Zeng, M.J. Sammler, A. Lattuada, P. Müller, D. Dreyer, Proceedings of the ACM on Programming Languages 9 (2025) 848–873.
2025 | Research Data | IST-REx-ID: 19885 |
Automated All-RF Tuning for Spin Qubit Readout and Control
J. Saez Mollejo, (2025).
[Published Version]
View
| Files available
| DOI
J. Saez Mollejo, (2025).
2025 | Research Data | IST-REx-ID: 19915 |
Files for "Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape"
B.L. Springstein, (2025).
View
| Files available
| DOI
B.L. Springstein, (2025).
2025 | Published | Journal Article | IST-REx-ID: 18848 |
DNA targeting by compact Cas9d and its resurrected ancestor
R.F. Ocampo, J.P.K. Bravo, T.L. Dangerfield, I. Nocedal, S.A. Jirde, L.M. Alexander, N.C. Thomas, A. Das, S. Nielson, K.A. Johnson, C.T. Brown, C.N. Butterfield, D.S.A. Goltsman, D.W. Taylor, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
R.F. Ocampo, J.P.K. Bravo, T.L. Dangerfield, I. Nocedal, S.A. Jirde, L.M. Alexander, N.C. Thomas, A. Das, S. Nielson, K.A. Johnson, C.T. Brown, C.N. Butterfield, D.S.A. Goltsman, D.W. Taylor, Nature Communications 16 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19662 |
| 
|
The impact of the rotation rate on an aquaplanet's radiant energy budget: Insights from experiments varying the Coriolis parameter
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
[Published Version]
View
| Files available
| DOI
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
2025 | Published | Journal Article | IST-REx-ID: 18855 |
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, ACM Transactions on Algorithms 21 (2025).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.G. Harris, V. Kolmogorov, ACM Transactions on Algorithms 21 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18866 |
JWST photometry and astrometry of 47 Tucanae. Discontinuity in the stellar sequence at the star--brown dwarf transition
M. Scalco, R. Gerasimov, L.R. Bedin, E. Vesperini, M. Correnti, D. Nardiello, A. Burgasser, H. Richer, I. Caiazzo, J. Heyl, M. Libralato, J. Anderson, M. Griggio, Astronomy & Astrophysics 694 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Scalco, R. Gerasimov, L.R. Bedin, E. Vesperini, M. Correnti, D. Nardiello, A. Burgasser, H. Richer, I. Caiazzo, J. Heyl, M. Libralato, J. Anderson, M. Griggio, Astronomy & Astrophysics 694 (2025).