Anna Pogosyants

According to our database, Anna Pogosyants authored at least 5 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.

Anna Pogosyants, Roberto Segala, Nancy A. Lynch

Distributed Comput., 2000

1997

Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.

Anna Pogosyants, Roberto Segala, Nancy A. Lynch

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Formal Verification of Timed Properties for Randomized Distributed Algorithms.

Anna Pogosyants, Roberto Segala

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1993

Computer-Assisted Simulation Proofs.

Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants

Proceedings of the Computer Aided Verification, 5th International Conference, 1993