dblp.uni-trier.dewww.uni-trier.de

William H. Joyner Jr.

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
17EER. 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
15EEShishpal 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
14EEAlan 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
12EEJohn 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
10EEWilliam 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
8EEJohn 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)
2EEWilliam 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)