Online Tracking of Mobile Users.
A Theory of Using History for Equational Systems with Applications.
Recoverable Sequence Transmission Protocols.
A Class of Logic Problems Solvable by Linear Programming.
Calculating Normalization Constants of Closed Queueing Networks by Numerically Inverting Their Generating Functions.
Eigenvalues and Expansion of Regular Graphs.
On the k-Server Conjecture.