Author: Robert M. Keller

Publication Overview

Publication period start: 1976
Number of co-authors: 2

Co-Authors

Number of publications with favourite co-authors

Alan L. Davis
1
Walter A. Burkhard
1

Productive Colleagues

Most productive colleagues in number of publications

Walter A. Burkhard
2
Alan L. Davis
3

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.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 315,223 others.

Next email in: