1998 | ||
---|---|---|
19 | Ronald E. Prather: A Modular Mathematical Programming Language. SIGPLAN Notices 33(3): 38-56 (1998) | |
1996 | ||
18 | Ronald E. Prather: Harmonic Analysis from the Computer Representation of a Musical Score. Commun. ACM 39(12es): 239-255 (1996) | |
17 | EE | Ronald E. Prather: The Subprogram Problem for Software Metric Design. Inf. Process. Lett. 60(3): 143-149 (1996) |
1995 | ||
16 | Ronald E. Prather: Design and Analysis of Hierarchical Software Metrics. ACM Comput. Surv. 27(4): 497-518 (1995) | |
1992 | ||
15 | EE | Ronald E. Prather: The semantics of CAT. SIGPLAN Notices 27(6): 54-63 (1992) |
1991 | ||
14 | J. Paul Myers Jr., Ronald E. Prather: The Type Structure of CAT. Constructivity in Computer Science 1991: 218-227 | |
13 | Ronald E. Prather: Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). Softw. Test., Verif. Reliab. 1(3): 43 (1991) | |
1990 | ||
12 | Ronald E. Prather: Proposal for a Categorical Programming Language. SIGPLAN Notices 25(4): 43-50 (1990) | |
1988 | ||
11 | Ronald E. Prather: Comparison and Extension of Theories of Zipf and Halstead. Comput. J. 31(3): 248-252 (1988) | |
1987 | ||
10 | Ronald E. Prather, J. Paul Myers Jr.: The Path Prefix Software Testing Strategy. IEEE Trans. Software Eng. 13(7): 761-766 (1987) | |
1984 | ||
9 | Ronald E. Prather: An Axiomatic Theory of Software Complexity Measure. Comput. J. 27(4): 340-347 (1984) | |
1981 | ||
8 | Ronald E. Prather, Shirla G. Giulieri: Decomposition of Flowchart Schemata. Comput. J. 24(3): 258-262 (1981) | |
1978 | ||
7 | Ronald E. Prather, Harold T. Casstevens II: Realization of Boolean Expressions by Atomic Digraphs. IEEE Trans. Computers 27(8): 681-688 (1978) | |
1977 | ||
6 | Ronald E. Prather: Structured Turing Machines Information and Control 35(2): 159-171 (1977) | |
1975 | ||
5 | Ronald E. Prather: A Convenient Cryptomorphic Version of Recursive Function Theory Information and Control 27(2): 178-195 (1975) | |
1972 | ||
4 | Ronald E. Prather: Epimorphisms in Certain Categories of Transducers Information and Control 21(4): 301-305 (1972) | |
1970 | ||
3 | Ronald E. Prather: On Categories of Infinite Automata. Mathematical Systems Theory 4(4): 295-305 (1970) | |
1969 | ||
2 | Ronald E. Prather: Minimal Solutions of Paull-Unger Problems. Mathematical Systems Theory 3(1): 76-85 (1969) | |
1960 | ||
1 | EE | Ronald E. Prather: Computational Aids for Determining the Minimal Form of a Truth Function. J. ACM 7(4): 299-310 (1960) |
1 | Harold T. Casstevens II | [7] |
2 | Shirla G. Giulieri | [8] |
3 | J. Paul Myers Jr. | [10] [14] |