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.

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.

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.

Automated All-RF Tuning for Spin Qubit Readout and Control
J. Saez Mollejo, (2025).

Files for "Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape"
B.L. Springstein, (2025).

Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote
S.S. Suresh, Turbulence in Polymeric Flowsf: A Characterisation of Elasto-Inertial Turbulence and the Maximum Drag Reduction Asymptote, Institute of Science and Technology Austria, 2025.

DNA targeting by compact Cad 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).

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.

Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, ACM Transactions on Algorithms 21 (2025).

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).

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.

Rate of convergence in multiple SLE using random matrix theory
A.J. Campbell, K. Luh, V. Margarint, Random Matrices: Theory and Application 14 (2025).

Eigenvector decorrelation for random matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, ArXiv (n.d.).

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).

How a space-time singularity helps remove the ultraviolet divergence problem
S.J. Henheik, B. Poudyal, R. Tumulka, ArXiv (n.d.).

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.

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).

Stable strategies of direct and indirect reciprocity across all social dilemmas
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).

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.

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.