Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).

Nonlocaltolocal convergence for a Cahn–Hilliard tumor growth model
C. Hurm, M. Moser, GAMM-Mitteilungen 48 (2025).

Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.

Molecular mechanisms of microtubule reorganization in elongating root epidermal cells
S. Inumella, Molecular Mechanisms of Microtubule Reorganization in Elongating Root Epidermal Cells, Institute of Science and Technology Austria, 2025.

Let us FIGURE it out: Why do scientists still make cbadd figures?
A. Rayaroth Puthiyaveettil, C. Fiedler, M. Ibáñez, ACS Materials Au 5 (2025) 438–440.

Color-avoiding percolation on the Erds–Rényi random graph
L. Lichev, B. Schapira, Annales Henri Lebesgue 8 (2025) 35–65.

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

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