Anthony S. Wojcik

According to our database, Anthony S. Wojcik authored at least 22 papers between 1971 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem.

Jennifer L. White, Moon-Jung Chung, Anthony S. Wojcik, Travis E. Doom

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

2000

Candidate subcircuits for functional module identification in logic circuits.

Jennifer L. White, Anthony S. Wojcik, Moon-Jung Chung, Travis E. Doom

Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, 2000

1999

An Application of Formal Analysis to Software in a Fault-Tolerant Environment.

Gregory H. Chisholm, Anthony S. Wojcik

IEEE Trans. Computers, 1999

Design Recovery for Incomplete Combinational Logic.

Travis E. Doom, Anthony S. Wojcik, Moon-Jung Chung

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998

Identifying High-Level Components in Combinational Circuits.

Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

1991

Reasoning About Digital Systems.

Anthony S. Wojcik

Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991

1989

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.

Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik

IEEE Trans. Computers, 1989

A General, Constructive Approach to Fault-Tolerant Design Using Redundancy.

Ahmed E. Barbour, Anthony S. Wojcik

IEEE Trans. Computers, 1989

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

1988

Modular Decomposition of Combinational Multiple-Valued Circuits.

Kwang-Ya Fang, Anthony S. Wojcik

IEEE Trans. Computers, 1988

1987

A Rule-Based Circuit Representation for Automated CMOS Design and Verification.

Ching-Farn Eric Wu, Anthony S. Wojcik, Lionel M. Ni

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986

An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation.

Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel

Proceedings of the Proceedings International Test Conference 1986, 1986

1985

Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques.

Waldo C. Kabat, Anthony S. Wojcik

IEEE Trans. Computers, 1985

1984

A formal design verification system based on an automated reasoning system.

Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas

Proceedings of the 21st Design Automation Conference, 1984

1983

Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques.

Witold S. Wojciechowski, Anthony S. Wojcik

IEEE Trans. Computers, 1983

Formal design verification of digital systems.

Anthony S. Wojcik

Proceedings of the 20th Design Automation Conference, 1983

1981

On the Design of 4-Valued Digital Systems.

Waldo C. Kabat, Anthony S. Wojcik

IEEE Trans. Computers, 1981

1980

On the Design of Three-Valued Asynchronous Modules.

Anthony S. Wojcik, Kwang-Ya Fang

IEEE Trans. Computers, 1980

1978

Parallel and serial decompositions of multi-valued sequential machines.

T. C. Yang, Anthony S. Wojcik

Proceedings of the eighth international symposium on Multiple-valued logic, 1978

1974

An Analysis of Some Relationships Between Post and Boolean Algebras.

Anthony S. Wojcik, Gernot Metze

J. ACM, 1974

1971

Relationships Between Post and Boolean Algebras With Application to Multi-Valued Switching Theory

Anthony S. Wojcik

PhD thesis, 1971

On the Cost of Base N Adders.

Anthony S. Wojcik, Gernot Metze

IEEE Trans. Computers, 1971