Richard Alan Karp

Affiliations:

Tri-Data, Mountain View, CA, USA
Stanford University, Digital Systems Lab, CA, USA
University of Illinois at Urbana-Champaign, Urbana, IL, USA

According to our database¹, Richard Alan Karp authored at least 4 papers between 1974 and 1984.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

1984

Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic.

[BibT_eX]

[DOI]

Richard Alan Karp

ACM Trans. Program. Lang. Syst., 1984

1976

Verification of Fairness in an Implementation of Monitors.

[BibT_eX]

[DOI]

Richard Alan Karp

David C. Luckham

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

A Reply to Gentleman and Marovich.

[BibT_eX]

[DOI]

Richard Alan Karp

Commun. ACM, 1975

1974

Correspondence from the members.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1974

Richard Alan Karp

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...