Liskov, Barbara

Practical byzantine fault tolerance and proactive recovery

Castro, M., & Liskov, B. (2002) · ACM Transactions on Computer Systems

Distributed systems and fault toleranceSoftware System Performance and Reliability

Cited by 2,475

A decentralized model for information flow control

Myers, A. C., & Liskov, B. (1997) · Proceedings of the sixteenth ACM symposium on Operating systems principles

Security and Verification in ComputingAccess Control and Trust

Cited by 536

Programming with abstract data types

Liskov, B., & Zilles, S. (1974) · ACM SIGPLAN Notices

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 397

Generalized isolation level definitions

Adya, A., Liskov, B., & O'Neil, P. (2002) · Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073)

Distributed systems and fault toleranceAdvanced Database Systems and Queries

Cited by 176

A design methodology for reliable software systems

Liskov, B. H. (1972) · Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)

Software Reliability and Analysis ResearchDistributed systems and fault tolerance

Cited by 107