The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerald J. Popek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Geoffrey H. Kuenning, Gerald J. Popek
    Automated Hoarding for Mobile Computers. [Citation Graph (3, 0)][DBLP]
    SOSP, 1997, pp:264-275 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Thomas W. Page Jr., Gerald J. Popek
    Distributed Management in Local Area Networks. [Citation Graph (2, 11)][DBLP]
    PODS, 1985, pp:135-142 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Gerald J. Popek, Charles S. Kline
    Issues in Kernel Design. [Citation Graph (1, 0)][DBLP]
    Advanced Course: Operating Systems, 1978, pp:209-227 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Deborah Downs, Gerald J. Popek
    Data Base Management Systems Security and INGRES. [Citation Graph (1, 6)][DBLP]
    VLDB, 1979, pp:280-290 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. Gerald J. Popek
    Notes on distributed systems of microprocessors. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Microcomputer System Design, 1981, pp:303-348 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Gerald J. Popek
    Autonomy and interdependence: an intermediate position. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1988, pp:- [Conf]
  47. Brett D. Fleisch, Gerald J. Popek
    Mirage: A Coherent Distributed Shared Memory Design. [Citation Graph (0, 0)][DBLP]
    SOSP, 1989, pp:211-223 [Conf]
  48. John S. Heidemann, Gerald J. Popek
    Performance of Cache Coherence in Stackable Filing. [Citation Graph (0, 0)][DBLP]
    SOSP, 1995, pp:127-142 [Conf]
  49. Gerald J. Popek, Robert P. Goldberg
    Formal Requirements for Virtualizable Third Generation Architectures. [Citation Graph (0, 0)][DBLP]
    SOSP, 1973, pp:121- [Conf]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]

  70. Verifiable secure operating system software. [Citation Graph (, )][DBLP]


  71. Security kernels. [Citation Graph (, )][DBLP]


  72. A Kernel Design for a Secure Data Base Management System. [Citation Graph (, )][DBLP]


Search in 0.138secs, Finished in 0.141secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002