| 2022 | Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. | R. Govind, Frdric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2022 | Geometric decision procedures and the VC dimension of linear arithmetic theories. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | Stochastic Games with Synchronizing Objectives. | Laurent Doyen |
| 2022 | Partitions and Ewens Distributions in element-free Probability Theory. | Bart Jacobs |
| 2021 | No-Rainbow Problem and the Surjective Constraint Satisfaction Problem. | Dmitriy Zhuk |
| 2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu |
| 2021 | Complexity Lower Bounds from Algorithm Design. | R. Ryan Williams |
| 2021 | Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames. | Rineke Verbrugge |
| 2021 | Inapproximability of Unique Games in Fixed-Point Logic with Counting. | Jamie Tucker-Foltz |
| 2021 | Normalization for Cubical Type Theory. | Jonathan Sterling, Carlo Angiuli |
| 2021 | Compositional Semantics for Probabilistic Programs with Exact Conditioning. | Dario Stein, Sam Staton |
| 2021 | A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. | Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty |
| 2021 | On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. | Paolo Pistone |
| 2021 | First-Order Reasoning and Efficient Semi-Algebraic Proofs. | Fedor Part, Neil Thapen, Iddo Tzameret |
| 2021 | Intersection Type Distributors. | Federico Olimpieri |
| 2021 | Alignment Completeness for Relational Hoare Logics. | Ramana Nagasamudram, David A. Naumann |
| 2021 | Parametricity and Semi-Cubical Types. | Hugo Moeneclaey |
| 2021 | Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2021 | PTAS for Sparse General-Valued CSPs. | Balzs F. Mezei, Marcin Wrochna, Stanislav Zivn |
| 2021 | Asynchronous Template Games and the Gray Tensor Product of 2-Categories. | Paul-Andr Mellis |
| 2021 | A distributed operational view of Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2021 | Fixed-Points for Quantitative Equational Logics. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | An Algebraic Characterisation of First-Order Logic with Neighbour. | Amaldev Manuel, Dhruv Nevatia |
| 2021 | Universal Skolem Sets. | Florian Luca, Jol Ouaknine, James Worrell |