| 2026 | Bridging the Gap Between Plain VASS and Branching VASS. | Clotilde Bizire, Jrme Leroux, Grgoire Sutre |
| 2026 | Synthesising Asynchronous Automata from Fair Specifications. | Batrice Brard, Benjamin Monmege, B. Srivathsan, Arnab Sur |
| 2026 | The Complexity of Games with Randomised Control. | Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2026 | Learning Bottom-Up Tree Automata Valued in Monoidal Categories. | Quentin Aristote, Daniela Petrisan |
| 2026 | Varieties of Quantitative Algebras Presented by 1-Basic Monads. | Jir Admek |
| 2025 | Temporal Hyperproperties for Population Protocols. | Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, Csar Snchez |
| 2025 | Relational Connectors and Heterogeneous Simulations. | Pedro Nora, Jurriaan Rot, Lutz Schrder, Paul Wild |
| 2025 | Complete Test Suites for Automata in Monoidal Closed Categories. | Blint Kocsis, Jurriaan Rot |
| 2025 | A General Completeness Theorem for Skip-Free Star Algebras. | Tobias Kapp, Todd Schmid |
| 2025 | Structural Liveness of Conservative Petri Nets. | Petr Jancar, Jrme Leroux, Jiri Valusek |
| 2025 | Complementation of Emerson-Lei Automata. | Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov |
| 2025 | Idempotent Resources in Separation Logic - The Heart of core in Iris. | Daniel Gratzer, Mathias Adam Mller, Lars Birkedal |
| 2025 | BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | Context-Free Languages of String Diagrams. | Matt Earnshaw, Mario Romn |
| 2025 | Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. | Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin |
| 2025 | Combining quantum and classical control: syntax, semantics and adequacy. | Kinnari Dave, Louis Lemonnier, Romain Pchoux, Vladimir Zamdzhiev |
| 2025 | A Behavioural Pseudometric for Continuous-Time Markov Processes. | Linan Chen, Florence Clerc, Prakash Panangaden |
| 2025 | Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route. | Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath |
| 2025 | A Diagrammatic Algebra for Program Logics. | Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. | Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina |
| 2025 | On the cut-elimination of the modal μ-calculus: Linear Logic to the rescue. | Esae Bauer, Alexis Saurin |
| 2025 | Quantifier Elimination and Craig Interpolation: The Quantitative Way. | Kevin Batz, Joost-Pieter Katoen, Nora Orhan |
| 2025 | Sharing and Linear Logic with Restricted Access. | Pablo Barenbaum, Eduardo Bonelli |
| 2025 | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | Enriching Diagrams with Algebraic Operations. | Alejandro Villoria, Henning Basold, Alfons Laarman |