Dynamic Fault-Tolerant Clock Synchronization.
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
The Complexity of Logic-Based Abduction.
Bounds on the Speedup and Efficiency of Partial Synchronization in Parallel Processing Systems.
Sharing Memory Robustly in Message-Passing Systems.
A Decomposition of Multidimensional Point Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields.
Designing Programs that Check Their Work.
Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables.
Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors.
Bisimulation Can't be Traced.