On Solving Fredholm Integral Equations of the First Kind.
On the SUP-INF Method for Proving Presburger Formulas.
Queueing Models for Computer Systems Connected by a Communication Line.
Errata and Comments on a Paper by J. R. Cash.
Optimization Among Provably Equivalent Programs.
A Study of Schedules as Models of Synchronous Parallel Computation.
Big Buckets Are (Are Not) Better!
Algorithms for the Longest Common Subsequence Problem.
Log Space Recognition and Translation of Parenthesis Languages.
Flow Switching Approach to the Maximum Flow Problem: I.
A Machine Representation of Finite T
Capacity Bounds for Multiresource Queues.
Analysis of Effectiveness of Retrieval in Clustered Files.