| 2018 | A Simple and Optimal Complementation Algorithm for Bchi Automata. | Jol D. Allred, Ulrich Ultes-Nitsche |
| 2018 | Distribution-based objectives for Markov Decision Processes. | S. Akshay, Blaise Genest, Nikhil Vyas |
| 2018 | Wreath Products of Distributive Forest Algebras. | Michael Hahn, Andreas Krebs, Howard Straubing |
| 2018 | Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. | Arnaud Durand, Anselm Haak, Heribert Vollmer |
| 2017 | Games with costs and delays. | Martin Zimmermann |
| 2017 | Definability of summation problems for Abelian groups and semigroups. | Faried Abu Zaid, Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2017 | The complexity of minimal inference problem for conservative constraint languages. | Michal Wrona |
| 2017 | A fine-grained hierarchy of hard problems in the separated fragment. | Marco Voigt |
| 2017 | Infinitary intersection types as sequences: A new answer to Klop's problem. | Pierre Vial |
| 2017 | Categorical liveness checking by corecursive algebras. | Natsuki Urabe, Masaki Hara, Ichiro Hasuo |
| 2017 | Fibred fibration categories. | Taichi Uemura |
| 2017 | Uniform, integral and efficient proofs for the determinant identities. | Iddo Tzameret, Stephen A. Cook |
| 2017 | Generalised species of rigid resource terms. | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
| 2017 | The limits of SDP relaxations for general-valued CSPs. | Johan Thapper, Stanislav Zivn |
| 2017 | The primitivity of operators in the algebra of binary relations under conjunctions of containments. | Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht |
| 2017 | Bounded time computation on metric spaces and Banach spaces. | Matthias Schrder, Florian Steinberg |
| 2017 | Bar induction: The good, the bad, and the ugly. | Vincent Rahli, Mark Bickford, Robert L. Constable |
| 2017 | Revisiting reachability in timed automata. | Karin Quaas, Mahsa Shirmohammadi, James Worrell |
| 2017 | Separation for dot-depth two. | Thomas Place, Marc Zeitoun |
| 2017 | An effectful way to eliminate addiction to dependence. | Pierre-Marie Pdrot, Nicolas Tabareau |
| 2017 | Quotients in monadic programming: Projective algebras are equivalent to coalgebras. | Dusko Pavlovic, Peter-Michael Seidel |
| 2017 | Symbolic execution and probabilistic reasoning. | Corina S. Pasareanu |
| 2017 | LICS 2017 foreword. | Jol Ouaknine |
| 2017 | Quantitative semantics of the lambda calculus: Some generalisations of the relational model. | C.-H. Luke Ong |
| 2017 | Partial derivatives on graphs for Kleene allegories. | Yoshiki Nakamura |