The Complexity of Probabilistic Verification.
Greed Sort: Optimal Deterministic Sorting on Parallel Disks.
Logical Foundations of Object-Oriented and Frame-Based Languages.
Translating Default Logic into Standard Autoepistemic Logic.
A Constant-Time Optimal Parallel String-Matching Algorithm.
Color-Coding.