Robert W. Floyd
According to our database1,
Robert W. Floyd
authored at least 33 papers
between 1960 and 1996.
Collaborative distances:
Collaborative distances:
Awards
Turing Prize recipient
Turing Prize 1978, "For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic programming|automatic program synthesis, and analysis of algorithms".
ACM Fellow
ACM Fellow 1994, "For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.".
Timeline
1960
1965
1970
1975
1980
1985
1990
1995
0
1
2
3
4
5
6
1
1
1
2
2
2
1
1
1
3
1
5
3
2
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
1996
Die Sprache der Maschinen.
Informatik Lehrbuch-Reihe, International Thomson, ISBN: 978-3-8266-0216-0, 1996
1990
1982
1980
Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980
1979
1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
1975
The Algorithm SELECT - for Finding the ith Smallest of n Elements [M1] (Algorithm 489).
Commun. ACM, 1975
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975
1973
1972
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972
Proceedings of a symposium on the Complexity of Computer Computations, 1972
1971
Toward Interactive Design of Correct Programs.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971
1969
ACM SIGPLAN Notices, 1969
1967
1964
1963
1962
1961
Inf. Control., December, 1961
1960