Author: Richard A. Kemmerer

Publications

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

Co-authors

Number of publications with favourite co-authors
Jonathan D. Reichbach
1
Bruce J. Walker
1
Gerald J. Popek
1

Productive Colleagues

Most productive colleagues in number of publications
Jonathan D. Reichbach
1
Bruce J. Walker
1
Gerald J. Popek
4

Publications

Reichbach, Jonathan D., Kemmerer, Richard A. (1992): SoundWorks: An Object-Oriented Distributed System for Digital Sound. In IEEE Computer, 25 (3) pp. 25-37.

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.