Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.

Bubaak-SpLit: Split what you cannot verify (Competition contribution)
M. Chalupa, C. Richter, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 353–358.

Rabin games and colourful universal trees
R. Majumdar, I. Saflam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.

History-deterministic timed automata
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.

EIGER. VI. The correlation function, host halo mass, and duty cycle of luminous quasars at z  6
A.C. Eilers, R. Mackenzie, E. Pizzati, J.J. Matthee, J.F. Hennawi, H. Zhang, R. Bordoloi, D. Kashino, S.J. Lilly, R.P. Naidu, R.A. Simcoe, M. Yue, C.S. Frenk, J.C. Helly, M. Schaller, J. Schaye, Astrophysical Journal 974 (2024).

Scale-invariant magnetic anisotropy in ;1-RuCl3: A quantum Monte Carlo study
T. Sato, B.J. Ramshaw, K.A. Modic, F.F. Assaad, Physical Review B 110 (2024).

Spin-it faster: Quadrics solve all topology optimization problems that depend only on mass moments
C. Hafner, M. Ly, C. Wojtan, Transactions on Graphics 43 (2024).

Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.

Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation
S. Ishida, H. Lavenant, Foundations of Computational Mathematics (2024).

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.

Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).

A characterization of maps of bounded compression
L. Dello Schiavo, Mathematical Communications 29 (2024) 137–142.

Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization
S. Caballero Mancebo, R. Shinde, M. Bolger-Munro, M. Peruzzo, G. Szep, I. Steccari, D. Labrousse Arias, V. Zheden, J. Merrin, A. Callan-Jones, R. Voituriez, C.-P.J. Heisenberg, Nature Physics 20 (2024) 310–321.

Geometry-driven migration efficiency of autonomous epithelial cell clusters
E. Vercruysse, D. Brückner, M. Gómez-González, A. Remson, M. Luciano, Y. Kalukula, L. Rossetti, X. Trepat, E.B. Hannezo, S. Gabriele, Nature Physics 20 (2024) 1492–1500.

Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networksf: Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.

QMoE: Sub-1-bit compression of trillion parameter models
E. Frantar, D.-A. Alistarh, in:, P. Gibbons, G. Pekhimenko, C. De Sa (Eds.),  Proceedings of Machine Learning and Systems, 2024.

Scaling laws for sparsely-connected foundation models
E. Frantar, C.R. Ruiz, N. Houlsby, D.-A. Alistarh, U. Evci, in:, The Twelfth International Conference on Learning Representations, 2024.

The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry 72 (2024) 831–848.

Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.

Solving long-run average reward robust MDPs via stochastic games
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.