Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1011 (2025).

Direct and efficient detection of quantum superposition
D. Kun, K.T. Strömberg, M. Spagnolo, B. Daki, L.A. Rozema, P. Walther, Physical Review A 111 (2025).

Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).

Mechanisms of auxin action in plant growth and development
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).

Non–Hermitian spectral universality at critical points
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).

Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.

BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.

Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.

Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.

Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.

Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.

Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.

Robust image classification with 1-Lipschitz networks
B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025.

Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).

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

Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).

Optimal sums of three cubes in Fq[t]
T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).

Adeno-associated viral tools to trace neural development and connectivity across amphibians
E.C.B. Jaeger, D. Vijatovic, A. Deryckere, N. Zorin, A.L. Nguyen, G. Ivanian, J. Woych, R.C. Arnold, A. Ortega Gurrola, A. Shvartsman, F. Barbieri, F.-A. Toma, G.J. Gorbsky, M.E. Horb, H.T. Cline, T.F. Shay, D.B. Kelley, A. Yamaguchi, M. Shein-Idelson, M.A. Tosches, L.B. Sweeney, Developmental Cell 60 (2025) 794–812.e6.

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.

Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.