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

Global Value Numbers and Redundant Computations., , and . POPL, page 12-27. ACM Press, (1988)HSS--A High-Speed Simulator., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (4): 601-617 (1987)Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits., , , and . ITC, page 722-731. IEEE Computer Society, (1985)Transition Fault Simulation by Parallel Pattern Single Fault Propagation., , , and . ITC, page 542-551. IEEE Computer Society, (1986)Monoids for Rapid Data Flow Analysis.. SIAM J. Comput., 9 (1): 159-196 (1980)Efficiently Computing Static Single Assignment Form and the Control Dependence Graph., , , , and . ACM Trans. Program. Lang. Syst., 13 (4): 451-490 (1991)preliminary version: POPL 1989: 25-35.Stickiness and liveness.. ACM SIGPLAN Notices, 14 (2): 44-45 (1979)Syntactic Complexity. Inf. Control., 24 (4): 305-335 (April 1974)Tree-Manipulating Systems and Church-Rosser Theorems. STOC, page 117-127. ACM, (1970)Decomposition of Heterogeneous Classification Problems., , , , , and . IDA, volume 1280 of Lecture Notes in Computer Science, page 17-28. Springer, (1997)