| 2021 | A Calculus for Attribute-Based Memory Updates. Marino Miculan, Michele Pasqua |
| 2021 | A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. Liyi Li, Elsa L. Gunter |
| 2021 | A Divide & Conquer Approach to Conditional Stable Model Checking. Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2021 | A Mechanically Verified Theory of Contracts. Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin |
| 2021 | A New Connective in Natural Deduction, and Its Application to Quantum Computing. Alejandro Díaz-Caro, Gilles Dowek |
| 2021 | A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto |
| 2021 | A Set Automaton to Locate All Pattern Matches in a Term. Rick Erkens, Jan Friso Groote |
| 2021 | Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. Muhammad Hannan Khan, Osman Hassan, Shahid Khan |
| 2021 | AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. Isabela Dramnesc, Tudor Jebelean |
| 2021 | An Incentive Mechanism for Trading Personal Data in Data Markets. Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi |
| 2021 | Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner |
| 2021 | Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. Yoshifumi Manabe, Hibiki Ono |
| 2021 | Certifying Choreography Compilation. Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2021 | ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen |
| 2021 | Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2021 | Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins. Wil M. P. van der Aalst |
| 2021 | Learning Probabilistic Automata Using Residuals. Wenjing Chu, Shuo Chen, Marcello M. Bonsangue |
| 2021 | Normalising Lustre Preserves Security. Sanjiva Prasad, R. Madhukar Yerraguntla |
| 2021 | On the Correctness Problem for Serializability. Jürgen König, Heike Wehrheim |
| 2021 | Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things. Alan J. Dix |
| 2021 | Reactive Synthesis from Visibly Register Pushdown Automata. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2021 | Some Aspects of the Database Resilience. Luis Henrique Bustamante, Ana Teresa C. Martins |
| 2021 | Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings Antonio Cerone, Peter Csaba Ölveczky |