Co-authors

1. Willem Visser (7 paper(s) during 2000-2005)
2. Perry Alexander (6 paper(s) during 1995-1999)
3. Nigel Tracey (4 paper(s) during 2000-2001)
4. J. David Morgenthaler (3 paper(s) during 2007-2008)
5. Klaus Havelund (3 paper(s) during 1997-2001)
6. Michael R. Lowry (3 paper(s) during 1997-2001)
7. Nathaniel Ayewah (2 paper(s) during 2007)
8. William Pugh (2 paper(s) during 2007)
9. Yuqian Zhou (2 paper(s) during 2007)
10. Aaron Larson (2 paper(s) during 2000-2005)
11. Eric Engstrom (2 paper(s) during 2000-2005)
12. Nicholas Weininger (2 paper(s) during 2000-2005)
13. Seungjoon Park (2 paper(s) during 2000-2005)
14. Philip A. Wilsey (2 paper(s) during 1997-1998)
15. Gregg Rothermel (1 paper(s) during 2008)
16. Joseph R. Ruthruff (1 paper(s) during 2008)
17. Sebastian G. Elbaum (1 paper(s) during 2008)
18. John C. Grundy (1 paper(s) during 2006)
19. Corina S. Pasareanu (1 paper(s) during 2005)
20. Peter C. Mehlitz (1 paper(s) during 2005)
21. Cleidson R. B. de Souza (1 paper(s) during 2003)
22. David F. Redmiles (1 paper(s) during 2003)
23. Gloria Mark (1 paper(s) during 2003)
24. Maarten Sierhuis (1 paper(s) during 2003)
25. Guillaume P. Brat (1 paper(s) during 2001)
26. Jeffrey Van Baalen (1 paper(s) during 2001)
27. Johann Schumann (1 paper(s) during 2001)
28. Jon Whittle (1 paper(s) during 2001)
29. Peter Robinson (1 paper(s) during 2001)
30. Phil Oh (1 paper(s) during 2001)
31. Thomas Pressburger (1 paper(s) during 2001)
32. Dale E. Martin (1 paper(s) during 1998)
33. Peter Frey (1 paper(s) during 1998)
34. Ramanan Radhakrishnan (1 paper(s) during 1998)
35. Murali Rangarajan (1 paper(s) during 1997)
36. Phillip Baraona (1 paper(s) during 1995)