| 2001 |
|---|
| 17 | | 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: 519-522 |
| 2000 |
|---|
| 16 | EE | 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: 34-38 |
| 1999 |
|---|
| 15 | EE | Travis E. Doom,
Anthony S. Wojcik,
Moon-Jung Chung:
Design Recovery for Incomplete Combinational Logic.
Great Lakes Symposium on VLSI 1999: 184-187 |
| 14 | | Gregory H. Chisholm,
Anthony S. Wojcik:
An Application of Formal Analysis to Software in a Fault-Tolerant Environment.
IEEE Trans. Computers 48(10): 1053-1064 (1999) |
| 1998 |
|---|
| 13 | EE | 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: 313-318 |
| 1991 |
|---|
| 12 | | Anthony S. Wojcik:
Reasoning About Digital Systems.
ISMVL 1991: 2-6 |
| 1989 |
|---|
| 11 | | Ahmed E. Barbour,
Anthony S. Wojcik:
A General, Constructive Approach to Fault-Tolerant Design Using Redundancy.
IEEE Trans. Computers 38(1): 15-29 (1989) |
| 10 | | Joseph Kljaich Jr.,
Brian T. Smith,
Anthony S. Wojcik:
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.
IEEE Trans. Computers 38(3): 366-376 (1989) |
| 9 | | 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. Reasoning 5(4): 533-540 (1989) |
| 1988 |
|---|
| 8 | | Kwang-Ya Fang,
Anthony S. Wojcik:
Modular Decomposition of Combinational Multiple-Valued Circuits.
IEEE Trans. Computers 37(10): 1293-1301 (1988) |
| 1987 |
|---|
| 7 | EE | Ching-Farn Eric Wu,
Anthony S. Wojcik,
Lionel M. Ni:
A Rule-Based Circuit Representation for Automated CMOS Design and Verification.
DAC 1987: 786-792 |
| 1986 |
|---|
| 6 | | Nagendra C. E. Srinivas,
Anthony S. Wojcik,
Ytzhak H. Levendel:
An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation.
ITC 1986: 732-739 |
| 1985 |
|---|
| 5 | | Waldo C. Kabat,
Anthony S. Wojcik:
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques.
IEEE Trans. Computers 34(7): 610-632 (1985) |
| 1983 |
|---|
| 4 | | Witold S. Wojciechowski,
Anthony S. Wojcik:
Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques.
IEEE Trans. Computers 32(9): 785-798 (1983) |
| 1981 |
|---|
| 3 | | Waldo C. Kabat,
Anthony S. Wojcik:
On the Design of 4-Valued Digital Systems.
IEEE Trans. Computers 30(9): 666-671 (1981) |
| 1980 |
|---|
| 2 | | Anthony S. Wojcik,
Kwang-Ya Fang:
On the Design of Three-Valued Asynchronous Modules.
IEEE Trans. Computers 29(10): 889-898 (1980) |
| 1974 |
|---|
| 1 | EE | Anthony S. Wojcik,
Gernot Metze:
An Analysis of Some Relationships Between Post and Boolean Algebras.
J. ACM 21(4): 680-696 (1974) |
