| 2017 | Riesz Modal logic for Markov processes. | Matteo Mio, Robert Furber, Radu Mardare |
| 2017 | Higher-order parity automata. | Paul-Andr Mellis |
| 2017 | MDPs with energy-parity objectives. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2017 | On the axiomatizability of quantitative algebras. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2017 | The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens. | Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu |
| 2017 | Effectful applicative bisimilarity: Monads, relators, and Howe's method. | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
| 2017 | First-order logic with counting. | Dietrich Kuske, Nicole Schweikardt |
| 2017 | A categorical semantics for causal structure. | Aleks Kissinger, Sander Uijlen |
| 2017 | The Weisfeiler-Leman dimension of planar graphs is at most 3. | Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer |
| 2017 | On strong determinacy of countable stochastic games. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | Parity objectives in countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | Large scale geometries of infinite strings. | Bakh Khoussainov, Toru Takisaka |
| 2017 | Dual-context calculi for modal logic. | G. A. Kavvos |
| 2017 | A monad for full ground reference cells. | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
| 2017 | A weakest pre-expectation semantics for mixed-sign expectations. | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
| 2017 | Succinct progress measures for solving parity games. | Marcin Jurdzinski, Ranko Lazic |
| 2017 | Enumeration reducibility in closure spaces with applications to logic and algebra. | Emmanuel Jeandel |
| 2017 | On the extension of computable real functions. | Mathieu Hoyrup, Walid Gomaa |
| 2017 | A cartesian-closed category for higher-order model checking. | Martin Hofmann, Jrmy Ledent |
| 2017 | Linear combinations of unordered data vectors. | Piotr Hofman, Jrme Leroux, Patrick Totzke |
| 2017 | Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. | Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz |
| 2017 | A convenient category for higher-order probability theory. | Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang |
| 2017 | Foundations of information integration under bag semantics. | Andr Hernich, Phokion G. Kolaitis |
| 2017 | Decidability, complexity, and expressiveness of first-order logic over the subword ordering. | Simon Halfon, Philippe Schnoebelen, Georg Zetzsche |
| 2017 | Computing quantiles in Markov chains with multi-dimensional costs. | Christoph Haase, Stefan Kiefer, Markus Lohrey |