Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7365 Publications
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).
2025 | Published | Journal Article | IST-REx-ID: 18880 |
Rate of convergence in multiple SLE using random matrix theory
A.J. Campbell, K. Luh, V. Margarint, Random Matrices: Theory and Application 14 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.J. Campbell, K. Luh, V. Margarint, Random Matrices: Theory and Application 14 (2025).
2025 | Draft | Preprint | IST-REx-ID: 19546 |
Eigenvector decorrelation for random matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, ArXiv (n.d.).
2025 | Draft | Preprint | IST-REx-ID: 19552 |
How a space-time singularity helps remove the ultraviolet divergence problem
S.J. Henheik, B. Poudyal, R. Tumulka, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S.J. Henheik, B. Poudyal, R. Tumulka, ArXiv (n.d.).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19601 |
ARF degradation defines a deeply conserved step in auxin response
M. De Roij, J. Hernández García, S. Das, J.W. Borst, D. Weijers, Nature Plants (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. De Roij, J. Hernández García, S. Das, J.W. Borst, D. Weijers, Nature Plants (2025).
2025 | Published | Journal Article | IST-REx-ID: 19843 |
Stable strategies of direct and indirect reciprocity across all social dilemmas
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20007 |
Smoothed analysis for graph isomorphism
M. Anastos, M.A. Kwan, B. Moore, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 2098–2106.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, M.A. Kwan, B. Moore, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 2098–2106.
2025 | Published | Conference Paper | IST-REx-ID: 20006 |
Banana trees for the persistence in time series experimentally
L. Ost, S. Cultrera di Montesano, H. Edelsbrunner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Ost, S. Cultrera di Montesano, H. Edelsbrunner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20004 |
Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers
E. Streltsova, U. Wagner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Streltsova, U. Wagner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20005 |
On spheres with k points inside
H. Edelsbrunner, A. Garber, M. Saghafian, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, A. Garber, M. Saghafian, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20002 |
|
|
Visualization of a multi-turnover Cas9 after product release
K. Kiernan, D.W. Taylor, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K. Kiernan, D.W. Taylor, Nature Communications 16 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19982 |
Fully dynamic approximate minimum cut in subpolynomial time per operation
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.