Barbara Liskov - Concepedia

Author

Barbara Liskov

Also Known As

B. H. Liskov, B. Liskov, B.H. Liskov, Barbara H. Liskov, Barbara Liskov, Georgiou, Chloe, Liskov, B H, Liskov, Barbara, Liskov, Barbara 1939-, Liskov, Barbara H.

283

Publications

24K

Citations

H-Index

127

Concepts

All Affiliations

Massachusetts Institute of Technology Brandeis University

About

Barbara Liskov is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	57	105	19.2K
2	Management	10	10	2K
3	Language Studies	4	4	447
4	Business	1	1	48
5	Natural Sciences	1	1	67

Barbara Liskov

134

Publications

21.3K

Citations

H-Index

Page 1

	Year	Citations
Practical Byzantine fault tolerance Miguel Castro, Barbara Liskov Operating Systems Design and Implementation Hardware SecurityCluster ComputingBlockchain Consensus ProtocolFault-tolerant NetworkEngineering	1999	3.3K
Practical byzantine fault tolerance and proactive recovery Miguel Castro, Barbara Liskov ACM Transactions on Computer Systems Distributed File SystemBlockchain Consensus ProtocolEngineeringInformation SecurityFault Tolerance	2002	2.4K
A behavioral notion of subtyping Barbara Liskov, Jeannette M. Wing ACM Transactions on Programming Languages and Systems EngineeringType FamiliesSubtype RelationSoftware EngineeringHigher Level Supertypes	1994	1.1K
Abstraction mechanisms in CLU Barbara Liskov, Alan Snyder, Russell R. Atkinson, Communications of the ACM EngineeringSoftware SystemsControl AbstractionsSoftware EngineeringSoftware Analysis	1977	771
Programming with abstract data types Barbara Liskov, Stephen N. Zilles EngineeringMultilingualismSoftware EngineeringInterpreter (Computing)Dependently Typed Programming	1974	736
Protecting privacy using the decentralized label model Andrew C. Myers, Barbara Liskov ACM Transactions on Software Engineering and Methodology Privacy ProtectionEngineeringInformation SecurityVerificationLabel Model	2000	549
A decentralized model for information flow control Andrew C. Myers, Barbara Liskov Decentralized SecurityInformation Flow ControlEngineeringInformation SecurityInformation Control	1997	531
Speedy transactions in multicore in-memory databases Stephen Tu, Wenting Zheng, Eddie Kohler, Cluster ComputingSpeedy TransactionsEngineeringComputer ArchitectureTransactional System	2013	514
Distributed programming in Argus Barbara Liskov Communications of the ACM EngineeringSoftware SystemsComputer ArchitectureSoftware EngineeringSoftware Analysis	1988	472
Programming with abstract data types Barbara Liskov, Stephen N. Zilles ACM SIGPLAN Notices EngineeringStructured ProgrammingSoftware EngineeringSemanticsDependently Typed Programming	1974	390

Page 1