Synthesis of Distributed Control Systems (Abstract). - Evelyn Tumlin Pierce (PODC, 1996)

Dynamic Byzantine Quorum Systems. - Lorenzo Alvisi; Evelyn Tumlin Pierce; Dahlia Malkhi; Michael K. Reiter; Rebecca N. Wright (DSN, 2000)

A framework for semantic reasoning about Byzantine quorum systems. - Evelyn Tumlin Pierce; Lorenzo Alvisi (PODC, 2001)

Fault Detection for Byzantine Quorum Systems. - Lorenzo Alvisi; Dahlia Malkhi; Evelyn Tumlin Pierce; Michael K. Reiter (IEEE Trans. Parallel Distributed Syst., 2001)