William H. Joyner Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1973–2004
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | DAC | Were the good old days all that good?: EDA then and now. | Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon |
| 1997 | ICCD | Design and Test: The Lost World. | William H. Joyner Jr. |
| 1986 | DAC | Technology adaption in logic synthesis. | William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen |
| 1980 | DAC | A new look at logic synthesis. | John A. Darringer, William H. Joyner Jr. |
| 1979 | DAC | Symbolic simulation for correct machine design. | William C. Carter, William H. Joyner Jr., Daniel Brand |
| 1976 | MICRO | Automated proofs of microprogram correctness. | William H. Joyner Jr., William C. Carter, George B. Leeman Jr. |
| 1973 | FOCS | Automatic Theorem-Proving and the Decision Problem | William H. Joyner Jr. |