Polynomial-time algorithm for the orbit problem.
The combinatorics of local constraints in model-based recognition and localization from sparse data.
Countable nondeterminism and random assignment.
RECAL - a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks.
Subproblem finder and instance checker, two cooperating modules for theorem provers.
How to construct random functions.
Initializing generalized feedback shift register pseudorandom number generators.
On driving many long wires in a VLSI layout.
Complexity of parallel QR factorization.
Approximating grammar probabilities: solution of a conjecture.
Small Sample Algorithms for the Identification of Polynomials.