William H. Joyner Jr.

	2008
20		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
19		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
18		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
17		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
16		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
15		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
14		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
13		William H. Joyner Jr.: Design and Test: The Lost World. ICCD 1997: 328
	1986
12		William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen: Technology adaption in logic synthesis. DAC 1986: 94-100
11		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
10		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
9		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
8		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)
	1980
7		John A. Darringer, William H. Joyner Jr.: A new look at logic synthesis. DAC 1980: 543-549
	1979
6		William C. Carter, William H. Joyner Jr., Daniel Brand: Symbolic simulation for correct machine design. DAC 1979: 280-286
	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 SWAT (FOCS) 1973: 159-166

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page