| 2018 | Consistency for Counting Quantifiers. | Florent R. Madelaine, Barnaby Martin |
| 2018 | Projection Theorems Using Effective Dimension. | Neil Lutz, Donald M. Stull |
| 2018 | Car-Sharing between Two Locations: Online Scheduling with Two Servers. | Kelin Luo, Thomas Erlebach, Yinfeng Xu |
| 2018 | On the Complexity of Team Logic and Its Two-Variable Fragment. | Martin Lck |
| 2018 | Maximum Rooted Connected Expansion. | Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos |
| 2018 | Team Semantics for the Specification and Verification of Hyperproperties. | Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann |
| 2018 | From Expanders to Hitting Distributions and Simulation Theorems. | Alexander Kozachinskiy |
| 2018 | A Simple Augmentation Method for Matchings with Applications to Streaming Algorithms. | Christian Konrad |
| 2018 | One-Sided Error Communication Complexity of Gap Hamming Distance. | Egor Klenin, Alexander Kozachinskiy |
| 2018 | Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. | Akitoshi Kawamura, Holger Thies, Martin Ziegler |
| 2018 | Enumerating Minimal Transversals of Hypergraphs without Small Holes. | Mamadou Moustapha Kant, Kaveh Khoshkhah, Mozhgan Pourmoradnasseri |
| 2018 | Extra Space during Initialization of Succinct Data Structures and Dynamical Initializable Arrays. | Frank Kammer, Andrej Sajenko |
| 2018 | The b-Branching Problem in Digraphs. | Naonori Kakimura, Naoyuki Kamiyama, Kenjiro Takazawa |
| 2018 | Why are CSPs Based on Partition Schemes Computationally Hard?. | Peter Jonsson, Victor Lagerkvist |
| 2018 | Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. | Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2018 | The Robustness of LWPP and WPP, with an Application to Graph Reconstruction. | Edith Hemaspaandra, Lane A. Hemaspaandra, Holger Spakowski, Osamu Watanabe |
| 2018 | Interval-Like Graphs and Digraphs. | Pavol Hell, Jing Huang, Ross M. McConnell, Arash Rafiey |
| 2018 | Rainbow Vertex Coloring Bipartite Graphs and Chordal Graphs. | Pinar Heggernes, Davis Issac, Juho Lauri, Paloma T. Lima, Erik Jan van Leeuwen |
| 2018 | Spanning-Tree Games. | Dan Hefetz, Orna Kupferman, Amir Lellouche, Gal Vardi |
| 2018 | Simultaneous Multiparty Communication Protocols for Composed Functions. | Yassine Hamoudi |
| 2018 | Double Threshold Digraphs. | Peter Hamburger, Ross M. McConnell, Attila Pr, Jeremy P. Spinrad, Zhisheng Xu |
| 2018 | Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. | Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann |
| 2018 | Graph Similarity and Approximate Isomorphism. | Martin Grohe, Gaurav Rattan, Gerhard J. Woeginger |
| 2018 | Shape Recognition by a Finite Automaton Robot. | Robert Gmyr, Kristian Hinnenthal, Irina Kostitsyna, Fabian Kuhn, Dorian Rudolph, Christian Scheideler |
| 2018 | Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2). | Sevag Gharibian, Miklos Santha, Jamie Sikora, Aarthi Sundaram, Justin Yirka |