| 1 | -- | 2 | Marco Gaboardi, Ulrich Schöpp. Special issue - Developments in implicit computational complexity, 2014 and 2015 |
| 3 | -- | 22 | Martin Avanzini, Ugo Dal Lago. On sharing, memoization, and polynomial time |
| 23 | -- | 54 | Matthieu Perrinel. Paths-based criteria and application to linear logic subsystems characterizing polynomial time |
| 55 | -- | 77 | Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca. Characterizing polynomial and exponential complexity classes in elementary lambda-calculus |
| 78 | -- | 115 | Emmanuel Hainry, Romain Péchoux. A type-based complexity analysis of Object Oriented programs |
| 116 | -- | 143 | Georg Moser, Michael Schaper. From Jinja bytecode to term rewriting: A complexity reflecting transformation |
| 144 | -- | 158 | Dominic A. Orchard. Complexity bounds for container functors and comonads |
| 159 | -- | 0 | Magnús M. Halldórsson, Naoki Kobayashi 0001, Bettina Speckmann. Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan |
| 160 | -- | 174 | Balagopal Komarath, Jayalal Sarma, K. S. Sunil. Comparator Circuits over Finite Bounded Posets |
| 175 | -- | 201 | Oded Goldreich 0001, Tom Gur, Ron D. Rothblum. Proofs of proximity for context-free languages and read-once branching programs |
| 202 | -- | 218 | Brett Hemenway, Mary Wootters. Linear-time list recovery of high-rate expander codes |
| 219 | -- | 239 | Sayan Bhattacharya, Monika Henzinger, Giuseppe F. Italiano. Dynamic algorithms via the primal-dual method |
| 240 | -- | 247 | Huacheng Yu. An improved combinatorial algorithm for Boolean matrix multiplication |
| 248 | -- | 264 | Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Nikos Parotsidis. 2-vertex connectivity in directed graphs |
| 265 | -- | 280 | Radu Curticapean. Block interpolation: A framework for tight exponential-time counting complexity |
| 281 | -- | 295 | Hamidreza Jahanjou, Eric Miles, Emanuele Viola. Local reduction |
| 296 | -- | 310 | James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate. Short proofs of the Kneser-Lovász coloring principle |
| 311 | -- | 335 | Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot. Decision problems of tree transducers with origin |
| 336 | -- | 354 | Sam Staton, Sander Uijlen. Effect algebras, presheaves, non-locality and contextuality |
| 355 | -- | 382 | Kousha Etessami, Alistair Stewart, Mihalis Yannakakis. Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes |
| 383 | -- | 400 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza. On reducing linearizability to state reachability |
| 401 | -- | 431 | Matthijs Vákár, Radha Jagadeesan, Samson Abramsky. Game semantics for dependent types |
| 432 | -- | 445 | Yiannis Giannakopoulos, Elias Koutsoupias. Selling two goods optimally |
| 446 | -- | 463 | Dimitris Achlioptas, Paris Siminelakis. Symmetric graph properties have independent edges |
| 464 | -- | 486 | Varsha Dani, Thomas P. Hayes, Mahnush Movahedi, Jared Saia, Maxwell Young. Interactive communication with unknown noise rate |
| 487 | -- | 0 | Julian Gutierrez 0001, Michael Wooldridge. Preface to the SR-2015 special issue |
| 488 | -- | 518 | Egor Ianovski, Luke Ong. Simulating cardinal preferences in Boolean games: A proof technique |
| 519 | -- | 535 | Johan van Benthem. Computation as social agency: What, how and who |
| 536 | -- | 587 | Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche. Compositional strategy synthesis for stochastic games with multiple objectives |
| 588 | -- | 614 | Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano. Practical verification of multi-agent systems against Slk specifications |
| 615 | -- | 0 | Alessio R. Lomuscio, Moshe Y. Vardi. 4th International Workshop on Strategic Reasoning (SR 2016) |
| 616 | -- | 633 | Rajeev Alur, Salar Moarref, Ufuk Topcu. Compositional and symbolic synthesis of reactive controllers for multi-agent systems |
| 634 | -- | 649 | Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin. Graded modalities in Strategy Logic |
| 650 | -- | 675 | Julian Gutierrez 0001, Giuseppe Perelli, Michael Wooldridge. Imperfect information in Reactive Modules games |
| 676 | -- | 694 | Stéphane Le Roux 0001, Arno Pauly. Extending finite-memory determinacy to multi-player games |