Isaac Saias

Identifiers

No identifiers captured yet.

Papers (3)

1. Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion math.CO · 1994 · author #1
2. Number of faults a system can withstand without repairs math.CO · 1994 · author #3
3. Proving time bounds for randomized distributed algorithms math.CO · 1994 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Nancy Lynch 2 shared papers
• Michel Goemans 1 shared papers
• Roberto Segala 1 shared papers