| 2025 | Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings Chutiporn Anutariya, Marcello M. Bonsangue |
| 2024 | A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2). Zhenbing Zeng, Jian Lu, Liangyu Chen |
| 2024 | A Theory of Proc-Omata - and Proof Methods for Process Architectures. Benoît Ballenghien, Burkhart Wolff |
| 2024 | Bisimulations and Logics for Higher-Dimensional Automata. Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
| 2024 | Card-Based Protocols with Single-Card Encoding. Kazumasa Shinagawa |
| 2024 | Disconnection Rules are Complete for Chemical Reactions. Ella Gale, Leo Lobski, Fabio Zanasi |
| 2024 | Disentangling the Gap Between Quantum and #SAT. Jingyi Mei, Jan Martens, Alfons Laarman |
| 2024 | Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients. Anton Chernev, Helle Hvid Hansen, Clemens Kupke |
| 2024 | Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao |
| 2024 | Generalized Parikh Matrices for Tracking Subsequence Occurrences. Szilárd Zsolt Fazekas, Xinhao Huang |
| 2024 | History-Based Reasoning About Behavioral Subtyping. Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer |
| 2024 | Jump Complexity of Deterministic Finite Automata with Translucent Letters. Szilárd Zsolt Fazekas, Victor Mitrana, Andrei Paun, Mihaela Paun |
| 2024 | Learning Closed Signal Flow Graphs. Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi |
| 2024 | Maximizing Weighted Dominance in the Plane. Waseem Akram, Sanjeev Saxena |
| 2024 | On Concurrent Program Algebra and Demonic Automata. Emil Sekerinski |
| 2024 | Probabilistic Datatypes. Chris Chen, Annabelle McIver, Carroll Morgan |
| 2024 | Reversibility in Process Calculi with Nondeterminism and Probabilities. Marco Bernardo, Claudio Antares Mezzina |
| 2024 | Runtime Enforcement with Event Reordering. Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty |
| 2024 | Switched Systems in Coq for Modeling Periodic Controllers. Andrei Aleksandrov, Kim Völlinger |
| 2024 | Type Safety for Isabelle/Solidity. Billy Thornton, Diego Marmsoler |
| 2024 | Verification with Common Knowledge of Rationality for Graph Games. Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2024 | Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. Stefan Zetzsche, Wojciech Rozowski |
| 2024 | Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo |