Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.

VAMOS: Middleware for Best-Effort Third-Party Monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.

Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.

Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).

Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).

Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).

A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.

Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.

Successive vertex orderings of fully regular graphs
L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).

Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.

Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.

Fundamental limits in structured principal component analysis and how to reach them
J. Barbier, F. Camilli, M. Mondelli, M. Sáenz, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).

Nuclear spin effects in biological processes
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).

Adaptive pathfinding by nucleokinesis during amoeboid migration
J. Kroll, R. Hauschild, A. Kuznetcov, K. Stefanowski, M.D. Hermann, J. Merrin, L.B. Shafeek, A. Müller-Taubenberger, J. Renkawitz, EMBO Journal (2023).

Disequilibrating azoarenes by visible-light sensitization under confinement
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Biaek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.

Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling
G. Bighin, Q.P. Ho, M. Lemeshko, T.V. Tscherbul, Physical Review B 108 (2023).