Concepedia

Raymond E. Miller

RE

Statistics

Publications

56

Citations

3.8K

H-Index

28

Active since

1959

Affiliations

University of Maryland, College Park(Current)

IBM Research - Thomas J. Watson Research Center

Georgia Institute of Technology

Goddard Space Flight Center

IBM (United States)

Raymond E. Miller is an author at University of Maryland, College Park specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringVerificationProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

1959–2015

56

Publications

56

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 978 citations

Engineering, Parallel Software, Program Analysis +9

The Organization of Computations for Uniform Recurrence Equations

Richard M. Karp, Raymond E. Miller, S. Winograd · Journal of the ACM · 1967 · 552 citations · Full text

Theory Of Computing, Computational Complexity Theory, Engineering +13

Rapid identification of repeated patterns in strings, trees and arrays

Richard M. Karp, Raymond E. Miller, Arnold L. Rosenberg · 1972 · 276 citations

Engineering, General Techniques, Pattern Discovery +18

Complexity of Computer Computations

John R. Rice, Raymond E. Miller, J. W. Thatcher · Mathematics of Computation · 1974 · 207 citations

Engineering, Abstract Complexity, Computer Computations +7

Exercise Testing for Chronotropic Assessment

Bruce L. Wilkoff, Raymond E. Miller · Cardiology Clinics · 1992 · 196 citations

Physical Activity, Kinesiology, Exercise +7

1–5 of 56