| 2024 | Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory). | Dario Stein, Richard Samuelson |
| 2024 | Clones, closed categories, and combinatory logic. | Philip Saville |
| 2024 | Checking History-Determinism is NP-hard for Parity Automata. | Aditya Prakash |
| 2024 | Ackermannian Completion of Separators. | Jrme Leroux |
| 2024 | Synthesis with Privacy Against an Observer. | Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy |
| 2024 | From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. | Jan-Christoph Kassing, Florian Frohn, Jrgen Giesl |
| 2024 | Tighter Construction of Tight Bchi Automata. | Marek Jankola, Jan Strejcek |
| 2024 | Drawing from an Urn is Isometric. | Bart Jacobs |
| 2024 | Fair ω-Regular Games. | Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
| 2024 | Logical Predicates in Higher-Order Mathematical Operational Semantics. | Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2024 | Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. | Luca Geatti, Alessio Mansutti, Angelo Montanari |
| 2024 | Reachability in Fixed VASS: Expressiveness and Lower Bounds. | Andrei Draghici, Christoph Haase, Andrew Ryzhikov |
| 2024 | Stochastic Window Mean-Payoff Games. | Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2024 | A Resolution-Based Interactive Proof System for UNSAT. | Philipp Czerner, Javier Esparza, Valentin Krasotin |
| 2024 | Craig Interpolation for Decidable First-Order Fragments. | Balder ten Cate, Jesse Comer |
| 2024 | From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. | Valentin Blot, Gilles Dowek, Thomas Traversi, Tho Winterhalter |
| 2024 | Monoidal Extended Stone Duality. | Fabian Birkmann, Henning Urbat, Stefan Milius |
| 2024 | On Basic Feasible Functionals and the Interpretation Method. | Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale |
| 2024 | Parity Games on Temporal Graphs. | Pete Austin, Sougata Bose, Patrick Totzke |
| 2024 | Determinization of Integral Discounted-Sum Automata is Decidable. | Shaull Almagor, Neta Dafni |
| 2024 | Dimension-Minimality and Primality of Counter Nets. | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
| 2024 | Light Genericity. | Beniamino Accattoli, Adrienne Lancelot |
| 2023 | Preservation and Reflection of Bisimilarity via Invertible Steps. | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |