Bounded concurrent timestamp systems using vector clocks.
Expressiveness of structured document query languages based on attribute grammars.
On a model of indexability and its bounds for range queries.
An optimal minimum spanning tree algorithm.
Fast context-free grammar parsing requires fast boolean matrix multiplication.