Author: Robert M. Keller

Publications

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.

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
313,013 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
313,013 designers enjoy our newsletter—sure you don’t want to receive it?