Anthony S. Wojcik

Publication Activity (10 Years)

Years Active: 1971-2001
Publications (10 Years): 0

Publications

Jennifer L. White, Moon-Jung Chung, Anthony S. Wojcik, Travis E. Doom
Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem. ICCD (2001)
Jennifer L. White, Anthony S. Wojcik, Moon-Jung Chung, Travis E. Doom
Candidate subcircuits for functional module identification in logic circuits. ACM Great Lakes Symposium on VLSI (2000)
Gregory H. Chisholm, Anthony S. Wojcik
An Application of Formal Analysis to Software in a Fault-Tolerant Environment. IEEE Trans. Computers 48 (10) (1999)
Travis E. Doom, Anthony S. Wojcik, Moon-Jung Chung
Design Recovery for Incomplete Combinational Logic. Great Lakes Symposium on VLSI (1999)
Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm
Identifying High-Level Components in Combinational Circuits. Great Lakes Symposium on VLSI (1998)
Anthony S. Wojcik
Reasoning About Digital Systems. ISMVL (1991)
Ahmed E. Barbour, Anthony S. Wojcik
A General, Constructive Approach to Fault-Tolerant Design Using Redundancy. IEEE Trans. Computers 38 (1) (1989)
Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques. IEEE Trans. Computers 38 (3) (1989)
Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. J. Autom. Reason. 5 (4) (1989)
Kwang-Ya Fang, Anthony S. Wojcik
Modular Decomposition of Combinational Multiple-Valued Circuits. IEEE Trans. Computers 37 (10) (1988)
Ching-Farn Eric Wu, Anthony S. Wojcik, Lionel M. Ni
A Rule-Based Circuit Representation for Automated CMOS Design and Verification. DAC (1987)
Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel
An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. ITC (1986)
Waldo C. Kabat, Anthony S. Wojcik
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. IEEE Trans. Computers 34 (7) (1985)
Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas
A formal design verification system based on an automated reasoning system. DAC (1984)
Witold S. Wojciechowski, Anthony S. Wojcik
Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques. IEEE Trans. Computers 32 (9) (1983)
Anthony S. Wojcik
Formal design verification of digital systems. DAC (1983)
Waldo C. Kabat, Anthony S. Wojcik
On the Design of 4-Valued Digital Systems. IEEE Trans. Computers 30 (9) (1981)
Anthony S. Wojcik, Kwang-Ya Fang
On the Design of Three-Valued Asynchronous Modules. IEEE Trans. Computers 29 (10) (1980)
T. C. Yang, Anthony S. Wojcik
Parallel and serial decompositions of multi-valued sequential machines. MVL (1978)
Anthony S. Wojcik, Gernot Metze
An Analysis of Some Relationships Between Post and Boolean Algebras. J. ACM 21 (4) (1974)
Anthony S. Wojcik, Gernot Metze
On the Cost of Base N Adders. IEEE Trans. Computers 20 (10) (1971)