| 2000 |
|---|
| 5 | EE | Anna Pogosyants,
Roberto Segala,
Nancy A. Lynch:
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.
Distributed Computing 13(3): 155-186 (2000) |
| 1997 |
|---|
| 4 | | Anna Pogosyants,
Roberto Segala,
Nancy A. Lynch:
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.
WDAG 1997: 22-36 |
| 1996 |
|---|
| 3 | | Tsvetomir P. Petrov,
Anna Pogosyants,
Stephen J. Garland,
Victor Luchangco,
Nancy A. Lynch:
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
FORTE 1996: 29-44 |
| 1995 |
|---|
| 2 | | Anna Pogosyants,
Roberto Segala:
Formal Verification of Timed Properties for Randomized Distributed Algorithms.
PODC 1995: 174-183 |
| 1993 |
|---|
| 1 | | Jørgen F. Søgaard-Andersen,
Stephen J. Garland,
John V. Guttag,
Nancy A. Lynch,
Anna Pogosyants:
Computer-Assisted Simulation Proofs.
CAV 1993: 305-319 |
