| 2022 | Model Checking Temporal Properties of Recursive Probabilistic Programs. | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen |
| 2022 | A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications. | Jos Esprito Santo, Delia Kesner, Loc Peyrot |
| 2022 | Sweedler Theory of Monads. | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
| 2022 | Uniform Guarded Fragments. | Reijo Jaakkola |
| 2022 | Variable binding and substitution for (nameless) dummies. | Andr Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi |
| 2022 | Complete and tractable machine-independent characterizations of second-order polytime. | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Pchoux |
| 2022 | The Different Shades of Infinite Session Types. | Simon J. Gay, Diogo Poas, Vasco T. Vasconcelos |
| 2022 | Temporal Stream Logic modulo Theories. | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
| 2022 | Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. | Raul Fervari, Alessio Mansutti |
| 2022 | First-order separation over countable ordinals. | Thomas Colcombet, Sam van Gool, Rmi Morvan |
| 2022 | A first-order logic characterisation of safety and co-safety languages. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2022 | Quantifier elimination for counting extensions of Presburger arithmetic. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | A new criterion for | Davide Castelnovo, Fabio Gadducci, Marino Miculan |
| 2022 | DyNetKAT: An Algebra of Dynamic Networks. | Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hnkar Can Tun |
| 2022 | Categorical composable cryptography. | Anne Broadbent, Martti Karvonen |
| 2022 | On the Translation of Automata to Linear Temporal Logic. | Udi Boker, Karoliina Lehtinen, Salomon Sickert |
| 2022 | Token Games and History-Deterministic Quantitative Automata. | Udi Boker, Karoliina Lehtinen |
| 2022 | Graphical Piecewise-Linear Algebra. | Guillaume Boisseau, Robin Piedeleu |
| 2022 | Separators in Continuous Petri Nets. | Michael Blondin, Javier Esparza |
| 2022 | Parameterized Analysis of Reconfigurable Broadcast Networks. | A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy |
| 2022 | On probability-raising causality in Markov decision processes. | Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek |
| 2022 | Limits and difficulties in the design of under-approximation abstract domains. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2022 | Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. | Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George |
| 2021 | A Quantified Coalgebraic van Benthem Theorem. | Paul Wild, Lutz Schrder |
| 2021 | The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. | Renaud Vilmart |