- Shauchi Ong
- Daniel E. Atkins
- 1983
- IEEE TC
- Philip Heidelberger
- Kishor S. Trivedi
- 1983
- IEEE TC
- Zeev Barzilai
- Don Coppersmith
- et al.
- 1983
- IEEE TC
- Michael J. Flynn
- Lee W. Hoevel
- 1983
- IEEE TC
- Inder S. Gopal
- Don Coppersmith
- et al.
- 1983
- IEEE TC
- Edmund M. Clarke
- Christos N. Nikolaou
- 1982
- IEEE TC