| 2018 | A Metalanguage for Guarded Iteration. Sergey Goncharov, Christoph Rauch, Lutz Schröder |
| 2018 | Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. Martin Jonás, Jan Strejcek |
| 2018 | An Automata-Based View on Configurability and Uncertainty. Martin Berglund, Ina Schaefer |
| 2018 | Checking Modal Contracts for Virtually Timed Ambients. Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
| 2018 | Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh |
| 2018 | Complexity Results on Register Context-Free Grammars and Register Tree Automata. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2018 | Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | Convex Language Semantics for Nondeterministic Probabilistic Automata. Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva |
| 2018 | Double Applicative Functors. Härmel Nestra |
| 2018 | Explicit Auditing. Wilmer Ricciotti, James Cheney |
| 2018 | Fast Computations on Ordered Nominal Sets. David Venhoek, Joshua Moerman, Jurriaan Rot |
| 2018 | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs. Yves Bertot |
| 2018 | Formalising Boost POSIX Regular Expression Matching. Martin Berglund, Willem Bester, Brink van der Merwe |
| 2018 | Generating Armstrong ABoxes for Henriette Harmse, Katarina Britz, Aurona Gerber |
| 2018 | Information Flow Certificates. Manuel Töws, Heike Wehrheim |
| 2018 | Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. Pedro R. D'Argenio, Raúl E. Monti |
| 2018 | LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. Martin Sulzmann, Peter Thiemann |
| 2018 | Layer Systems for Confluence - Formalized. Bertram Felgenhauer, Franziska Rapp |
| 2018 | Layer by Layer - Combining Monads. Fredrik Dahlqvist, Louis Parlant, Alexandra Silva |
| 2018 | Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms. Éric Badouel, Rodrigue Aimé Djeumen Djatcha |
| 2018 | Monoidal Multiplexing. Apiwat Chantawibul, Pawel Sobocinski |
| 2018 | Non-preemptive Semantics for Data-Race-Free Programs. Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng |
| 2018 | Proof Nets and the Linear Substitution Calculus. Beniamino Accattoli |
| 2018 | Spatio-Temporal Domains: An Overview. David Janin |
| 2018 | Symbolic Computation via Program Transformation. Henrich Lauko, Petr Rockai, Jiri Barnat |
| 2018 | The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers. Hiroshi Umeo, Naoki Kamikawa, Gen Fujita |
| 2018 | Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings Bernd Fischer, Tarmo Uustalu |
| 2018 | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. Ruggero Lanotte, Simone Tini |