| 2020 | A Flight Rule Checker for the LADEE Lunar Spacecraft. Elif Kürklü, Klaus Havelund |
| 2020 | A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. Frits W. Vaandrager, Abhisek Midya |
| 2020 | Analysis of Bayesian Networks via Prob-Solvable Loops. Ezio Bartocci, Laura Kovács, Miroslav Stankovic |
| 2020 | CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. Adrián Riesco, Kazuhiro Ogata |
| 2020 | Compositionality of Safe Communication in Systems of Team Automata. Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
| 2020 | Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. Mohsen Safari, Marieke Huisman |
| 2020 | Implementation Correctness for Replicated Data Types, Categorically. Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino |
| 2020 | Implementing Hybrid Semantics: From Functional to Imperative. Sergey Goncharov, Renato Neves, José Proença |
| 2020 | Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. Evgeny Erofeev, Ronny Tredup |
| 2020 | On Two Characterizations of Feature Models. Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. Arve Gengelbach, Tjark Weber |
| 2020 | Qsimulation V2.0: An Optimized Quantum Simulator. Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du |
| 2020 | Semantics of a Relational λ-Calculus. Pablo Barenbaum, Federico Lochbaum, Mariana Milicich |
| 2020 | Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi |
| 2020 | Statistical Analysis of Non-deterministic Fork-Join Processes. Antoine Genitrini, Martin Pépin, Frédéric Peschanski |
| 2020 | The Complexity of Boolean State Separation. Ronny Tredup, Evgeny Erofeev |
| 2020 | Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings Violet Ka I Pun, Volker Stolz, Adenilso Simão |