Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).

Snowfall decrease in recent years undermines glacier health and meltwater resources in the Northwestern Pamirs
A. Jouberton, T. Shaw, E. Miles, M. Kneib, S. Fugger, P. Buri, M. McCarthy, A. Kayumov, H. Navruzshoev, A. Halimov, K. Kabutov, F. Homidov, F. Pellicciotti, Communications Earth and Environment 6 (2025).

Decoding zebrafish oogenesis: From primordial germ cell development to fertilization
L. Hofmann, C.-P.J. Heisenberg, Seminars in Cell and Developmental Biology 175 (2025).

Interior rotation modelling of the ;2 Cep pulsator HD 192575 including multiplet asymmetries
V. Vanlaer, D.M. Bowman, S. Burssens, S.B. Das, L.A. Bugnet, S. Mathis, C. Aerts, Astronomy &; Astrophysics 701 (2025).

Mechanistic adaptation of the metazoan RabGEFs Mon1-Ccz1 and Fuzzy-Inturned
S. Wilmes, J. Tönjes, M. Drechsler, A. Ruf, J.H. Schäfer, A. Lürick, D. Januliene, S. Apelt, D. Di Iorio, S.V. Wegner, M. Loose, A. Moeller, A. Paululat, D. Kümmel, Science Advances 11 (2025) ead93.

A high fraction of close massive binary stars at low metallicity
H. Sana, T. Shenar, J. Bodensteiner, N. Britavskiy, N. Langer, D.J. Lennon, L. Mahy, I. Mandel, S.E. De Mink, L.R. Patrick, J.I. Villaseñor, M. Dirickx, M. Abdul-Masih, L.A. Almeida, F. Backs, S.R. Berlanas, M. Bernini-Peron, D.M. Bowman, V.A. Bronner, P.A. Crowther, K. Deshmukh, C.J. Evans, M. Fabry, M. Gieles, A. Gilkis, G. González-Torà, G. Gräfener, Y.L.L. Götberg, C. Hawcroft, V. Hénault-Brunet, A. Herrero, G. Holgado, R.G. Izzard, A. De Koter, S. Janssens, C. Johnston, J. Josiek, S. Justham, V.M. Kalari, J. Klencki, J. Kubát, B. Kubátová, R.R. Lefever, J.T. Van Loon, B. Ludwig, J. Mackey, J. Maíz Apellániz, G. Maravelias, P. Marchant, T. Mazeh, A. Menon, M. Moe, F. Najarro, L.M. Oskinova, R. Ovadia, D. Pauli, M. Pawlak, V. Ramachandran, M. Renzo, D.F. Rocha, A.A.C. Sander, F.R.N. Schneider, A. Schootemeijer, E.C. Schösser, C. Schürmann, K. Sen, S. Shahaf, S. Simón-Díaz, L.A.C. Van Son, M. Stoop, S. Toonen, F. Tramper, R. Valli, A. Vigna-Gómez, J.S. Vink, C. Wang, R. Willcox, Nature Astronomy 9 (2025) 1337–1346.

Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.

Mechanisms of auxin-mediated early embryogenesis in Arabidopsis thaliana
D. Babic, Mechanisms of Auxin-Mediated Early Embryogenesis in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2025.

Nuclear and cell surface auxin signaling in A. thaliana developmental transitions
C. Giannini, Nuclear and Cell Surface Auxin Signaling in A. Thaliana Developmental Transitions, Institute of Science and Technology Austria, 2025.

Pairs of commuting integer matrices
T.D. Browning, W. Sawin, V. Wang, Mathematische Annalen 393 (2025) 1863–1880.

Structure of the Huntingtin F-actin complex reveals its role in cytoskeleton organization
R. Carpentier, J. Kim, M. Capizzi, H. Kim, F. Fäßler, J. Hansen, M.J. Kim, E. Denarier, B. Blot, M. Degennaro, S. Labou, I. Arnal, M.J. Marcaida, M.D. Peraro, D. Kim, F.K. Schur, J.-J. Song, S. Humbert, Science Advances 11 (2025).

High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physicsf: Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.

Nucleosomes specify co-factor access to 
D. Chakraborty, C.R. Sandate, L. Isbel, G. Kempf, J. Weiss, S. Cavadini, L. Kater, J. Seebacher, Z. Kozicka, L. Stoos, R.S. Grand, D. Schübeler, A.K. Michael, N.H. Thomä, Molecular Cell 85 (2025) 2919–2936.e12.

Regulation of notochord and floor plate size during mouse development
K. Kishi, Regulation of Notochord and Floor Plate Size during Mouse Development, Institute of Science and Technology Austria, 2025.

Aging and memory of transitional turbulence
M. Vasudevan, C.S. Paranjape, M.P. Sitte, G. Yalniz, B. Hof, Nature Communications 16 (2025).

Evidence for the major role of PaEFB in the prolyl 4-hydroxylation of Drosophila collagen IV
Y. Ishikawa, M.A. Toups, M.N. Elkrewi, A.L. Zajac, S. Horne-Badovinac, Y. Matsubayashi, Matrix Biology 141 (2025) 101–113.

Observation of analogue dynamic Schwinger effect and non-perturbative light sensing in lead halide perovskites
D. Lorenc, A. Volosniev, A.A. Zhumekenov, S. Lee, M. Ibáñez, O.M. Bakr, M. Lemeshko, Z. Alpichshev, ACS Photonics 12 (2025) 5220–5230.

A remarkable ruby: Absorption in dense gas, rather than evolved stars, drives the extreme Balmer break of a little red dot at z = 3.5
A. De Graaff, H.W. Rix, R.P. Naidu, I. Labbé, B. Wang, J. Leja, J.J. Matthee, H. Katz, J.E. Greene, R.E. Hviding, J. Baggen, R. Bezanson, L.A. Boogaard, G. Brammer, P. Dayal, P. Van Dokkum, A.D. Goulding, M. Hirschmann, M.V. Maseda, I. Mcconachie, T.B. Miller, E. Nelson, P.A. Oesch, D.J. Setton, I. Shivaei, A. Weibel, K.E. Whitaker, C.C. Williams, Astronomy &; Astrophysics 701 (2025).

LieDetect: Detection of representation orbits of compact Lie groups from point clouds
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).

Nanoparticle-based precursors toward advanced crystalline inorganic solids
S. Lee, Nanoparticle-Based Precursors toward Advanced Crystalline Inorganic Solids, Institute of Science and Technology Austria, 2025.