1: The Snowblower Problem
2: Fast matrix multiplication is stable
3: Time-Space Trade-Offs for Predecessor Search
4: Homogeneity vs. Adjacency: generalising some graph decomposition algorithms
5: Multiple serial episode matching
6: Automatic generation of simplified weakest preconditions for integrity constraint verification