| 2018 | A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal. Martin Monath |
| 2018 | A Deontic Logic Reasoning Infrastructure. Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre |
| 2018 | A Generic m-Reducibility. Alexander N. Rybalov |
| 2018 | A Journey to Computably Enumerable Structures (Tutorial Lectures). Bakh Khoussainov |
| 2018 | A Taxonomy of Deviant Encodings. Paula Quinon |
| 2018 | A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines. Ishai Kones, Asaf Levin |
| 2018 | Algorithm Analysis Through Proof Complexity. Massimo Lauria |
| 2018 | Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms. Alexey Milovanov |
| 2018 | Algorithms and Geometric Constructions. Vladimir Uspenskiy, Alexander Shen |
| 2018 | Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). Svetlana V. Selivanova, Victor L. Selivanov |
| 2018 | Computability of Ordinary Differential Equations. Daniel Silva Graça, Ning Zhong |
| 2018 | Computing Tree Width: From Theory to Practice and Back. Sebastian Berndt |
| 2018 | Computing and Scheduling with Explorable Uncertainty. Thomas Erlebach |
| 2018 | Computing with Multisets: A Survey on Reaction Automata Theory. Takashi Yokomori, Fumiya Okubo |
| 2018 | Computing with SAT Oracles: Past, Present and Future. João Marques-Silva |
| 2018 | Decidable and Undecidable Fragments of First-Order Concatenation Theory. Lars Kristiansen, Juvenal Murwanashyaka |
| 2018 | Degrees of Categoricity for Prime and Homogeneous Models. Nikolay Bazhenov, Margarita Marchuk |
| 2018 | Diminishable Parameterized Problems and Strict Polynomial Kernelization. Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier |
| 2018 | Divide and Conquer Computation of the Multi-string BWT and LCP Array. Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi |
| 2018 | Elementary Bi-embeddability Spectra of Structures. Dino Rossegger |
| 2018 | Enumeration Degrees and Topology. Arno Pauly |
| 2018 | From Eventually Different Functions to Pandemic Numberings. Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies |
| 2018 | Functionals of Type 3 as Realisers of Classical Theorems in Analysis. Dag Normann |
| 2018 | Kernelization Lower Bounds for Finding Constant-Size Subgraphs. Till Fluschnik, George B. Mertzios, André Nichterlein |
| 2018 | Multiple Permitting and Array Noncomputability. Klaus Ambos-Spies |
| 2018 | New Nonterminal Complexity Results for Semi-conditional Grammars. Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele |
| 2018 | On General Sum Approximations of Irrational Numbers. Ivan Georgiev, Lars Kristiansen, Frank Stephan |
| 2018 | Online Computability and Differentiation in the Cantor Space. Douglas Cenzer, Diego A. Rojas |
| 2018 | Optimized Program Extraction for Induction and Coinduction. Ulrich Berger, Olga Petrovska |
| 2018 | Polynomial-Time Presentations of Algebraic Number Fields. Pavel Alaev, Victor L. Selivanov |
| 2018 | Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings Florin Manea, Russell G. Miller, Dirk Nowotka |
| 2018 | Some Nonstandard Equivalences in Reverse Mathematics. Sam Sanders |
| 2018 | Some Observations on Infinitary Complexity. Merlin Carl |
| 2018 | Taming Koepke's Zoo. Merlin Carl, Sabrina Ouazzani, Philip D. Welch |
| 2018 | The Complexity of Tukey Types and Cofinal Types. Marie Nicholson |
| 2018 | The Isometry Degree of a Computable Copy of 𝓁 Timothy H. McNicholl, Don M. Stull |
| 2018 | Topological Analysis of Representations. Mathieu Hoyrup |
| 2018 | Turing's Vision and Deep Learning. Martin Davis |
| 2018 | Universality in Freezing Cellular Automata. Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier |
| 2018 | Using Structural Properties for Integer Programs. Sebastian Berndt, Kim-Manuel Klein |
| 2018 | Weak Reduction Principle and Computable Metric Spaces. Margarita V. Korovina, Oleg V. Kudinov |
| 2018 | What Is the Concept of Computation? Wilfried Sieg |
| 2018 | Witness Hiding Without Extractors or Simulators. André Souto, Luís Antunes, Paulo Mateus, Andreia Teixeira |