Anthony S. Wojcik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1983–2001
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ICCD | Efficient Algorithms for Subcircuit Enumeration and Classification for the Module Identification Problem. | Jennifer L. White, Moon-Jung Chung, Anthony S. Wojcik, Travis E. Doom |
| 1987 | DAC | A Rule-Based Circuit Representation for Automated CMOS Design and Verification. | Ching-Farn Eric Wu, Anthony S. Wojcik, Lionel M. Ni |
| 1986 | ITC | An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. | Nagendra C. E. Srinivas, Anthony S. Wojcik, Ytzhak H. Levendel |
| 1984 | DAC | A formal design verification system based on an automated reasoning system. | Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas |
| 1983 | DAC | Formal design verification of digital systems. | Anthony S. Wojcik |