| 2015 | Varieties of Languages in a Category. | Jir Admek, Robert S. R. Myers, Henning Urbat, Stefan Milius |
| 2015 | Feedback Turing Computability, and Turing Computability as Feedback. | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
| 2015 | On the Relative Usefulness of Fireballs. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2013 | Topological Structure of Quantum Algorithms. | Jamie Vicary |
| 2013 | Instances of Computational Effects: An Algebraic Perspective. | Sam Staton |
| 2013 | Type-Based Productivity of Stream Definitions in the Calculus of Constructions. | Jorge Luis Sacchini |
| 2013 | One-Path Reachability Logic. | Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore |
| 2013 | Forcing MSO on Infinite Words in Weak MSO. | Colin Riba |
| 2013 | The Logic of Exact Covers: Completeness and Uniform Interpolation. | Dirk Pattinson |
| 2013 | Duality in Logic and Computation. | Prakash Panangaden |
| 2013 | Groupoids, Hypergraphs, and Symmetries in Finite Models. | Martin Otto |
| 2013 | Solving Partial-Information Stochastic Parity Games. | Sumit Nain, Moshe Y. Vardi |
| 2013 | Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. | Angelo Montanari, Pietro Sala |
| 2013 | On the Boundary of Behavioral Strategies. | Fabio Mogavero, Aniello Murano, Luigi Sauro |
| 2013 | Timed and Probabilistic I/O Automata. | Nancy A. Lynch |
| 2013 | Calculating the Fundamental Group of the Circle in Homotopy Type Theory. | Daniel R. Licata, Michael Shulman |
| 2013 | Unifying Classical and Intuitionistic Logics for Computational Control. | Chuck C. Liang, Dale Miller |
| 2013 | On the Context-Freeness Problem for Vector Addition Systems. | Jrme Leroux, Vincent Penelle, Grgoire Sutre |
| 2013 | Presburger Vector Addition Systems. | Jrme Leroux |
| 2013 | Weighted Relational Models of Typed Lambda-Calculi. | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2013 | From Frame Properties to Hypersequent Rules in Modal Logics. | Ori Lahav |
| 2013 | Quantitative Monadic Second-Order Logic. | Stephan Kreutzer, Cristian Riveros |
| 2013 | Stone Duality for Markov Processes. | Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2013 | Pumping by Typing. | Naoki Kobayashi |
| 2013 | Kripke Semantics for Modal Bilattice Logic. | Achim Jung, Umberto Rivieccio |