William H. Joyner Jr.

According to our database1, William H. Joyner Jr. authored at least 22 papers between 1973 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Guest Editors' Introduction: System IC Design Challenges beyond 32 nm.
IEEE Des. Test Comput., 2008

2007
Architectures for Silicon Nanoelectronics and Beyond.
Computer, 2007

2004
Were the good old days all that good?: EDA then and now.
Proceedings of the 41th Design Automation Conference, 2004

2003
A semiconductor industry perspective on future directions in ECE education.
IEEE Trans. Educ., 2003

2002
2001 Technology Roadmap for Semiconductors.
Computer, 2002

2001
Guest Editor's Introduction: Roadmaps and Visions for Design and Test.
IEEE Des. Test Comput., 2001

2000
LSS: A system for production logic synthesis.
IBM J. Res. Dev., 2000

1997
Design and Test: The Lost World.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1986
Global Flow Analysis in Automatic Logic Design.
IEEE Trans. Computers, 1986

Technology adaption in logic synthesis.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1985
Production logic synthesis.
Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1982
Verification of HDLC.
IEEE Trans. Commun., 1982

1981
Logic Synthesis Through Local Transformations.
IBM J. Res. Dev., 1981

1980
A new look at logic synthesis.
Proceedings of the 17th Design Automation Conference, 1980

1979
Symbolic simulation for correct machine design.
Proceedings of the 16th Design Automation Conference, 1979

1978
Verification of Protocols Using Symbolic Execution.
Comput. Networks, 1978

Using Machine Descriptions in Program Verification.
Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Microprogram verification considered necessary.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1976
A Problem-Reduction Approach to Proving Simulation Between Programs.
IEEE Trans. Software Eng., 1976

Resolution Strategies as Decision Procedures.
J. ACM, 1976

Automated proofs of microprogram correctness.
Proceedings of the 9th annual workshop on Microprogramming, 1976

1973
Automatic Theorem-Proving and the Decision Problem
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973


  Loading...