Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs, , , and . Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, page 220--233. Las Vegas, Nevada, ACM SIGACT-SIGPLAN, (January 1980)Delta Transformations to Simplify VLSI Processor Arrays for Serial Dynamic Programming., and . ICPP, page 917-920. IEEE Computer Society Press, (1986)Lower Bounds for VLSI, and . STOC, page 300-307. ACM, (1981)The Consistency of "P = NP" and Related Problems with Fragments of Number Theory., and . STOC, page 45-57. ACM, (1980)Some Connections between Mathematical Logic and Complexity Theory, and . STOC, page 153-159. ACM, (1979)Evaluation of Polynomials with Super-Preconditioning, and . STOC, page 174-180. ACM, (1976)Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms, and . STOC, page 1-5. ACM, (1975)Clocked Adversaries for Hashing., and . Algorithmica, 9 (3): 239-252 (1993)DNA²DNA Computations: A Potential "Killer App"?, and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 56-64. Springer, (1997)Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis., , and . ACM SIGSOFT Softw. Eng. Notes, 3 (2): 16-17 (1978)