Computer-Assisted Simulation Proofs. - Jørgen F. Søgaard-Andersen; Stephen J. Garland; John V. Guttag; Nancy A. Lynch; Anna Pogosyants (CAV, 1993)

Formal Verification of Timed Properties for Randomized Distributed Algorithms. - Anna Pogosyants; Roberto Segala (PODC, 1995)

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. - Tsvetomir P. Petrov; Anna Pogosyants; Stephen J. Garland; Victor Luchangco; Nancy A. Lynch (FORTE, 1996)

Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. - Anna Pogosyants; Roberto Segala; Nancy A. Lynch (WDAG, 1997)

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. - Anna Pogosyants; Roberto Segala; Nancy A. Lynch (Distributed Comput., 2000)