Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Periodic Graphs.
Modal Nonmonotonic Logics: Ranges, Characterization, Computation.
Atomic Snapshots of Shared Memory.
Knowledge, Probability, and Adversaries.
On the Analytical Modeling of Database Concurrency Control.
The Parallel Complexity of Simple Logic Programs.