Robert W. Floyd
American computer scientist
Robert W. Floyd's AcademicInfluence.com Rankings
Download Badge
Computer Science Mathematics
Robert W. Floyd's Degrees
- PhD Computer Science Carnegie Mellon University
- Masters Mathematics University of Chicago
- Bachelors Mathematics University of Chicago
Similar Degrees You Can Earn
Why Is Robert W. Floyd Influential?
(Suggest an Edit or Addition)According to Wikipedia, Robert W Floyd was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm , which efficiently finds all shortest paths in a graph and his work on parsing; Floyd's cycle-finding algorithm for detecting cycles in a sequence was attributed to him as well. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering . He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978.
Robert W. Floyd's Published Works
Published Works
- Algorithm 97: Shortest path (1962) (3814)
- Assigning Meanings to Programs (1993) (1683)
- Time Bounds for Selection (1973) (1313)
- Assigning meaning to programs (1967) (507)
- Nondeterministic Algorithms (1967) (325)
- Expected time bounds for selection (1975) (323)
- Syntactic Analysis and Operator Precedence (1963) (253)
- Algorithm 245: Treesort (1964) (217)
- Measurement of echolocation signals of the Atlantic bottlenose dolphin, Tursiops truncatus Montagu, in open waters. (1974) (207)
- The compilation of regular expressions into integrated circuits (1980) (157)
- The paradigms of programming (1979) (136)
- Exact and approximate membership testers (1978) (129)
- Notes on Avoiding "go to" Statements (1971) (118)
- Bounded context syntactic analysis (1964) (111)
- Permuting Information in Idealized Two-Level Storage (1972) (106)
- Propagation of Atlantic bottlenose dolphin echolocation signals (1978) (96)
- The Syntax of Programming Languages-A Survey (1964) (89)
- A procedural theory of eye movements in doing arithmetic (1983) (73)
- On the nonexistence of a phrase structure grammar for ALGOL 60 (1962) (66)
- Toward Interactive Design of Correct Programs (1986) (60)
- A Descriptive Language for Symbol Manipulation (1961) (58)
- Algorithm 489: the algorithm SELECT—for finding the ith smallest of n elements [M1] (1975) (58)
- Linear time bounds for median computations (1972) (52)
- The Language of Machines: an Introduction to Computability and Formal Languages (1994) (51)
- On ambiguity in phrase structure languages (1962) (45)
- Algorithm 96: Ancestor (1962) (28)
- Non-deterministic algorithms (1966) (28)
- An algorithm for coding efficient arithmetic operations (1961) (26)
- An interpretation oriented theorem prover over integers (1970) (25)
- The Bose-Nelson Sorting Problem††The preparation of this report has been supported in part by the National Science Foundation, and in part by the Office of Naval Research. (1970) (17)
- Addition Machines (1990) (17)
- The Algorithm SELECT - for Finding the ith Smallest of n Elements [M1] (Algorithm 489) (1975) (16)
- An aspect‐independent sonar target recognition method (1981) (15)
- The syntax of programming languages (1964) (13)
- A Note on Mathematical Induction on Phrase Structure Grammars (1961) (11)
- Algorithm 113: Treesort (1962) (9)
- Models of Cetacean Signal Processing (1980) (8)
- Two papers on the selection problem: Time Bounds for Selection [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L. Rivest, and Robert E. Tarjan] and Expected Time Bounds for Selection [by Robert W. Floyd and Ronald L. Rivest]. (1973) (7)
- An Interpretation-Oriented Theorem Prover over Integers (1972) (6)
- Propagation of dolphin echolocation signals (1976) (5)
- Errata: Notes on Avoiding "go to" Statements (1972) (4)
- An algorithm defining ALGOL assignment statements (1960) (4)
- A Linear Time Two Tape Merge (1973) (3)
- Biocybernetic factors in Human Perception and Memory (1977) (3)
- A machine-oriented recognition algorithm for context-free languages (1969) (3)
- Digital equalization of underwater transducers for the projection of broadband acoustic signals (1978) (3)
- TheSyntax ofProgramming Languages-A Survey (1964) (2)
- Further Development and New Concepts for Bionic Sonar. Volume 3. New Concepts and Experiments. (1978) (2)
- Biosonar Signal Processing Applications (1988) (2)
- The exact time required to perform generalized addition (1975) (1)
- Time separation pitch discrimination of signals consisting of three pulses with various periodicities (1982) (1)
- Microprocessors in collection and analysis of Tursiops truncatus echolocation data (1980) (1)
- A Note on Rational Approximation (1960) (1)
- Use of time separation pitch in equalizing the interpulse intervals of pulse triplets by method of adjustment (1983) (1)
- Note of amplification (1960) (1)
- The Syntax of Programmnig Languages-A Survey (2006) (0)
- Frequency dependence of bottom reverberation (1977) (0)
- The SyntaxofProgrammnig Languages-A Survey (1964) (0)
- Elementary Problems: E3397-E3402 (1990) (0)
- ALGOL W (revised) (1969) (0)
- Further Development and New Concepts for Bionic Sonar. Volume 1. Software Processors. (1978) (0)
- INFORMATION SYSTEM THEORY PROJECT. VOLUME II. COLLECTED RESEARCH PAPERS (1965) (0)
- Papers on the Selection Problem Time Bounds for Selection Expected Time Bounds for Selection Time Bounds for Selection By (1998) (0)
- Directional Guidance Method for the Blind Using Time Separation Pitch Discrimination of Triple Pulse Signals (1994) (0)
- Further Development and New Concepts for Bionic Sonar. Volume 2. Spectrogram Correlation. (1978) (0)
- Summary of the Issue (1964) (0)
This paper list is powered by the following services:
Other Resources About Robert W. Floyd
What Schools Are Affiliated With Robert W. Floyd?
Robert W. Floyd is affiliated with the following schools: