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.
10945 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 | Thesis | IST-REx-ID: 19906
Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote
S.S. Suresh, Turbulence in Polymeric Flows : A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S.S. Suresh, Turbulence in Polymeric Flows : A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote, Institute of Science and Technology Austria, 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: 18853
Modulating the solvation structure to enhance amorphous solid electrolyte interface formation for ultra-stable aqueous zinc anode
G. Zeng, Q. Sun, S. Horta, P.R. Martínez-Alanis, P. Wu, J. Li, S. Wang, M. Ibáñez, Y. Tian, L. Ci, A. Cabot, Energy and Environmental Science 18 (2025) 1683–1695.
View
| DOI
| WoS
G. Zeng, Q. Sun, S. Horta, P.R. Martínez-Alanis, P. Wu, J. Li, S. Wang, M. Ibáñez, Y. Tian, L. Ci, A. Cabot, Energy and Environmental Science 18 (2025) 1683–1695.
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 | Published | Journal Article | IST-REx-ID: 19597 |
Subgap transport in superconductor-semiconductor hybrid islands: Weak and strong coupling regimes
M. Valentini, R.S. Souto, M. Borovkov, P. Krogstrup, Y. Meir, M. Leijnse, J. Danon, G. Katsaros, Physical Review Research 7 (2025).
[Published Version]
View
| Files available
| DOI
M. Valentini, R.S. Souto, M. Borovkov, P. Krogstrup, Y. Meir, M. Leijnse, J. Danon, G. Katsaros, Physical Review Research 7 (2025).
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 | Published | Conference Paper | IST-REx-ID: 19600
Route discovery in private payment channel networks
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
View
| DOI
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
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.