Computational Aids for Determining the Minimal Form of a Truth Function. - Ronald E. Prather (J. ACM, 1960)

On Tree Circuits. - Ronald E. Prather (IEEE Trans. Electron. Comput., 1965)

Three Variable Multiple Output Tree Circuits. - Ronald E. Prather (IEEE Trans. Electron. Comput., 1966)

Minimal Solutions of Paull-Unger Problems. - Ronald E. Prather (Math. Syst. Theory, 1969)

On Categories of Infinite Automata. - Ronald E. Prather (Math. Syst. Theory, 1970)

An Algebraic Proof of the Paull-Unger Theorem. - Ronald E. Prather (IEEE Trans. Computers, 1971)

Epimorphisms in Certain Categories of Transducers - Ronald E. Prather (Inf. Control., 1972)

A Convenient Cryptomorphic Version of Recursive Function Theory - Ronald E. Prather (Inf. Control., 1975)

Another look at the discrete structures course. - Ronald E. Prather (SIGCSE-SIGCUE, 1976)

Structured Turing Machines - Ronald E. Prather (Inf. Control., 1977)

A lecture/laboratory approach to the first course in programming. - Ronald E. Prather; Judith D. Schlesinger (SIGCSE/CSA, 1978)

Realization of Boolean Expressions by Atomic Digraphs. - Ronald E. Prather; Harold T. Casstevens II (IEEE Trans. Computers, 1978)

Decomposition of Flowchart Schemata. - Ronald E. Prather; Shirla G. Giulieri (Comput. J., 1981)

Theory of program testing - An overview. - Ronald E. Prather (Bell Syst. Tech. J., 1983)

An Axiomatic Theory of Software Complexity Measure. - Ronald E. Prather (Comput. J., 1984)

On hierarchical software metrics. - Ronald E. Prather (Softw. Eng. J., 1987)

The Path Prefix Software Testing Strategy. - Ronald E. Prather; J. Paul Myers Jr. (IEEE Trans. Software Eng., 1987)

Comparison and Extension of Theories of Zipf and Halstead. - Ronald E. Prather (Comput. J., 1988)

SML: A structured musical language. - Ronald E. Prather; R. Stephen Elliott (Comput. Humanit., 1988)

The relation of Lorenzen calculus to formal language theory. - Ronald E. Prather (SIGSAM Bull., 1990)

Proposal for a Categorical Programming Language. - Ronald E. Prather (ACM SIGPLAN Notices, 1990)

The Type Structure of CAT. - J. Paul Myers Jr.; Ronald E. Prather (Constructivity in Computer Science, 1991)

Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). - Ronald E. Prather (Softw. Test. Verification Reliab., 1991)

Computer science in an undergraduate liberal arts and sciences setting. - Ronald E. Prather (ACM SIGCSE Bull., 1992)

The semantics of CAT. - Ronald E. Prather (ACM SIGPLAN Notices, 1992)

Hierarchical metrics and the prime generation problem. - Ronald E. Prather (Softw. Eng. J., 1993)

Axiomatic foundations for structural software metrics. - Ronald E. Prather (IEEE METRICS, 1994)

Design and Analysis of Hierarchical Software Metrics. - Ronald E. Prather (ACM Comput. Surv., 1995)

Harmonic Analysis from the Computer Representation of a Musical Score. - Ronald E. Prather (Commun. ACM, 1996)

Convexity and independence in software metric theory. - Ronald E. Prather (Softw. Eng. J., 1996)

The Subprogram Problem for Software Metric Design. - Ronald E. Prather (Inf. Process. Lett., 1996)

A Modular Mathematical Programming Language. - Ronald E. Prather (ACM SIGPLAN Notices, 1998)

Min-Plus Matrix Multiplication: 10834. - Sung Soo Kim; Richard Johnsonbaugh; Ronald E. Prather; Donald E. Knuth (Am. Math. Mon., 2002)