A Polynomial Solution to the Undirected Two Paths Problem.
Codes: Unequal Probabilities, Unequal Letter Cost.
A New Approach to the Analysis of Linear Probing Schemes.
Scheduling Independent Tasks with Due Times on a Uniform Processor System.
Constructing Call-by-Value Continuation Semantics.
Augmenting Parsers to Support Incrementality.
Optimal Selection of CPU Speed, Device Capacities, and File Assignments.
Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages.
Flowshop scheduling with limited temporary storage.
Reasoning About Recursively Defined Data Structures.
Information Bounds Are Weak in the Shortest Distance Problem.
Sharing a Processor Among Many Job Classes.
Complex Properties of Grammars.