2007 |
17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |