Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement Christoph BerkholzPaul BonsmaMartin Grohe OriginalPaper Open access 27 June 2016 Pages: 581 - 614
Polynomial Kernelization for Removing Induced Claws and Diamonds Marek CyganMarcin PilipczukMarcin Wrochna OriginalPaper Open access 23 June 2016 Pages: 615 - 636
Multi-processor Search and Scheduling Problems with Setup Cost Spyros AngelopoulosDiogo ArsénioAlejandro López-Ortiz OriginalPaper 20 June 2016 Pages: 637 - 670
On the Generic Undecidability of the Halting Problem for Normalized Turing Machines Alexander Rybalov OriginalPaper 28 June 2016 Pages: 671 - 676
Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems Achour MostéfaouiMatoula PetroliaClaude Jard OriginalPaper 14 July 2016 Pages: 677 - 694
The Complexity of Model Checking Multi-Stack Systems Benedikt BolligDietrich KuskeRoy Mennicke OriginalPaper 26 August 2016 Pages: 695 - 736
Paradigms for Parameterized Enumeration Nadia CreignouArne MeierHeribert Vollmer OriginalPaper 13 September 2016 Pages: 737 - 758
Tai Mapping Hierarchy for Rooted Labeled Trees Through Common Subforest Takuya YoshinoKouichi Hirata OriginalPaper 02 September 2016 Pages: 759 - 783