Game semantics for a polymorphic programming language.
Decomposing combinatorial auctions and set packing problems.
All-pairs shortest paths in
Matrix sparsification and nested dissection over arbitrary fields.
The HOM problem is decidable.
Data exchange beyond complete data.
Invited articles foreword.