| 2025 | A Behavioural Pseudometric for Continuous-Time Markov Processes. Linan Chen, Florence Clerc, Prakash Panangaden |
| 2025 | A Diagrammatic Algebra for Program Logics. Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | A General Completeness Theorem for Skip-Free Star Algebras. Tobias Kappé, Todd Schmid |
| 2025 | Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina |
| 2025 | BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | Combining quantum and classical control: syntax, semantics and adequacy. Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev |
| 2025 | Complementation of Emerson-Lei Automata. Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková |
| 2025 | Complete Test Suites for Automata in Monoidal Closed Categories. Bálint Kocsis, Jurriaan Rot |
| 2025 | Context-Free Languages of String Diagrams. Matt Earnshaw, Mario Román |
| 2025 | Fair Quantitative Games. Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings Parosh Aziz Abdulla, Delia Kesner |
| 2025 | Idempotent Resources in Separation Logic - The Heart of core in Iris. Daniel Gratzer, Mathias Adam Møller, Lars Birkedal |
| 2025 | Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route. Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath |
| 2025 | On the cut-elimination of the modal μ-calculus: Linear Logic to the rescue. Esaïe Bauer, Alexis Saurin |
| 2025 | Quantifier Elimination and Craig Interpolation: The Quantitative Way. Kevin Batz, Joost-Pieter Katoen, Nora Orhan |
| 2025 | Relational Connectors and Heterogeneous Simulations. Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild |
| 2025 | Sharing and Linear Logic with Restricted Access. Pablo Barenbaum, Eduardo Bonelli |
| 2025 | Structural Liveness of Conservative Petri Nets. Petr Jancar, Jérôme Leroux, Jiri Valusek |
| 2025 | Temporal Hyperproperties for Population Protocols. Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez |
| 2025 | Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin |