Improving the Performance Guarantee for Approximate Graph Coloring
Applying Parallel Computation Algorithms in the Design of Serial Algorithms
Design of Minimum-Cost Deadlock-Free Systems
An Iteration Theorem for Simple Precedence Languages
Cost Trade-offs in Graph Embeddings, with Applications
Locking Protocols: From Exclusive to Shared Locks
Analysis of Uniform Hashing
The Proof of a Folk Theorem on Queuing Delay with Applications to Routing in Networks
Syntactic Characterization of Tree Database Schemas
Graph Algorithms for Functional Dependency Manipulation
Decision Quality As a Function of Search Depth on Game Trees