Very fast algorithms for the area of the union of many circles

Algorithms and Complexity

A semantic approach to correctness of concurrent transaction executions

Fast probabilistic techniques for dynamic parallel addition, parallel counting and the processor identification problem