| 2023 | A Categorical Approach to Synthetic Chemistry. Ella Gale, Leo Lobski, Fabio Zanasi |
| 2023 | A Dynamic Temporal Logic for Quality of Service in Choreographic Models. Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto |
| 2023 | A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2023 | Algorithms for Checking Intersection Non-emptiness of Regular Expressions. Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen |
| 2023 | An Autonomous Data Language. Tom T. P. Franken, Thomas Neele, Jan Friso Groote |
| 2023 | Closure and Decision Properties for Higher-Dimensional Automata. Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski |
| 2023 | Denotational Semantics for Symbolic Execution. Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen |
| 2023 | Efficient Reactive Synthesis Using Mode Decomposition. Matías Brizzio, César Sánchez |
| 2023 | Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
| 2023 | Interactive Matching Logic Proofs in Coq. Jan Tusil, Péter Bereczky, Dániel Horpácsi |
| 2023 | Learning Attack Trees by Genetic Algorithms. Florian Dorfhuber, Julia Eisentraut, Jan Kretínský |
| 2023 | Modelling and Verifying Robotic Software that Uses Neural Networks. Ziggy Attala, Ana Cavalcanti, Jim Woodcock |
| 2023 | Modular Soundness Checking of Feature Model Evolution Plans. Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
| 2023 | On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. Stepan L. Kuznetsov |
| 2023 | Optimal Route Synthesis in Space DTN Using Markov Decision Processes. Pedro R. D'Argenio |
| 2023 | Realisability of Global Models of Interaction. Maurice H. ter Beek, Rolf Hennicker, José Proença |
| 2023 | Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
| 2023 | Simplifying Process Parameters by Unfolding Algebraic Data Types. Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele |
| 2023 | Store Locally, Prove Globally. Nadine Karsten, Uwe Nestmann |
| 2023 | Strong Call-by-Value and Multi Types. Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2023 | Synchronous Agents, Verification, and Blame - A Deontic View. Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
| 2023 | TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz |
| 2023 | The Landscape of Computing Symmetric n-Variable Functions with 2n Cards. Suthee Ruangwises |
| 2023 | Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa |
| 2023 | Towards the Complexity Analysis of Programming Language Proof Methods. Matteo Cimini |
| 2023 | Without Loss of Satisfaction. Marijn J. H. Heule |