Cache-Oblivious Hashing

27.05.2015

List Coloring in the Absence of a Linear Forest

20.05.2015

Havannah and TwixT are pspace-complete by Édouard Bonnet, Florian Jamain, and Abdallah Saffidine

13.05.2015

Metrical Service Systems with Multiple Servers

13.05.2015

Fast algorithm finding the shortest reset words by A. Kisielewicz J. Kowalski, and M. Szykuła

06.05.2015

Minimum Fill-in of Sparse Graphs: Kernelization and Approximation

06.05.2015

A Short Note on Type-inhabitation: Formula-Trees vs. Game Semantics by S. Alves, S. Broda

29.04.2015

Strong Conflict-Free Coloring for Intervals

29.04.2015

UZI

The Converse principal Type Algorithm by Roger Hindley

22.04.2015