Sorting on a Parallel Pointer Machine with Applications to Set Expression Evaluation.
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.
Unreliable Failure Detectors for Reliable Distributed Systems.
Knowledge Compilation and Theory Approximation.
Optimal Emulations by Butterfly-Like Networks.
Interactive Proofs and the Hardness of Approximating Cliques.