A Fast Parallel Algorithm for the Maximal Independent Set Problem
A Sufficient Condition for Backtrack-Bounded Search
On Ordered Languages and the Optimization of Linear Functions by Greedy Algorithms
Asynchronous Consensus and Broadcast Protocols
Complexity of Network Synchronization
A Polynomial Algorithm for the Min-Cut Linear Arrangement of Trees
A Simplex Algorithm Whose Average Number of Steps Is Bounded between Two Quadratic Functions of the Smaller Dimension
Acceptance Trees
Lower Bounds for Solving Linear Diophantine Equations on Random Access Machines
Closures of Database Hypergraphs
How to Assign Votes in a Distributed System
Applications of Ramsey's Theorem to Decision Tree Complexity