Richard A. Kemmerer

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1980
Publication period end
1992
Number of co-authors
3

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.