Statistics
Publications
8
Citations
171
H-Index
8
Active since
1983
Affiliations
A.S. Wojcik is an author at Michigan State University specializing in computer science, design automation, and automated reasoning.
Publications per year
1983–2002
8
8
Formal Design Verification of Digital Systems
A.S. Wojcik · Design Automation Conference · 1983 · 33 citations
Identifying high-level components in combinational circuits
Travis E. Doom, Jennifer L. White, A.S. Wojcik et al. · 2002 · 14 citations · Full text
1–5 of 8