Peter R. Schneider - Concepedia

Author

Peter R. Schneider

IBM Research - Thomas J. Watson Research Center

Also Known As

P. R. Schneider, P.R. Schneider, Peter R. Schneider, Phillipp Schneider, Schneider, Peter R.

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

IBM Research - Thomas J. Watson Research Center University of Wisconsin–Madison IBM (United States)

About

Peter R. Schneider is an author at IBM Research - Thomas J. Watson Research Center specializing in computer engineering, computer science, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	1.2K
2	Computer Engineering	10	10	1.2K
3	Computer Science	10	10	1.2K
4	Medicine	1	1	57
5	Medical Laboratory Science	1	1	57

Peter R. Schneider

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
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 EngineeringDistinguish Between FailuresVerificationProgrammed AlgorithmsComputer-aided Verification	1967	374
Design of dynamically checked computers. William C. Carter, Peter R. Schneider IFIP Congress EngineeringRuntime VerificationChecked ComputersVerificationFormal Methods	1968	301
Reliability modeling techniques for self-repairing computer systems W. G. Bouricius, W. C. Carter, Peter R. Schneider Software MaintenanceEngineeringComputer ArchitectureSoftware EngineeringSystem Reliability	1969	237
Reliability Modeling for Fault-Tolerant Computers W. G. Bouricius, W.C. Carter, D.C. Jessep, IEEE Transactions on Computers ReliabilityReliability EngineeringEngineeringReliability ModellingReliability Management	1971	114
On the Necessity to Examine D-Chains in Diagnostic Test Generation—An Example [Letter to the Editor] Peter R. Schneider IBM Journal of Research and Development EngineeringParallel PathsDiagnostic TestsDiagnosisPathology	1967	57
Algorithms for Detection of Faults in Logic Circuits W. G. Bouricius, E.P. Hsieh, G. R. Putzolu, IEEE Transactions on Computers EngineeringVerificationProgrammed AlgorithmsTest Data GenerationSoftware Engineering	1971	44
Identification of Symmetry, Redundancy and Equivalence of Boolean Functions D.L. Dietmeyer, Peter R. Schneider IEEE Transactions on Electronic Computers Circuit ComplexityEngineeringBoolean FunctionComputer ArchitectureFormal Verification	1967	37
An Algorithm for Synthesis of Multiple-Output Combinational Logic Peter R. Schneider, D.L. Dietmeyer IEEE Transactions on Computers Circuit ComplexityEngineeringSystem-level DesignHardware SystemsComputational Logic	1968	30
Logic Design for Dynamic and Interactive Recovery W.C. Carter, D.C. Jessep, A.B. Wadia, IEEE Transactions on Computers EngineeringVerificationComputer ArchitectureSoftware EngineeringFault Tolerance	1971	23
PHASE II OF AN ARCHITECTURAL STUDY FOR A SELF-REPAIRING COMPUTER. John Roth, W. G. Bouricius, William C. Carter, Defense Technical Information Center (DTIC)	1967	19

Page 1