Multiparty Asynchronous Session Types.
Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations.
Algebraic Structures for Capturing the Provenance of SPARQL Queries.
Invited Articles Foreword.
Communication is Bounded by Root of Rank.
Parameterized Verification of Asynchronous Shared-Memory Systems.
An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets.
Recompression: A Simple and Powerful Technique for Word Equations.
Network-Oblivious Algorithms.
Removing and Adding Edges for the Traveling Salesman Problem.