Search the dblp DataBase
Gerald J. Popek :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Douglas Stott Parker Jr. , Gerald J. Popek , Gerard Rudisin , Allen Stoughton , Bruce J. Walker , Evelyn Walton , Johanna M. Chow , David A. Edwards , Stephen Kiser , Charles S. Kline Detection of Mutual Inconsistency in Distributed Systems. [Citation Graph (21, 0)][DBLP ] IEEE Trans. Software Eng., 1983, v:9, n:3, pp:240-247 [Journal ] Daniel A. Menascé , Gerald J. Popek , Richard R. Muntz A Locking Protocol for Resource Coordination in Distributed Databases. [Citation Graph (12, 4)][DBLP ] ACM Trans. Database Syst., 1980, v:5, n:2, pp:103-138 [Journal ] Erik T. Mueller , Johanna D. Moore , Gerald J. Popek A Nested Transaction Mechanism for LOCUS. [Citation Graph (9, 0)][DBLP ] SOSP, 1983, pp:71-89 [Conf ] Gerald J. Popek , Bruce J. Walker , Johanna M. Chow , David A. Edwards , Gerard Rudisin , Greg Thiel LOCUS - A Network Transparent, High Reliability Distributed System. [Citation Graph (9, 0)][DBLP ] SOSP, 1981, pp:169-177 [Conf ] Dushan Z. Badal , Gerald J. Popek A Proposal for Distributed Concurrency Control for Partially Redundant Distributed Data Base Systems. [Citation Graph (8, 0)][DBLP ] Berkeley Workshop, 1978, pp:273-285 [Conf ] Dushan Z. Badal , Gerald J. Popek Cost and Performance Analysis of Semantic Integrity Validation Methods. [Citation Graph (6, 8)][DBLP ] SIGMOD Conference, 1979, pp:109-115 [Conf ] Bruce J. Walker , Gerald J. Popek , Robert English , Charles S. Kline , Greg Thiel The LOCUS Distributed Operating System. [Citation Graph (5, 0)][DBLP ] SOSP, 1983, pp:49-70 [Conf ] Richard G. Guy , John S. Heidemann , Wai-Kei Mak , Thomas W. Page Jr. , Gerald J. Popek , Dieter Rothmeier Implementation of the Ficus Replicated File System. [Citation Graph (4, 0)][DBLP ] USENIX Summer, 1990, pp:63-72 [Conf ] Daniel A. Menascé , Gerald J. Popek , Richard R. Muntz A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). [Citation Graph (3, 0)][DBLP ] SIGMOD Conference, 1978, pp:2- [Conf ] Geoffrey H. Kuenning , Gerald J. Popek Automated Hoarding for Mobile Computers. [Citation Graph (3, 0)][DBLP ] SOSP, 1997, pp:264-275 [Conf ] Matthew J. Weinstein , Thomas W. Page Jr. , Brian Livezey , Gerald J. Popek Transactions and Synchronization in a Distributed Operating System. [Citation Graph (3, 0)][DBLP ] SOSP, 1985, pp:115-126 [Conf ] Deborah Downs , Gerald J. Popek A Kernel Design for a Secure Data Base Management System. [Citation Graph (3, 14)][DBLP ] VLDB, 1977, pp:507-514 [Conf ] Douglas Stott Parker Jr. , Gerald J. Popek , Gerard Rudisin , Allen Stoughton , Bruce J. Walker , Evelyn Walton , Johanna M. Chow , David A. Edwards , Stephen Kiser , Charles S. Kline Detection of Mutual Inconsitency in Distributed Systems. [Citation Graph (2, 0)][DBLP ] Berkeley Workshop, 1981, pp:172-184 [Conf ] Thomas W. Page Jr. , Gerald J. Popek Distributed Management in Local Area Networks. [Citation Graph (2, 11)][DBLP ] PODS, 1985, pp:135-142 [Conf ] Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek Proof Rules for the Programming Language Euclid. [Citation Graph (2, 0)][DBLP ] Acta Inf., 1978, v:10, n:, pp:1-26 [Journal ] Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek Specification and Verification of the UCLA Unix Security Kernel. [Citation Graph (2, 0)][DBLP ] Commun. ACM, 1980, v:23, n:2, pp:118-131 [Journal ] Gerald J. Popek , Charles S. Kline Encryption and Secure Computer Networks. [Citation Graph (2, 0)][DBLP ] ACM Comput. Surv., 1979, v:11, n:4, pp:331-356 [Journal ] Gerald J. Popek , Charles S. Kline Issues in Kernel Design. [Citation Graph (1, 0)][DBLP ] Advanced Course: Operating Systems, 1978, pp:209-227 [Conf ] Geoffrey H. Kuenning , Rajive Bagrodia , Richard G. Guy , Gerald J. Popek , Peter L. Reiher , An-I Wang Measuring the Quality of Service of Optimistic Replication. [Citation Graph (1, 0)][DBLP ] ECOOP Workshops, 1998, pp:319-320 [Conf ] Alan B. Sheltzer , Robert Lindell , Gerald J. Popek Name Service Locality and Cache Design in a Distributed Operating System. [Citation Graph (1, 0)][DBLP ] ICDCS, 1986, pp:515-522 [Conf ] Geoffrey H. Kuenning , Gerald J. Popek , Peter L. Reiher An Analysis of Trace Data for Predictive File Caching in Mobile Computing. [Citation Graph (1, 0)][DBLP ] USENIX Summer, 1994, pp:291-303 [Conf ] Peter L. Reiher , John S. Heidemann , David Ratner , Gregory Skinner , Gerald J. Popek Resolving File Conflicts in the Ficus File System. [Citation Graph (1, 0)][DBLP ] USENIX Summer, 1994, pp:183-195 [Conf ] Deborah Downs , Gerald J. Popek Data Base Management Systems Security and INGRES. [Citation Graph (1, 6)][DBLP ] VLDB, 1979, pp:280-290 [Conf ] Gerald J. Popek , Richard G. Guy , Thomas W. Page Jr. , John S. Heidemann Replication in Ficus Distributed File Systems. [Citation Graph (1, 0)][DBLP ] Workshop on the Management of Replicated Data, 1990, pp:5-10 [Conf ] Gerald J. Popek , David A. Farber A Model for Verification of Data Security in Operating Systems. [Citation Graph (1, 0)][DBLP ] Commun. ACM, 1978, v:21, n:9, pp:737-749 [Journal ] Thomas W. Page Jr. , Richard G. Guy , John S. Heidemann , David Ratner , Peter L. Reiher , Ashish Goel , Geoffrey H. Kuenning , Gerald J. Popek Perspectives on Optimistically Replicated, Peer-to-Peer Filing. [Citation Graph (1, 0)][DBLP ] Softw., Pract. Exper., 1998, v:28, n:2, pp:155-180 [Journal ] Gerald J. Popek Notes on distributed systems of microprocessors. [Citation Graph (0, 0)][DBLP ] Advanced Course: Microcomputer System Design, 1981, pp:303-348 [Conf ] Gerald J. Popek , Charles S. Kline Design Issues for Secure Computer Networks. [Citation Graph (0, 0)][DBLP ] Advanced Course: Operating Systems, 1978, pp:517-546 [Conf ] Ted H. Kim , Gerald J. Popek Frigate: An Object-Oriented File System for Ordinary Users. [Citation Graph (0, 0)][DBLP ] COOTS, 1997, pp:115-130 [Conf ] David Ratner , Peter L. Reiher , Gerald J. Popek Roam: A Scalable Replication System for Mobile Computing. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1999, pp:96-104 [Conf ] Richard G. Guy , Peter L. Reiher , David Ratner , Michial Gunter , Wilkie Ma , Gerald J. Popek Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication. [Citation Graph (0, 9)][DBLP ] ER Workshops, 1998, pp:254-265 [Conf ] Mitchell Tsai , Peter L. Reiher , Gerald J. Popek Command Management System for Next-Generation User Input. [Citation Graph (0, 0)][DBLP ] Workshop on Hot Topics in Operating Systems, 1999, pp:179-184 [Conf ] An-I Wang , Peter L. Reiher , Gerald J. Popek , Geoffrey H. Kuenning The Conquest File System's Life after Disks. [Citation Graph (0, 0)][DBLP ] HotOS, 2001, pp:186- [Conf ] Mark Yarvis , Peter L. Reiher , Gerald J. Popek Conductor: A Framework for Distributed Adaptation. [Citation Graph (0, 0)][DBLP ] Workshop on Hot Topics in Operating Systems, 1999, pp:44-0 [Conf ] Peter L. Reiher , Gerald J. Popek Locus Naming in a Large Scale Environment. [Citation Graph (0, 0)][DBLP ] Kommunikation in Verteilten Systemen, 1987, pp:167-177 [Conf ] Gerald J. Popek , James J. Horning , Butler W. Lampson , James G. Mitchell , Ralph L. London Notes on the Design of Euclid. [Citation Graph (0, 0)][DBLP ] Language Design for Reliable Software, 1977, pp:11-18 [Conf ] David Ratner , Peter L. Reiher , Gerald J. Popek , Richard G. Guy Peer Replication with Selective Control. [Citation Graph (0, 0)][DBLP ] MDA, 1999, pp:169-181 [Conf ] Kevin Eustice , Leonard Kleinrock , Shane Markstrum , Gerald J. Popek , Venkatraman Ramakrishna , Peter L. Reiher Enabling Secure Ubiquitous Interactions. [Citation Graph (0, 0)][DBLP ] Middleware Workshops, 2003, pp:76-80 [Conf ] Geoffrey H. Kuenning , Wilkie Ma , Peter L. Reiher , Gerald J. Popek Simplifying automated hoarding methods. [Citation Graph (0, 0)][DBLP ] MSWiM, 2002, pp:15-21 [Conf ] Kevin Eustice , Leonard Kleinrock , Shane Markstrum , Gerald J. Popek , Venkatraman Ramakrishna , Peter L. Reiher Securing nomads: the case for quarantine, examination, and decontamination. [Citation Graph (0, 0)][DBLP ] NSPW, 2003, pp:123-128 [Conf ] Ralph L. London , John V. Guttag , James J. Horning , Butler W. Lampson , James G. Mitchell , Gerald J. Popek Proof Rules for the Programming Language Euclid. [Citation Graph (0, 0)][DBLP ] Program Construction, 1978, pp:133-163 [Conf ] Joseph Betser , Mario Gerla , Gerald J. Popek A Dual Priority MVA Model for a Large Distributed System: LOCUS. [Citation Graph (0, 0)][DBLP ] Performance, 1984, pp:51-66 [Conf ] Arthur P. Goldberg , Gerald J. Popek , Stephen S. Lavenberg A Validated Distributed System Performance Model. [Citation Graph (0, 0)][DBLP ] Performance, 1983, pp:251-268 [Conf ] Alexey Rudenko , Peter L. Reiher , Gerald J. Popek , Geoffrey H. Kuenning The Remote Processing Framework for Portable Computer Power Saving. [Citation Graph (0, 0)][DBLP ] SAC, 1999, pp:365-372 [Conf ] Thomas W. Page Jr. , Matthew J. Weinstein , Gerald J. Popek Genesis: A Distributed Database Operating System. [Citation Graph (0, 17)][DBLP ] SIGMOD Conference, 1985, pp:374-387 [Conf ] Gerald J. Popek Autonomy and interdependence: an intermediate position. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1988, pp:- [Conf ] Brett D. Fleisch , Gerald J. Popek Mirage: A Coherent Distributed Shared Memory Design. [Citation Graph (0, 0)][DBLP ] SOSP, 1989, pp:211-223 [Conf ] John S. Heidemann , Gerald J. Popek Performance of Cache Coherence in Stackable Filing. [Citation Graph (0, 0)][DBLP ] SOSP, 1995, pp:127-142 [Conf ] Gerald J. Popek , Robert P. Goldberg Formal Requirements for Virtualizable Third Generation Architectures. [Citation Graph (0, 0)][DBLP ] SOSP, 1973, pp:121- [Conf ] Gerald J. Popek , Charles S. Kline The PDP-11 Virtual Machine Architecture: A Case Study. [Citation Graph (0, 0)][DBLP ] SOSP, 1975, pp:97-105 [Conf ] Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). [Citation Graph (0, 0)][DBLP ] SOSP, 1979, pp:64-65 [Conf ] Yuguang Wu , Gerald J. Popek , Richard R. Muntz Efficient Evaluation of Arbitrary Set-Associative Caches on Multiprocessors. [Citation Graph (0, 0)][DBLP ] SPDP, 1992, pp:507-514 [Conf ] Ashvin Goel , Calton Pu , Gerald J. Popek View Consistency for Optimistic Replication. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1998, pp:36-42 [Conf ] Thomas W. Page Jr. , Richard G. Guy , John S. Heidemann , Gerald J. Popek , Wai Mak , Dieter Rothmeier Management of Replicated Volume Location Data in the Ficus Replicated File System. [Citation Graph (0, 0)][DBLP ] USENIX Summer, 1991, pp:17-30 [Conf ] An-I Wang , Peter L. Reiher , Gerald J. Popek , Geoffrey H. Kuenning Conquest: Better Performance Through a Disk/Persistent-RAM Hybrid File System. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2002, pp:15-28 [Conf ] John S. Heidemann , Thomas W. Page Jr. , Richard G. Guy , Gerald J. Popek Primarily Disconnected Operation: Experiences with Ficus. [Citation Graph (0, 0)][DBLP ] Workshop on the Management of Replicated Data, 1992, pp:2-5 [Conf ] Gerald J. Popek , Robert P. Goldberg Formal Requirements for Virtualizable Third Generation Architectures. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1974, v:17, n:7, pp:412-421 [Journal ] Erik T. Mueller , Johanna D. Moore , Gerald J. Popek A nested transaction mechanism for LOCUS [Citation Graph (0, 0)][DBLP ] CoRR, 1998, v:0, n:, pp:- [Journal ] Mary E. Snuggs , Gerald J. Popek , Ronald J. Peterson Data Base System Objectives as Design Constraints. [Citation Graph (0, 0)][DBLP ] DATA BASE, 1975, v:6, n:3, pp:11-20 [Journal ] Gerald J. Popek , Greg Thiel Distributed Data Management Issues in the LOCUS System. [Citation Graph (0, 0)][DBLP ] IEEE Database Eng. Bull., 1983, v:6, n:2, pp:63-67 [Journal ] Todd Ekenstam , Charles Matheny , Peter L. Reiher , Gerald J. Popek The Bengal Database Replication System. [Citation Graph (0, 0)][DBLP ] Distributed and Parallel Databases, 2001, v:9, n:3, pp:187-210 [Journal ] B. R. Badrinath , Armando Fox , Leonard Kleinrock , Gerald J. Popek , Peter L. Reiher , Mahadev Satyanarayanan A conceptual framework for network and client adaptation. [Citation Graph (0, 0)][DBLP ] MONET, 2000, v:5, n:4, pp:221-231 [Journal ] David Ratner , Peter L. Reiher , Gerald J. Popek Roam: A Scalable Replication System for Mobility. [Citation Graph (0, 0)][DBLP ] MONET, 2004, v:9, n:5, pp:537-544 [Journal ] David Ratner , Peter L. Reiher , Gerald J. Popek , Geoffrey H. Kuenning Replication Requirements in Mobile Environments. [Citation Graph (0, 0)][DBLP ] MONET, 2001, v:6, n:6, pp:525-533 [Journal ] Geoffrey H. Kuenning , Peter L. Reiher , Gerald J. Popek Experience with an Automated Hoarding System. [Citation Graph (0, 0)][DBLP ] Personal and Ubiquitous Computing, 1997, v:1, n:3, pp:- [Journal ] Richard G. Guy , John S. Heidemann , Thomas W. Page Jr. , Gerald J. Popek The Ficus Replicated File System (Abstract). [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1992, v:26, n:2, pp:26- [Journal ] John S. Heidemann , Gerald J. Popek File-System Development with Stackable Layers. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1994, v:12, n:1, pp:58-89 [Journal ] An-I Andy Wang , Geoffrey H. Kuenning , Peter L. Reiher , Gerald J. Popek The Conquest file system: Better performance through a disk/persistent-RAM hybrid design. [Citation Graph (0, 0)][DBLP ] TOS, 2006, v:2, n:3, pp:309-348 [Journal ] Alan B. Sheltzer , Gerald J. Popek Internet Locus: Extending Transparency to an Internet Environment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:11, pp:1067-1075 [Journal ] Verifiable secure operating system software. [Citation Graph (, )][DBLP ] Security kernels. [Citation Graph (, )][DBLP ] A Kernel Design for a Secure Data Base Management System. [Citation Graph (, )][DBLP ] Search in 0.012secs, Finished in 0.018secs