Concepedia

Anna Pogosyants

AP

2

Publications

78

Citations

2

H-Index

1995

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Anna Pogosyants is an author at Massachusetts Institute of Technology specializing in asynchronous systems, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationAsynchronous SystemsData SecurityFault ToleranceDistributed SystemsTheory Of Computing

Publications per year

1995–2000

2

Publications

2

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

Anna Pogosyants, Roberto Segala, Nancy Lynch · Distributed Computing · 2000 · 62 citations

Engineering, Verification, Formal Methods +6

Formal verification of timed properties of randomized distributed algorithms

Anna Pogosyants, Roberto Segala · 1995 · 16 citations · Full text

Theory Of Computing, Engineering, Distributed Computing +15

Rows per page

1–2 of 2