|
Search the dblp DataBase
Anna Pogosyants:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
Computer-Assisted Simulation Proofs. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:305-319 [Conf]
- Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:29-44 [Conf]
- Anna Pogosyants, Roberto Segala
Formal Verification of Timed Properties for Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP] PODC, 1995, pp:174-183 [Conf]
- Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. [Citation Graph (0, 0)][DBLP] WDAG, 1997, pp:22-36 [Conf]
- Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2000, v:13, n:3, pp:155-186 [Journal]
Search in 0.001secs, Finished in 0.001secs
|