Concepedia

J. P. Roth

JP

15

Publications

2K

Citations

14

H-Index

1958

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

Poughkeepsie Public Library District

J. P. Roth is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsSystems EngineeringAutomated ReasoningVerificationSoftware TestingFormal VerificationReliability Engineering

Publications per year

1958–1982

15

Publications

15

Diagnosis of Automata Failures: A Calculus and a Method

J. P. Roth · IBM Journal of Research and Development · 1966 · 890 citations

Engineering, Verification, Computer-aided Verification +19

Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits

J. P. Roth, W. G. Bouricius, Peter R. Schneider · IEEE Transactions on Electronic Computers · 1967 · 374 citations

Engineering, Distinguish Between Failures, Verification +22

Minimization Over Boolean Graphs

J. P. Roth, Richard M. Karp · IBM Journal of Research and Development · 1962 · 264 citations

Circuit Complexity, Mathematical Programming, Engineering +16

A Heuristic Algorithm for the Testing of Asynchronous Circuits

G. R. Putzolu, J. P. Roth · IEEE Transactions on Computers · 1971 · 111 citations

Reliability Engineering, Engineering, Computational Testing +15

Algebraic topological methods for the synthesis of switching systems. I

J. P. Roth · Transactions of the American Mathematical Society · 1958 · 85 citations

Engineering, Computational Model Theory, Topological Property +17

Rows per page

1–5 of 15