Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics.
Optimum Head Separation in a Disk System with Two Read/Write Heads.
Depth-First Search and Kuratowski Subgraphs.
Lower Bounds for Distributed Maximum-Finding Algorithms.
Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition.
Algebraic Structures with Hard Equivalence and Minimization Problems.
Updates of Relational Views.
A Proof Procedure for Data Dependencies.
Numerical Computation of Sojourn-Time Distributions in Queuing Networks.
Optimal Asynchronous Newton Method for the Solution of Nonlinear Equations.
Configuration of VLSI Arrays in the Presence of Defects.
Incomplete Information in Relational Databases.