Author: Gerald J. Popek

Publications

Publication period start: 1980
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
Robert P. Goldberg
1
Bruce J. Walker
1
Richard A. Kemmerer
1

Productive Colleagues

Most productive colleagues in number of publications
Bruce J. Walker
1
Peter L. Reiher
2
Richard A. Kemmerer
2

Publications

Kuenning, Geoffrey H., Reiher, Peter L., Popek, Gerald J. (1997): Experience with an Automated Hoarding System. In Personal and Ubiquitous Computing, 1 (3) pp. . https://

Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J. (1980): Specification and Verification of the UCLA Unix Security Kernel. In Communications of the ACM, 23 (2) pp. 118-131.

Popek, Gerald J., Farber, David A. (1978): A Model for Verification of Data Security in Operating Systems. In Communications of the ACM, 21 (9) pp. 737-749.

Popek, Gerald J., Goldberg, Robert P. (1974): Formal Requirements for Virtualizable Third Generation Architectures. In Communications of the ACM, 17 (7) pp. 412-421.

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
313,448 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
313,448 designers enjoy our newsletter—sure you don’t want to receive it?