| 2018 | Quasi-Open Bisimilarity with Mismatch is Intuitionistic. | Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu |
| 2018 | Two complete axiomatisations of pure-state qubit quantum computing. | Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang |
| 2018 | A Generalized Modality for Recursion. | Adrien Guatto |
| 2018 | Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
| 2018 | Compositional Game Theory. | Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn |
| 2018 | Classical realizability as a classifier for nondeterminism. | Guillaume Geoffroy |
| 2018 | Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. | Francesco Gavazzo |
| 2018 | ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. | Dan Frumin, Robbert Krebbers, Lars Birkedal |
| 2018 | Sequential Relational Decomposition. | Dror Fried, Axel Legay, Jol Ouaknine, Moshe Y. Vardi |
| 2018 | Rational Synthesis Under Imperfect Information. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2018 | The State Complexity of Alternating Automata. | Nathanal Fijalkow |
| 2018 | Playing with Repetitions in Data Words Using Energy Games. | Diego Figueira, M. Praveen |
| 2018 | A Theory of Register Monitors. | Thomas Ferrre, Thomas A. Henzinger, N. Ege Sara |
| 2018 | One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. | Javier Esparza, Jan Kretnsk, Salomon Sickert |
| 2018 | What's in a game?: A theory of game models. | Clovis Eberhart, Tom Hirschowitz |
| 2018 | Eager Functions as Processes. | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2018 | Causal Computational Complexity of Distributed Processes. | Romain Demangeon, Nobuko Yoshida |
| 2018 | A pseudo-quasi-polynomial algorithm for mean-payoff parity games. | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic |
| 2018 | Regular Transducer Expressions for Regular Transformations. | Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna |
| 2018 | Work Analysis with Resource-Aware Session Types. | Ankush Das, Jan Hoffmann, Frank Pfenning |
| 2018 | Logics for Word Transductions with Synthesis. | Luc Dartois, Emmanuel Filiot, Nathan Lhote |
| 2018 | Unary negation fragment with equivalence relations has the finite model property. | Daniel Danielski, Emanuel Kieronski |
| 2018 | Probabilistic Stable Functions on Discrete Cones are Power Series. | Raphalle Crubill |
| 2018 | Strong Sums in Focused Logic. | Karl Crary |
| 2018 | On Higher Inductive Types in Cubical Type Theory. | Thierry Coquand, Simon Huber, Anders Mrtberg |