Anna Pogosyants

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Distributed Comput. 13 (3) (2000)
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. WDAG (1997)
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE (1996)
Anna Pogosyants, Roberto Segala
Formal Verification of Timed Properties for Randomized Distributed Algorithms. PODC (1995)
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
Computer-Assisted Simulation Proofs. CAV (1993)