| 2023 | On the Existential Arithmetics with Addition and Bitwise Minimum. | Mikhail R. Starchak |
| 2023 | Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. | Amgad Rady, Franck van Breugel |
| 2023 | On History-Deterministic One-Counter Nets. | Aditya Prakash, K. S. Thejaswini |
| 2023 | A Formal Logic for Formal Category Theory. | Max S. New, Daniel R. Licata |
| 2023 | Coverability in 2-VASS with One Unary Counter is in NP. | Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki |
| 2023 | Fixed Points and Noetherian Topologies. | Aliaume Lopez |
| 2023 | An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. | Quang Loc Le, Xuan-Bach Dinh Le |
| 2023 | Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi |
| 2023 | Fast Matching of Regular Patterns with Synchronizing Counting. | Luks Holk, Juraj Sc, Lenka Turonov, Toms Vojnar |
| 2023 | Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. | Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
| 2023 | Quantitative Safety and Liveness. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | A Programming Language Characterizing Quantum Polynomial Time. | Emmanuel Hainry, Romain Pchoux, Mrio Silva |
| 2023 | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | Just Testing. | Rob van Glabbeek |
| 2023 | A Strict Constrained Superposition Calculus for Graphs. | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2023 | Weighted and Branching Bisimilarities from Generalized Open Maps. | Jrmy Dubut, Thorsten Wimann |
| 2023 | Pebble minimization: the last theorems. | Gatan Douneau-Tabot |
| 2023 | A Logical Framework with Higher-Order Rational (Circular) Terms. | Zhibo Chen, Frank Pfenning |
| 2023 | Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2023 | On the Comparison of Discounted-Sum Automata with Multiple Discount Factors. | Udi Boker, Guy Hefetz |
| 2023 | Reverse Bisimilarity vs. Forward Bisimilarity. | Marco Bernardo, Sabina Rossi |
| 2023 | Unboundedness Problems for Machines with Reversal-Bounded Counters. | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schtze, Georg Zetzsche |
| 2023 | Model and Program Repair via Group Actions. | Paul C. Attie, William Cocke |
| 2023 | A Higher-Order Language for Markov Kernels and Linear Operators. | Pedro H. Azevedo de Amorim |
| 2023 | When Programs Have to Watch Paint Dry. | Danel Ahman |