Algebraic Topological Methods for the Synthesis of Switching Systems - Part III: Minimization of Nonsingular Boolean Trees. - J. Paul Roth; Eric G. Wagner (IBM J. Res. Dev., 1959)

Minimization over Boolean Trees. - J. Paul Roth (IBM J. Res. Dev., 1960)

Techniques for the diagnosis of switching circuit failures - J. M. Galey; R. E. Norby; J. Paul Roth (SWCT, 1961)

A computer program for the synthesis of combinational switching circuits - Richard M. Karp; F. E. McFarlin; J. Paul Roth; J. R. Wilts (SWCT, 1961)

Minimization Over Boolean Graphs. - J. Paul Roth; Richard M. Karp (IBM J. Res. Dev., 1962)

Systematic design of automata. - J. Paul Roth (AFIPS Fall Joint Computing Conference (1), 1965)

Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits. - J. Paul Roth; Willard G. Bouricius; Peter R. Schneider (IEEE Trans. Electron. Comput., 1967)

R70-12 Diagnosis of Single-Gate Failures in Combinational Circuits. - J. Paul Roth (IEEE Trans. Computers, 1970)

Algorithms for Detection of Faults in Logic Circuits. - Willard G. Bouricius; Edward P. Hsieh; Gianfranco R. Putzolu; J. Paul Roth; Peter R. Schneider; Chung-Jen Tan (IEEE Trans. Computers, 1971)

A Heuristic Algorithm for the Testing of Asynchronous Circuits. - Gianfranco R. Putzolu; J. Paul Roth (IEEE Trans. Computers, 1971)

Design of diagnosible automata. - J. Paul Roth (ACM Annual Conference (1), 1972)

Hardware Verification. - J. Paul Roth (IEEE Trans. Computers, 1977)

Programmed Logic Array Optimization. - J. Paul Roth (IEEE Trans. Computers, 1978)

Test Generation for FET Switching Circuits. - J. Paul Roth; Vojin G. Oklobdzija; John F. Beetem (ITC, 1984)

VLSI Verification and Correction. - J. Paul Roth (VLSI Engineering, 1984)

Statistical AC Test Coverage. - David M. Wu; Charles E. Radke; J. Paul Roth (ITC, 1986)

Minimization by the D Algorithm. - J. Paul Roth (IEEE Trans. Computers, 1986)