Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion. - Isaac Saias (PODC, 1992)

Proving Time Bounds for Randomized Distributed Algorithms. - Nancy A. Lynch; Isaac Saias; Roberto Segala (PODC, 1994)

Number of faults a system can withstand without repairs. - Michel X. Goemans; Nancy A. Lynch; Isaac Saias (CoRR, 1994)

Optimal Randomized Scheduling by Replacement. - Isaac Saias (J. Comb. Optim., 1998)

Approximate Option Pricing. - Prasad Chalasani; Somesh Jha; Isaac Saias (Algorithmica, 1999)

Fast randomized point location without preprocessing in two- and three-dimensional Delaunay triangulations. - Ernst P. Mücke; Isaac Saias; Binhai Zhu (Comput. Geom., 1999)