On the Cost of Base N Adders. - Anthony S. Wojcik; Gernot Metze (IEEE Trans. Computers, 1971)

Relationships Between Post and Boolean Algebras With Application to Multi-Valued Switching Theory - Anthony S. Wojcik (1971)

An Analysis of Some Relationships Between Post and Boolean Algebras. - Anthony S. Wojcik; Gernot Metze (J. ACM, 1974)

Parallel and serial decompositions of multi-valued sequential machines. - T. C. Yang; Anthony S. Wojcik (MVL, 1978)

On the Design of Three-Valued Asynchronous Modules. - Anthony S. Wojcik; Kwang-Ya Fang (IEEE Trans. Computers, 1980)

On the Design of 4-Valued Digital Systems. - Waldo C. Kabat; Anthony S. Wojcik (IEEE Trans. Computers, 1981)

Formal design verification of digital systems. - Anthony S. Wojcik (DAC, 1983)

Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques. - Witold S. Wojciechowski; Anthony S. Wojcik (IEEE Trans. Computers, 1983)

A formal design verification system based on an automated reasoning system. - Anthony S. Wojcik; Joseph Kljaich Jr.; Nagendra C. E. Srinivas (DAC, 1984)

Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. - Waldo C. Kabat; Anthony S. Wojcik (IEEE Trans. Computers, 1985)

An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. - Nagendra C. E. Srinivas; Anthony S. Wojcik; Ytzhak H. Levendel (ITC, 1986)

A Rule-Based Circuit Representation for Automated CMOS Design and Verification. - Ching-Farn Eric Wu; Anthony S. Wojcik; Lionel M. Ni (DAC, 1987)

Modular Decomposition of Combinational Multiple-Valued Circuits. - Kwang-Ya Fang; Anthony S. Wojcik (IEEE Trans. Computers, 1988)

An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. - Gregory H. Chisholm; Brian T. Smith; Anthony S. Wojcik (J. Autom. Reason., 1989)

A General, Constructive Approach to Fault-Tolerant Design Using Redundancy. - Ahmed E. Barbour; Anthony S. Wojcik (IEEE Trans. Computers, 1989)

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. - Joseph Kljaich Jr.; Brian T. Smith; Anthony S. Wojcik (IEEE Trans. Computers, 1989)

Reasoning About Digital Systems. - Anthony S. Wojcik (ISMVL, 1991)

Identifying High-Level Components in Combinational Circuits. - Travis E. Doom; Jennifer L. White; Anthony S. Wojcik; Gregory H. Chisholm (Great Lakes Symposium on VLSI, 1998)

Design Recovery for Incomplete Combinational Logic. - Travis E. Doom; Anthony S. Wojcik; Moon-Jung Chung (Great Lakes Symposium on VLSI, 1999)

An Application of Formal Analysis to Software in a Fault-Tolerant Environment. - Gregory H. Chisholm; Anthony S. Wojcik (IEEE Trans. Computers, 1999)

Candidate subcircuits for functional module identification in logic circuits. - Jennifer L. White; Anthony S. Wojcik; Moon-Jung Chung; Travis E. Doom (ACM Great Lakes Symposium on VLSI, 2000)

Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem. - Jennifer L. White; Moon-Jung Chung; Anthony S. Wojcik; Travis E. Doom (ICCD, 2001)