Concepedia

Wojcik

WO

6

Publications

152

Citations

6

H-Index

1980

Active since

Affiliations

Illinois Institute of Technology(Current)

Wojcik is an author at Illinois Institute of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsLogic DesignComputer ScienceSystems EngineeringComputer EngineeringAutomated ReasoningFormal VerificationDesignVerification

Publications per year

1980–2003

6

Publications

6

Flight connections and their impacts on delay propagation

Wang, Schaefer, Wojcik · 2003 · 52 citations

Time Delay System, Nas Delay Propagation, Engineering +13

Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques

Kabat, Wojcik · IEEE Transactions on Computers · 1985 · 33 citations

Engineering, Verification, Automated Synthesis +18

On the Design of Three-Valued Asynchronous Modules

Wojcik, Kwang-Ya Fang · IEEE Transactions on Computers · 1980 · 22 citations

Engineering, Computer Architecture, Hardware Architecture +19

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

Wojciechowski, Wojcik · IEEE Transactions on Computers · 1983 · 22 citations

Circuit Complexity, Applied Logic, Engineering +16

Guest Editors' Comments

Butler, Wojcik · IEEE Transactions on Computers · 1981 · 13 citations

Mathematical Programming, Applied Logic, Computational Logic +15

Rows per page

1–5 of 6