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

Total stuct-at-fault testing by circuit transformation., and . DAC, page 713-716. ACM/IEEE, (1983)Covering Graphs by Simple Circuits., , , and . SIAM J. Comput., 10 (4): 746-750 (1981)Linear Programming is Log-Space Hard for P., , and . Inf. Process. Lett., 8 (2): 96-97 (1979)The Processor Identity Problem., and . Inf. Process. Lett., 36 (2): 91-94 (1990)Social Processes and Proofs of Theorems and Programs, , and . Communications of the ACM, 22 (5): 271-280 (1979)Defining Software by Continuous, Smooth Functions., and . IEEE Trans. Software Eng., 17 (4): 383-384 (1991)On the Complexity of Hilbert's 17th Problem., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 237-249. Springer, (2004)Simulating Special but Natural Quantum Circuits, , and . CoRR, (2012)Online Interval Scheduling., and . SODA, page 302-311. ACM/SIAM, (1994)Secure Databases: Protection Against User Influence., , and . ACM Trans. Database Syst., 4 (1): 97-106 (1979)