Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation
M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025).

Data of: "Quantifying the carbon footprint of conference travel: the case of NMR meetings"
P. Schanda, (2025).

Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.

Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.

In the search of optimal tree networks: Hardness and heuristics
P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257.

Image-based 3D active sample stabilization on the nanometer scale for optical microscopy
J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025).

Construction of a cryo-super-resolution microscope to guide in situ structure analysis
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.

Maintaining diversity in structured populations
D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, Pnas Nexus 4 (2025).

Burning or collapsing the medial axis is unstable
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica (2025).

Quantitative language automata
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme
D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R.J. Lichtenecker, P. Schanda, Journal of Molecular Biology (n.d.).

Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme
P. Schanda, (2025).

Predictive monitoring of black-box dynamical systems
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics &; Control Conference, ML Research Press, 2025, pp. 804–816.

Reduction of neuronal activity mediated by blood-vessel regression in the brain
X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M. Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte, Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang, L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X. Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo, W. Ge, Nature Communications 16 (2025).

Cell-Surface Auxin Signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.

Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.

Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.

Finding equilibria: Simpler for pessimists, simplest for optimists
L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

Resolving nondeterminism with randomness
T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.