Separating NP-Completeness Notions under Strong Hypotheses
The Security of the Cipher Block Chaining Message Authentication Code
On the No-Z-Cycle Property in Distributed Executions
Testing Problems with Sublearning Sample Complexity
A Fault-Tolerance Model for Multiprocessor Real-Time Systems
On the Difference of Horn Theories
AVL Trees with Relaxed Balance
The Lob–Pass Problem
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems
Papers to Appear in Forthcoming Issues
Author Index for Volume 61