| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An improved combinatorial algorithm for Boolean matrix multiplication
|
Yu, Huacheng
|
|
|
261 |
P2 |
p. 240-247
|
article
|
| 2 |
Block interpolation: A framework for tight exponential-time counting complexity
|
Curticapean, Radu
|
|
|
261 |
P2 |
p. 265-280
|
article
|
| 3 |
Comparator Circuits over Finite Bounded Posets
|
Komarath, Balagopal
|
|
|
261 |
P2 |
p. 160-174
|
article
|
| 4 |
Decision problems of tree transducers with origin
|
Filiot, Emmanuel
|
|
|
261 |
P2 |
p. 311-335
|
article
|
| 5 |
Dynamic algorithms via the primal-dual method
|
Bhattacharya, Sayan
|
|
|
261 |
P2 |
p. 219-239
|
article
|
| 6 |
Editorial Board
|
|
|
|
261 |
P2 |
p. ii
|
article
|
| 7 |
Effect algebras, presheaves, non-locality and contextuality
|
Staton, Sam
|
|
|
261 |
P2 |
p. 336-354
|
article
|
| 8 |
Game semantics for dependent types
|
Vákár, Matthijs
|
|
|
261 |
P2 |
p. 401-431
|
article
|
| 9 |
Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes
|
Etessami, Kousha
|
|
|
261 |
P2 |
p. 355-382
|
article
|
| 10 |
Interactive communication with unknown noise rate
|
Dani, Varsha
|
|
|
261 |
P2 |
p. 464-486
|
article
|
| 11 |
Linear-time list recovery of high-rate expander codes
|
Hemenway, Brett
|
|
|
261 |
P2 |
p. 202-218
|
article
|
| 12 |
Local reduction
|
Jahanjou, Hamidreza
|
|
|
261 |
P2 |
p. 281-295
|
article
|
| 13 |
On reducing linearizability to state reachability
|
Bouajjani, Ahmed
|
|
|
261 |
P2 |
p. 383-400
|
article
|
| 14 |
Proofs of proximity for context-free languages and read-once branching programs
|
Goldreich, Oded
|
|
|
261 |
P2 |
p. 175-201
|
article
|
| 15 |
Selling two goods optimally
|
Giannakopoulos, Yiannis
|
|
|
261 |
P2 |
p. 432-445
|
article
|
| 16 |
Short proofs of the Kneser–Lovász coloring principle
|
Aisenberg, James
|
|
|
261 |
P2 |
p. 296-310
|
article
|
| 17 |
Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan
|
Halldórsson, Magnús M.
|
|
|
261 |
P2 |
p. 159
|
article
|
| 18 |
Symmetric graph properties have independent edges
|
Achlioptas, Dimitris
|
|
|
261 |
P2 |
p. 446-463
|
article
|
| 19 |
2-vertex connectivity in directed graphs
|
Georgiadis, Loukas
|
|
|
261 |
P2 |
p. 248-264
|
article
|
Journal description