Barbara Liskov

Practical Byzantine fault tolerance

Miguel Castro, Barbara Liskov · Operating Systems Design and Implementation · 1999 · 3.3K citations

Computing, Computer Engineering, Computer Systems +15

Practical byzantine fault tolerance and proactive recovery

Miguel Castro, Barbara Liskov · ACM Transactions on Computer Systems · 2002 · 2.5K citations

Computing, Computer Science, Computer Systems +14

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Science, Formal Methods +14

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · Communications of the ACM · 1977 · 772 citations · Full text

Computing, Computer Science, Hardware-software Co-design +7

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

Computing, Computer Science, Data Structures +10