| 2025 | If At First You Don't Succeed: Extended Monitorability through Multiple Executions. | Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb |
| 2024 | Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. | Thorsten Wimann, Stefan Milius |
| 2024 | Complete Game Logic with Sabotage. | Noah Abou El Wafa, Andr Platzer |
| 2024 | From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. | Harry Vinall-Smeeth |
| 2024 | Equivalence and Conditional Independence in Atomic Sheaf Logic. | Alex Simpson |
| 2024 | Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. | Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny |
| 2024 | Natural numbers from integers. | Christian Sattler, David Wrn |
| 2024 | A Completeness Theorem for Probabilistic Regular Expressions. | Wojciech Rozowski, Alexandra Silva |
| 2024 | Dot-depth three, return of the J-class. | Thomas Place, Marc Zeitoun |
| 2024 | A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. | Maximilian Pflueger, Johannes Marti, Egor V. Kostylev |
| 2024 | Separation and Encodability in Mixed Choice Multiparty Sessions. | Kirstin Peters, Nobuko Yoshida |
| 2024 | "Upon This Quote I Will Build My Church Thesis". | Pierre-Marie Pdrot |
| 2024 | Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. | Hugo Paquet, Philip Saville |
| 2024 | Concurrent Games over Relational Structures: The Origin of Game Comonads. | Yov Montacute, Glynn Winskel |
| 2024 | Linear Termination is Undecidable. | Fabian Mitterwallner, Aart Middeldorp, Ren Thiemann |
| 2024 | Delooping cyclic groups with lens spaces in homotopy type theory. | Samuel Mimram, mile Oleon |
| 2024 | Decidability of Quasi-Dense Modal Logics. | Tim S. Lyon, Piotr Ostropolski-Nalewaja |
| 2024 | A Nominal Approach to Probabilistic Separation Logic. | John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen |
| 2024 | Uniformisation of Regular Relations in First-Order Logic with Two Variables. | Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
| 2024 | Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2024 | Composing Codensity Bisimulations. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata |
| 2024 | Relevant S is Undecidable. | Sren Brinck Knudstorp |
| 2024 | Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees. | Sandra Kiefer, Daniel Neuen |
| 2024 | On the Separability Problem of VASS Reachability Languages. | Eren Keskin, Roland Meyer |
| 2024 | δ is for Dialectica. | Marie Morgane Kerjean, Pierre-Marie Pdrot |