| 2025 | The Spiral of Silence in Multi-agent Models for Opinion Formation. | Jess Aranda, Juan Francisco Daz, David Gaona, Frank Valencia |
| 2025 | A Variety of Request-Response Specifications. | Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo |
| 2025 | Verification of the Release-Acquire Semantics. | Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn |
| 2024 | Bisimulations and Logics for Higher-Dimensional Automata. | Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
| 2024 | Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. | Stefan Zetzsche, Wojciech Rozowski |
| 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 | Type Safety for Isabelle/Solidity. | Billy Thornton, Diego Marmsoler |
| 2024 | Card-Based Protocols with Single-Card Encoding. | Kazumasa Shinagawa |
| 2024 | On Concurrent Program Algebra and Demonic Automata. | Emil Sekerinski |
| 2024 | Runtime Enforcement with Event Reordering. | Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty |
| 2024 | Learning Closed Signal Flow Graphs. | Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi |
| 2024 | Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control. | Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo |
| 2024 | Verification with Common Knowledge of Rationality for Graph Games. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2024 | Disentangling the Gap Between Quantum and #SAT. | Jingyi Mei, Jan Martens, Alfons Laarman |
| 2024 | Disconnection Rules are Complete for Chemical Reactions. | Ella Gale, Leo Lobski, Fabio Zanasi |
| 2024 | Jump Complexity of Deterministic Finite Automata with Translucent Letters. | Szilrd Zsolt Fazekas, Victor Mitrana, Andrei Paun, Mihaela Paun |
| 2024 | Generalized Parikh Matrices for Tracking Subsequence Occurrences. | Szilrd Zsolt Fazekas, Xinhao Huang |
| 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 | Probabilistic Datatypes. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2024 | History-Based Reasoning About Behavioral Subtyping. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer |
| 2024 | Reversibility in Process Calculi with Nondeterminism and Probabilities. | Marco Bernardo, Claudio Antares Mezzina |
| 2024 | A Theory of Proc-Omata - and Proof Methods for Process Architectures. | Benot Ballenghien, Burkhart Wolff |
| 2024 | Switched Systems in Coq for Modeling Periodic Controllers. | Andrei Aleksandrov, Kim Vllinger |
| 2024 | Maximizing Weighted Dominance in the Plane. | Waseem Akram, Sanjeev Saxena |