On the Use of Transcendentals for Program Testing.
n-Evaluation Conjecture for Multipoint Iterations for the Solution of Scalar Nonlinear Equations.
A Unified Lower Bound for Selection and Set Partitioning Problems.
Linear Algorithm for Data Compression via String Matching.
Alternation.
An On-Line Edge-Deletion Problem.
Bounds on Schedules for Independent Tasks with Similar Execution Times.
Max-Min Tree Partitioning.
On Databases with Incomplete Information.
String Matching in Real Time.
Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan.
Using Semi-Joins to Solve Relational Queries.
New Real-Time Simulations of Multihead Tape Units.