Automatic Theorem-Proving and the Decision Problem - William H. Joyner Jr. (SWAT, 1973)

Automated proofs of microprogram correctness. - William H. Joyner Jr.; William C. Carter; George B. Leeman Jr. (MICRO, 1976)

Resolution Strategies as Decision Procedures. - William H. Joyner Jr. (J. ACM, 1976)

A Problem-Reduction Approach to Proving Simulation Between Programs. - Alexander Birman; William H. Joyner Jr. (IEEE Trans. Software Eng., 1976)

Microprogram verification considered necessary. - William C. Carter; William H. Joyner Jr.; Daniel Brand (AFIPS National Computer Conference, 1978)

Using Machine Descriptions in Program Verification. - William H. Joyner Jr.; William C. Carter; Daniel Brand (Jerusalem Conference on Information Technology, 1978)

Verification of Protocols Using Symbolic Execution. - Daniel Brand; William H. Joyner Jr. (Comput. Networks, 1978)

Symbolic simulation for correct machine design. - William C. Carter; William H. Joyner Jr.; Daniel Brand (DAC, 1979)

A new look at logic synthesis. - John A. Darringer; William H. Joyner Jr. (DAC, 1980)

Logic Synthesis Through Local Transformations. - John A. Darringer; William H. Joyner Jr.; C. Leonard Berman; Louise Trevillyan (IBM J. Res. Dev., 1981)

Verification of HDLC. - Daniel Brand; William H. Joyner Jr. (IEEE Trans. Commun., 1982)

Production logic synthesis. - John A. Darringer; Daniel Brand; William H. Joyner Jr.; Louise Trevillyan; John V. Gerbi (ACM Conference on Computer Science, 1985)

Technology adaption in logic synthesis. - William H. Joyner Jr.; Louise Trevillyan; Daniel Brand; Theresa A. Nix; Steven C. Gundersen (DAC, 1986)

Global Flow Analysis in Automatic Logic Design. - Louise Trevillyan; William H. Joyner Jr.; C. Leonard Berman (IEEE Trans. Computers, 1986)

Design and Test: The Lost World. - William H. Joyner Jr. (ICCD, 1997)

LSS: A system for production logic synthesis. - John A. Darringer; Daniel Brand; John V. Gerbi; William H. Joyner Jr.; Louise Trevillyan (IBM J. Res. Dev., 2000)

Guest Editor's Introduction: Roadmaps and Visions for Design and Test. - William H. Joyner Jr.; Andrew B. Kahng (IEEE Des. Test Comput., 2001)

2001 Technology Roadmap for Semiconductors. - Alan Allan; Don Edenfeld; William H. Joyner Jr.; Andrew B. Kahng; Mike Rodgers; Yervant Zorian (Computer, 2002)

A semiconductor industry perspective on future directions in ECE education. - Ralph K. Cavin III; William H. Joyner Jr.; Virginia C. Wiggins (IEEE Trans. Educ., 2003)

Were the good old days all that good?: EDA then and now. - Shishpal Rawat; William H. Joyner Jr.; John A. Darringer; Daniel Gajski; Pat O. Pistilli; Hugo De Man; Carl Harris; James Solomon (DAC, 2004)

Architectures for Silicon Nanoelectronics and Beyond. - R. Iris Bahar; Dan W. Hammerstrom; Justin E. Harlow III; William H. Joyner Jr.; Clifford Lau; Diana Marculescu; Alex Orailoglu; Massoud Pedram (Computer, 2007)

Guest Editors' Introduction: System IC Design Challenges beyond 32 nm. - William H. Joyner Jr.; David C. Yeh (IEEE Des. Test Comput., 2008)