| 2022 | Efficient Construction of Reversible Transducers from Regular Transducer Expressions. | Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna |
| 2022 | Logical Foundations of Quantitative Equality. | Francesco Dagnino, Fabio Pasquali |
| 2022 | Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. | Wojciech Czerwinski, Lukasz Orlikowski |
| 2022 | The boundedness and zero isolation problems for weighted automata over nonnegative rationals. | Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland |
| 2022 | Cyclic Implicit Complexity. | Gianluca Curzi, Anupam Das |
| 2022 | Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. | douard Bonnet, Jan Dreier, Jakub Gajarsk, Stephan Kreutzer, Nikolas Mhlmann, Pierre Simon, Szymon Torunczyk |
| 2022 | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. | Ilario Bonacina, Maria Luisa Bonet |
| 2022 | Transducers of polynomial growth. | Mikolaj Bojanczyk |
| 2022 | A direct computational interpretation of second-order arithmetic via update recursion. | Valentin Blot |
| 2022 | The complexity of soundness in workflow nets. | Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
| 2022 | Deciding Hyperproperties Combined with Functional Specifications. | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch |
| 2022 | Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. | Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2022 | The Regular Languages of First-Order Logic with One Alternation. | Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume |
| 2022 | Resource approximation for the λμ-calculus. | Davide Barbarossa |
| 2022 | Identity Testing for Radical Expressions. | Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2022 | Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. | David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin |
| 2022 | Quantum Expectation Transformers for Cost Analysis. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix, Vladimir Zamdzhiev |
| 2022 | Curry and Howard Meet Borel. | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2022 | On the Satisfiability of Context-free String Constraints with Subword-Ordering. | C. Aiswarya, Soumodev Mal, Prakash Saivasan |
| 2022 | Semantics for two-dimensional type theory. | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
| 2022 | Varieties of Quantitative Algebras and Their Monads. | Jir Admek |
| 2022 | Computable PAC Learning of Continuous Features. | Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan |
| 2022 | Reasonable Space for the λ-Calculus, Logarithmically. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2022 | Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. | Beniamino Accattoli |
| 2022 | Solvability of orbit-finite systems of linear equations. | Arka Ghosh, Piotr Hofman, Slawomir Lasota |