Robert M. Keller

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1973
Publication period end
1982
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Davis, Alan L., Keller, Robert M. (1982): Data Flow Program Graphs. In IEEE Computer, 15 (2) pp. 26-41.

Keller, Robert M. (1976): Formal Verification of Parallel Programs. In Communications of the ACM, 19 (7) pp. 371-384.

Burkhard, Walter A., Keller, Robert M. (1973): Some Approaches to Best-Match File Searching. In Communications of the ACM, 16 (4) pp. 230-236.