A Computer-Oriented Factoring Algorithm for NOR Logic Design. - Donald L. Dietmeyer; Peter R. Schneider (IEEE Trans. Electron. Comput., 1965)

Identification of Symmetry, Redundancy and Equivalence of Boolean Functions. - Donald L. Dietmeyer; Peter R. Schneider (IEEE Trans. Electron. Comput., 1967)

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)

Design of dynamically checked computers. - William C. Carter; Peter R. Schneider (IFIP Congress (2), 1968)

An Algorithm for Synthesis of Multiple-Output Combinational Logic. - Peter R. Schneider; Donald L. Dietmeyer (IEEE Trans. Computers, 1968)

Reliability modeling techniques for self-repairing computer systems. - Willard G. Bouricius; William C. Carter; Peter R. Schneider (ACM National Conference, 1969)

Reliability Modeling for Fault-Tolerant Computers. - Willard G. Bouricius; William C. Carter; Donald C. Jessep; Peter R. Schneider; Aspi B. Wadia (IEEE Trans. Computers, 1971)

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)

Logic Design for Dynamic and Interactive Recovery. - William C. Carter; Donald C. Jessep; Aspi B. Wadia; Peter R. Schneider; Willard G. Bouricius (IEEE Trans. Computers, 1971)