Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).

On the convergence time in graphical games: A locality-sensitive approach
J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Electrical flows for polylogarithmic competitive oblivious routing
G. Goranci, M. Henzinger, H. Räcke, S. Sachdeva, A.R. Sricharan, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Self-replication of A;242 aggregates occurs on small and isolated fibril sites
S. Curk, J. Krausser, G. Meisl, D. Frenkel, S. Linse, T.C.T. Michaels, T.P.J. Knowles, A. Sari, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).

Concentration without independence via information measures
A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory 70 (2024) 3823–3839.

Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

Central limit theorems for random matrices: From resolvents to free probability
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.

Trapdoor memory-hard functions
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.

Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.

Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.

Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.

Overparametrization helps offline-to-online generalization of closed-loop control from pixels
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.

Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
R. Andriushchenko, A. Bork, C.E. Budde, M. ceska, K. Grover, E.M. Hahn, A. Hartmanns, B. Israelsen, N. Jansen, J. Jeppson, S. Junges, M.A. Köhl, B. Könighofer, J. Kretinsky, T. Meggendorfer, D. Parker, S. Pranger, T. Quatmann, E. Ruijters, L. Taylor, M. Volk, M. Weininger, Z. Zhang, in:, TOOLympics Challenge 2023, Springer Nature, 2024, pp. 90–146.

Marrying causal representation learning with dynamical systems for science
D. Yao, C.J. Muller, F. Locatello, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.

Expander hierarchies for normalized cuts on graphs
K. Hanauer, M. Henzinger, R. Münk, H. Räcke, M. Vötsch, in:, Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, ACM, 2024, pp. 1016–1027.

An empirical study of consensus protocols’ DoS resilience
G. Giuliari, A. Sonnino, M. Frei, F. Streun, E. Kokoris Kogias, A. Perrig, in:, Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, ACM, 2024, pp. 1345–1360.

Computing the 3-edge-connected components of directed graphs in linear time
L. Georgiadis, G.F. Italiano, E. Kosinas, in:, 65th Annual Symposium on Foundations of Computer Science, IEEE, 2024, pp. 62–85.

A statistical approach to Monte Carlo denoising
H. Sakai, C. Freude, T. Auzinger, D. Hahn, M. Wimmer, in:, Proceedings - SIGGRAPH Asia 2024 Conference Papers, Association for Computing Machinery, 2024.

Acute and circadian feedforward regulation of agouti-related peptide hunger neurons
A.M. Douglass, H. Kucukdereli, J.C. Madara, D. Wang, C. Wu, E.D. Lowenstein, J. Tao, B.B. Lowell, Cell Metabolism 37 (2024) 708–722.e5.