Edit Profile (opens in new tab) Liskov, Barbara Co-Author Distance Author ID: liskov.barbara-h Published as: Liskov, Barbara; Liskov, Barbara H.; Liskov, B. more...less Further Spellings: Liskov, Barbara Jane Huberman Homepage: http://www.pmg.lcs.mit.edu/~liskov/ External Links: MGP · Wikidata · dblp · GND · IdRef Awards: Turing Award (2008) Documents Indexed: 19 Publications since 1977, including 2 Books Co-Authors: 16 Co-Authors with 15 Joint Publications 110 Co-Co-Authors all top 5 Co-Authors 3 single-authored 3 Maheshwari, Umesh 3 Snyder, Alan 2 Atkinson, Russell R. 2 Schaffert, Justin Craig 2 Scheifler, Robert W. 2 Shrira, Liuba 1 Adya, Atul 1 Bloom, Toby 1 Boyapati, Chandrasekhar 1 Guttag, John V. 1 Herlihy, Maurice P. 1 Jones, Anita K. 1 Ladin, Rivka 1 Moss, Eliot 1 Wing, Jeannette Marie 1 Zilles, Stephen N. all top 5 Serials 2 ACM Transactions on Programming Languages and Systems 2 Communications of the ACM 2 Distributed Computing 1 Algorithmica 1 IEEE Transactions on Software Engineering 1 Lecture Notes in Computer Science Fields 19 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 78 times in 75 Documents Cited by ▼ Year ▼ Abstraction mechanisms in CLU. Zbl 0362.68018Liskov, Barbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig 21 1977 Abstraction and specification in program development. Zbl 0644.68001Liskov, Barbara; Guttag, John 17 1986 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027Liskov, Barbara; Scheifler, Robert 9 1983 CLU reference manual. Zbl 0463.68009Liskov, Barbara; Atkinson, Russel; Bloom, Toby; Moss, Eliot; Schaffert, J. Craig; Scheifler, Robert; Snyder, Alan 8 1981 Ownership types for object encapsulation. Zbl 1321.68166Boyapati, Chandrasekhar; Liskov, Barbara; Shrira, Liuba 7 2003 Practical uses of synchronized clocks in distributed systems. Zbl 0786.68038Liskov, Barbara 4 1993 Exception handling in CLU. Zbl 0428.68005Liskov, Barbara H.; Snyder, Alan 3 1979 Practical uses of synchronized clocks in distributed systems. Zbl 1314.68382Liskov, Barbara 3 1991 A language extension for expressing constraints on data access. Zbl 0372.68001Jones, Anita K.; Liskov, Barbara H. 2 1978 A technique for constructing highly available services. Zbl 0655.68028Ladin, Rivka; Liskov, Barbara; Shrira, Liuba 2 1988 A value transmission method for abstract data types. Zbl 0497.68008Herlihy, M.; Liskov, B. 1 1982 Programming with abstract data types (1974). Zbl 07526287Liskov, Barbara; Zilles, Stephen 1 2021 Programming with abstract data types (1974). Zbl 07526287Liskov, Barbara; Zilles, Stephen 1 2021 Ownership types for object encapsulation. Zbl 1321.68166Boyapati, Chandrasekhar; Liskov, Barbara; Shrira, Liuba 7 2003 Practical uses of synchronized clocks in distributed systems. Zbl 0786.68038Liskov, Barbara 4 1993 Practical uses of synchronized clocks in distributed systems. Zbl 1314.68382Liskov, Barbara 3 1991 A technique for constructing highly available services. Zbl 0655.68028Ladin, Rivka; Liskov, Barbara; Shrira, Liuba 2 1988 Abstraction and specification in program development. Zbl 0644.68001Liskov, Barbara; Guttag, John 17 1986 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027Liskov, Barbara; Scheifler, Robert 9 1983 A value transmission method for abstract data types. Zbl 0497.68008Herlihy, M.; Liskov, B. 1 1982 CLU reference manual. Zbl 0463.68009Liskov, Barbara; Atkinson, Russel; Bloom, Toby; Moss, Eliot; Schaffert, J. Craig; Scheifler, Robert; Snyder, Alan 8 1981 Exception handling in CLU. Zbl 0428.68005Liskov, Barbara H.; Snyder, Alan 3 1979 A language extension for expressing constraints on data access. Zbl 0372.68001Jones, Anita K.; Liskov, Barbara H. 2 1978 Abstraction mechanisms in CLU. Zbl 0362.68018Liskov, Barbara; Snyder, Alan; Atkinson, Russell; Schaffert, Craig 21 1977 all cited Publications top 5 cited Publications all top 5 Cited by 147 Authors 4 Naumann, David A. 3 Katzenelson, Jacob 3 Weihl, William E. 2 Nakajima, Reiji 2 Sannella, Donald T. 2 Tarlecki, Andrzej 1 Aït-Kaci, Hassan 1 Alpuente, María 1 Amighi, Afshin 1 Attie, Paul C. 1 Babaoglu, Ozalp 1 Bainbridge, E. S. 1 Baranov, Eduard 1 Barnett, Mike 1 Baugh, John W. jun. 1 Beeri, Catriel 1 Black, Andrew Philip 1 Bliudze, Simon 1 Blom, Stefan 1 Borba, Paulo 1 Boudol, Gérard 1 Boyland, John Tang 1 Broy, Manfred 1 Bruce, Kim B. 1 Bry, François 1 Caires, Luís 1 Castellani, Ilaria 1 Chaudhuri, Soma 1 Cioni, Gianna 1 Coan, Brian A. 1 Colvin, Robert J. 1 Cunningham, Dave 1 Darabi, Saeed 1 Dietl, Werner 1 Drossopoulou, Sophia Chloe 1 Drummond, Rogério 1 Ehrig, Hartmut 1 Faizulkhakov, Ya. R. 1 Flanagan, Cormac 1 Francalanza, Adrian 1 Freund, Stephen Neal 1 Freyd, Peter J. 1 Fridman, Felix J. 1 Furukawa, Kōichi 1 Gelernter, Herbert L. 1 Gheyi, Rohit 1 Giloi, Wolfgang K. 1 Gimson, Roger B. 1 Gueth, R. 1 Gusev, Vasiliĭ Vasil’evich 1 Hadzilacos, Thanasis 1 Hadzilacos, Vassos 1 Harper, Robert 1 Hayes, Ian J. 1 Heddaya, Abdelsalam A. 1 Henderson, Peter B. 1 Holloway, Glenn H. 1 Honda, Michio 1 Hsu, Meichun 1 Huang, JiuMei 1 Huisman, Marieke 1 Jaber, Mohamad Y. 1 Jagannathan, Suresh 1 Jajodia, Sushil 1 Kaplan, Stéphane 1 Kornatzky, Yoram 1 Kreczmar, Antoni 1 Kreowski, Hans-Jörg 1 Krintz, Chandra J. 1 Ladin, Rivka 1 Laffa, Chris 1 Lanham, E. J. 1 Läufer, Konstantin 1 Leavens, Gary T. 1 Leino, K. Rustan M. 1 Lescanne, Pierre 1 Liskov, Barbara 1 Lumsdaine, Andrew 1 Lynch, Nancy Ann 1 Martini, Simone 1 Massoni, Tiago 1 Mavronicolas, Marios 1 Merritt, Michael J. 1 Meyer, Albert Ronald 1 Middleton, A. G. 1 Minsky, Naftaly H. 1 Mitchell, John C. 1 Morris, James B. 1 Mostowski, Wojciech I. 1 Müller, Peter 1 Nakahara, Hayao 1 Nandivada, V. Krishna 1 Pair, Claude 1 Pandurangan, Gopal 1 Pardo, Daniel 1 Peleg, David 1 Pires, Miguel 1 Qadeer, Shaz 1 Qiu, Zongyan 1 Ravi, Srivatsan ...and 47 more Authors all top 5 Cited in 28 Serials 17 Theoretical Computer Science 9 Software. Practice & Experience 3 Acta Informatica 3 Information Processing Letters 3 Journal of Computer and System Sciences 3 Information and Computation 3 Formal Aspects of Computing 3 Distributed Computing 2 International Journal of Computer & Information Sciences 2 Science of Computer Programming 2 Journal of Computer Science and Technology 2 Theory and Practice of Logic Programming 1 Computers & Mathematics with Applications 1 Information Sciences 1 Programming and Computer Software 1 RAIRO, Informatique Théorique 1 Cybernetics 1 Journal of Symbolic Computation 1 New Generation Computing 1 Algorithmica 1 International Journal of Parallel Programming 1 Engineering with Computers 1 Cybernetics and Systems Analysis 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Algorithms 1 Frontiers of Computer Science Cited in 5 Fields 75 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.