23. FSTTCS 2003:
: Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra.
: Efficient Algorithms for Abelian Group Isomorphism and Related Problems.
, R. Ravi
: Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees.
: The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase.
Randal E. Bryant
: Reasoning about Infinite State Systems Using Boolean Methods.
: Moderately Hard Functions: From Complexity to Spam Fighting.
: Zigzag Products, Expander Constructions, Connections, and Applications.