Primality Testing Using Elliptic Curves.
Finding Circular Attributes in Attribute Grammars.
Mutual Search.
On the Efficiency of Pairing Heaps and Related Data Structures.
Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.
New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases.
Efficient Algorithms for Inverting Evolution.