![]() | ![]() |
2001 | ||
---|---|---|
4 | EE | Evelyn Tumlin Pierce, Lorenzo Alvisi: A framework for semantic reasoning about Byzantine quorum systems. PODC 2001: 317-319 |
3 | EE | Lorenzo Alvisi, Dahlia Malkhi, Evelyn Tumlin Pierce, Michael K. Reiter: Fault Detection for Byzantine Quorum Systems. IEEE Trans. Parallel Distrib. Syst. 12(9): 996-1007 (2001) |
2000 | ||
2 | EE | Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright: Dynamic Byzantine Quorum Systems. DSN 2000: 283- |
1996 | ||
1 | Evelyn Tumlin Pierce: Synthesis of Distributed Control Systems (Abstract). PODC 1996: 121 |
1 | Lorenzo Alvisi | [2] [3] [4] |
2 | Dahlia Malkhi (Dalia Malki) | [2] [3] |
3 | Michael K. Reiter | [2] [3] |
4 | Rebecca N. Wright | [2] |