William H. Joyner

Publications

1.3K

Citations

H-Index

1976

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Semiconductor Research Corporation

Poughkeepsie Public Library District

Intel (United States)

William H. Joyner is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer EngineeringComputer ScienceSoftware DesignAutomated ReasoningVerificationComputer ArchitectureDesign

Publications per year

1976–2007

Publications

2001 technology roadmap for semiconductors

AJ Allan, D. Edenfeld, William H. Joyner et al. · Computer · 2002 · 257 citations

Engineering, Electronic Design Automation, Industrial Engineering +19

Logic Synthesis Through Local Transformations

John A. Darringer, William H. Joyner, C.L. Berman et al. · IBM Journal of Research and Development · 1981 · 186 citations

Engineering, Electronic Design Automation, Electronic Design +16

Resolution Strategies as Decision Procedures

William H. Joyner · Journal of the ACM · 1976 · 152 citations

Negotiation, Engineering, Verification +26

LSS: A system for production logic synthesis

John A. Darringer, Daniël Brand, John V. Gerbi et al. · IBM Journal of Research and Development · 2000 · 140 citations

Production Logic Synthesis, Engineering, Electronic Design Automation +20

LSS: A system for production logic synthesis

John A. Darringer, Daniël Brand, John V. Gerbi et al. · IBM Journal of Research and Development · 1984 · 135 citations

Production Logic Synthesis, Engineering, Electronic Design Automation +20

Rows per page

1–5 of 19