Co-authors

1. J. Strother Moore (12 paper(s) during 1973-2002)
2. Warren A. Hunt Jr. (2 paper(s) during 2005-2006)
3. Yuan Yu (2 paper(s) during 1992-1996)
4. W. W. Bledsoe (2 paper(s) during 1971-1972)
5. William H. Henneman (2 paper(s) during 1971-1972)
6. Serita M. Nelesen (1 paper(s) during 2005)
7. Victor W. Marek (1 paper(s) during 2005)
8. Wilfred J. Legato (1 paper(s) during 2005)
9. C. A. R. Hoare (1 paper(s) during 2002)
10. David Gries (1 paper(s) during 2002)
11. H. Richards (1 paper(s) during 2002)
12. J. Moore (1 paper(s) during 2002)
13. Jayadev Misra (1 paper(s) during 2002)
14. W. H. J. Feijen (1 paper(s) during 2002)
15. Larry M. Hines (1 paper(s) during 1996)
16. Michael Ballantyne (1 paper(s) during 1996)
17. Anne Olivia Boyer (1 paper(s) during 1991)
18. Hassan Aït-Kaci (1 paper(s) during 1989)
19. Patrick Lincoln (1 paper(s) during 1989)
20. Roger Nasr (1 paper(s) during 1989)
21. Ewing L. Lusk (1 paper(s) during 1986)
22. Larry Wos (1 paper(s) during 1986)
23. Mark E. Stickel (1 paper(s) during 1986)
24. Ross A. Overbeek (1 paper(s) during 1986)
25. William McCune (1 paper(s) during 1986)
26. Robert E. Shostak (1 paper(s) during 1976)