Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.
The Cost of Fault Tolerance in Multi-Party Communication Complexity.
Tight Bounds for Asynchronous Renaming.
Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces.
Computing All Maps into a Sphere.