A semantic approach to correctness of concurrent transaction executions

Algorithms and Complexity

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

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