Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).

Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation
S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.

Design and control of deformable structures: From PCB lighting displays to elastomer robots
M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.

Tribocharging of identical insulators: Triboelectric series, triboelectric cycles and surface charges
J.C.A. Sobarzo Ponce, Tribocharging of Identical Insulators: Triboelectric Series, Triboelectric Cycles and Surface Charges, Institute of Science and Technology Austria, 2025.

Mesh simplification for unfolding
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).

Computational design and fabrication of modular robots with untethered control
M. Bhargava, T. Hiraki, I.-M. Strugaru, Y. Zhang, M. Piovarci, C. Daraio, D. Iwai, B. Bickel, ArXiv (n.d.).

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

Hardness of 4-colouring G-colourable graphs
S. Avvakumov, M. Filakovský, J. Oprsal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.

Topological methods in discrete geometry and theoretical computer science: Measure partitioning and constraint satisfaction problems
G. Tasinato, Topological Methods in Discrete Geometry and Theoretical Computer Science: Measure Partitioning and Constraint Satisfaction Problems, Institute of Science and Technology Austria, 2025.

Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.

Random zero-sum dynamic games on infinite directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.

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

Deformational rigidity of integrable metrics on the torus
S.J. Henheik, Ergodic Theory and Dynamical Systems 45 (2025) 467–503.

Loschmidt echo for deformed Wigner matrices
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).

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

Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems
S.J. Henheik, Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.

Universal behavior of the BCS energy gap
S.J. Henheik, A.B. Lauritsen, Journal of Spectral Theory 15 (2025) 305–352.

Prethermalization for deformed Wigner matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, Annales Henri Poincare 26 (2025) 1991–2033.

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

Residential tree canopy configuration and mortality in 6 million Swiss adults: A longitudinal study
D. Chi, G. Manoli, B. Lin, R. Aerts, J. Yang, A. Hahs, D. Richards, N. Meili, Y. Zhu, Y. Qiu, J. Wang, P. Burlando, S. Fatichi, P.Y. Tan, The Lancet Planetary Health 9 (2025) e186–e195.