Author: Richard J. Waldinger

Publications

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

Co-authors

Number of publications with favourite co-authors
Richard C. T. Lee
1
Chin-Liang Chang
1
Zohar Manna
2

Productive Colleagues

Most productive colleagues in number of publications
Chin-Liang Chang
1
Richard C. T. Lee
3
Zohar Manna
7

Publications

Manna, Zohar, Waldinger, Richard J. (1978): Is \"Sometime\" Sometimes Better Than \"Always\"? (Intermittent Assertions in Proving Prog. In Communications of the ACM, 21 (2) pp. 159-172.

Lee, Richard C. T., Chang, Chin-Liang, Waldinger, Richard J. (1974): An Improved Program-Synthesizing Algorithm and Its Correctness. In Communications of the ACM, 17 (4) pp. 211-217.

Manna, Zohar, Waldinger, Richard J. (1971): Toward Automatic Program Synthesis. In Communications of the ACM, 14 (3) pp. 151-165.

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.
316,589 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.
316,589 designers enjoy our newsletter—sure you don’t want to receive it?