Author: Gerald J. Popek
Publication Overview
Publication period start: 1980
Number of co-authors: 6
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.