William H. Joyner Jr.

	2008
18		William H. Joyner Jr., David C. Yeh: Guest Editors' Introduction: System IC Design Challenges beyond 32 nm. IEEE Design & Test of Computers 25(4): 294-295 (2008)
	2007
17		R. Iris Bahar, Dan W. Hammerstrom, Justin E. Harlow III, William H. Joyner Jr., Clifford Lau, Diana Marculescu, Alex Orailoglu, Massoud Pedram: Architectures for Silicon Nanoelectronics and Beyond. IEEE Computer 40(1): 25-33 (2007)
	2005
16		William H. Joyner Jr., Grant Martin, Andrew B. Kahng: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005 ACM 2005
	2004
15		Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon: Were the good old days all that good?: EDA then and now. DAC 2004: 543
	2002
14		Alan Allan, Don Edenfeld, William H. Joyner Jr., Andrew B. Kahng, Mike Rodgers, Yervant Zorian: 2001 Technology Roadmap for Semiconductors. IEEE Computer 35(1): 42-53 (2002)
	2001
13		William H. Joyner Jr., Andrew B. Kahng: Guest Editor's Introduction: Roadmaps and Visions for Design and Test. IEEE Design & Test of Computers 18(6): 4-5 (2001)
	2000
12		John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan: LSS: A system for production logic synthesis. IBM Journal of Research and Development 44(1): 157-166 (2000)
	1997
11		William H. Joyner Jr.: Design and Test: The Lost World. ICCD 1997: 328
	1986
10		William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen: Technology adaption in logic synthesis. DAC 1986: 94-100
9		Louise Trevillyan, William H. Joyner Jr., C. Leonard Berman: Global Flow Analysis in Automatic Logic Design. IEEE Trans. Computers 35(1): 77-81 (1986)
	1985
8		John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi: Production logic synthesis. ACM Conference on Computer Science 1985: 13-16
	1984
7		John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan: LSS: A System for Production Logic Synthesis. IBM Journal of Research and Development 28(5): 537-545 (1984)
	1981
6		John A. Darringer, William H. Joyner Jr., C. Leonard Berman, Louise Trevillyan: Logic Synthesis Through Local Transformations. IBM Journal of Research and Development 25(4): 272-280 (1981)
	1978
5		William H. Joyner Jr., William C. Carter, Daniel Brand: Using Machine Descriptions in Program Verification. Jerusalem Conference on Information Technology 1978: 515-522
4		Daniel Brand, William H. Joyner Jr.: Verification of Protocols Using Symbolic Execution. Computer Networks 2: 351-360 (1978)
	1976
3		Alexander Birman, William H. Joyner Jr.: A Problem-Reduction Approach to Proving Simulation Between Programs. IEEE Trans. Software Eng. 2(2): 87-96 (1976)
2		William H. Joyner Jr.: Resolution Strategies as Decision Procedures. J. ACM 23(3): 398-417 (1976)
	1973
1		William H. Joyner Jr.: Automatic Theorem-Proving and the Decision Problem FOCS 1973: 159-166

Coauthor Index

1	Alan Allan	[14]
2	R. Iris Bahar	[17]
3	C. Leonard Berman	[6] [9]
4	Alexander Birman	[3]
5	Daniel Brand	[4] [5] [7] [8] [10] [12]
6	William C. Carter	[5]
7	John A. Darringer	[6] [7] [8] [12] [15]
8	Don Edenfeld	[14]
9	Daniel Gajski (Daniel D. Gajski)	[15]
10	John V. Gerbi	[7] [8] [12]
11	Steven C. Gundersen	[10]
12	Dan W. Hammerstrom	[17]
13	Justin E. Harlow III	[17]
14	Carl Harris	[15]
15	Andrew B. Kahng	[13] [14] [16]
16	Clifford Lau	[17]
17	Hugo De Man	[15]
18	Diana Marculescu	[17]
19	Grant Martin	[16]
20	Theresa A. Nix	[10]
21	Alex Orailoglu	[17]
22	Massoud Pedram	[17]
23	Pat O. Pistilli	[15]
24	Shishpal Rawat	[15]
25	Mike Rodgers	[14]
26	James Solomon	[15]
27	Louise Trevillyan	[6] [7] [8] [9] [10] [12]
28	David C. Yeh	[18]
29	Yervant Zorian	[14]

Colors in the list of coauthors