Co-authors

1. George C. Necula (12 paper(s) during 1996-2007)
2. Robert Harper (8 paper(s) during 1994-2003)
3. Padmanabhan Pillai (7 paper(s) during 2005-2009)
4. Seth Copen Goldstein (7 paper(s) during 2005-2009)
5. Jason Campbell (6 paper(s) during 2005-2009)
6. Frank Pfenning (6 paper(s) during 1988-2003)
7. Michael DeRosa (5 paper(s) during 2005-2009)
8. Christopher Colby (5 paper(s) during 1991-2003)
9. Mark Leone (4 paper(s) during 1994-1998)
10. David Tarditi (4 paper(s) during 1992-1996)
11. Uwe F. Pleban (4 paper(s) during 1986-1988)
12. Ajay Chander (3 paper(s) during 2005-2007)
13. Alvise Sartori (3 paper(s) during 1995-2007)
14. David Espinosa (3 paper(s) during 2005-2007)
15. Nayeem Islam (3 paper(s) during 2005-2007)
16. Stephanie McBader (3 paper(s) during 2002-2007)
17. Todd C. Mowry (3 paper(s) during 2005-2007)
18. Kamal Zuhairi Zamli (3 paper(s) during 2001-2003)
19. Stavros Paschalakis (3 paper(s) during 2000-2003)
20. Edoardo Biagioni (3 paper(s) during 1994-2001)
21. Perry Cheng (3 paper(s) during 1996-1998)
22. Philip J. Koopman Jr. (3 paper(s) during 1989-1992)
23. Ming-Hsien Tsai (2 paper(s) during 2008-2010)
24. Stephen Magill (2 paper(s) during 2008-2010)
25. Yih-Kuen Tsay (2 paper(s) during 2008-2010)
26. Michael P. Ashley-Rollman (2 paper(s) during 2007-2009)
27. Catriona Kennedy (2 paper(s) during 2007)
28. Chris Skelcher (2 paper(s) during 2007)
29. Edward Ferrari (2 paper(s) during 2007)
30. Georgios K. Theodoropoulos (2 paper(s) during 2007)
31. Luca Clementel (2 paper(s) during 2002-2007)
32. Andrew Bernard (2 paper(s) during 1998-2002)
33. Kenneth Cline (2 paper(s) during 1998-2000)
34. Chris Okasaki (2 paper(s) during 1994-1998)
35. Philip Wickline (2 paper(s) during 1998)
36. Christopher A. Stone (2 paper(s) during 1996)
37. J. Gregory Morrisett (2 paper(s) during 1996)
38. Daniel P. Siewiorek (2 paper(s) during 1990-1992)
39. Jean-Jacques Vandenbussche (1 paper(s) during 2008)
40. Joan Peuteman (1 paper(s) during 2008)
41. Esther Costa (1 paper(s) during 2007)
42. James Ivers (1 paper(s) during 2007)
43. James Weston (1 paper(s) during 2007)
44. Kurt C. Wallnau (1 paper(s) during 2007)
45. Michael Wisdom (1 paper(s) during 2007)
46. Noam Zeilberger (1 paper(s) during 2007)
47. Rebecca Critchley-Thorne (1 paper(s) during 2007)
48. Sagar Chaki (1 paper(s) during 2007)
49. Serban Nacu (1 paper(s) during 2007)
50. Susan Holmes (1 paper(s) during 2007)
51. Volker Sorge (1 paper(s) during 2007)
52. Bruce H. Krogh (1 paper(s) during 2006)
53. George J. Pappas (1 paper(s) during 2006)
54. Harvey Rubin (1 paper(s) during 2006)
55. Insup Lee (1 paper(s) during 2006)
56. John Hatcliff (1 paper(s) during 2006)
57. Lui Sha (1 paper(s) during 2006)
58. Rance Cleaveland (1 paper(s) during 2006)
59. Ashish Gupta (1 paper(s) during 2005)
60. Benjamin D. Rister (1 paper(s) during 2005)
61. Brian T. Kirby (1 paper(s) during 2005)
62. Burak Aksak (1 paper(s) during 2005)
63. Carlos Guestrin (1 paper(s) during 2005)
64. Casey Helfrich (1 paper(s) during 2005)
65. Chris North (1 paper(s) during 2005)
66. Haifeng Yu (1 paper(s) during 2005)
67. James F. Hoburg (1 paper(s) during 2005)
68. James Kuffner (1 paper(s) during 2005)
69. Metin Sitti (1 paper(s) during 2005)
70. Phillip B. Gibbons (1 paper(s) during 2005)
71. Preethi Srinivas Bhat (1 paper(s) during 2005)
72. Purvi Saraiya (1 paper(s) during 2005)
73. Ram Ravichandran (1 paper(s) during 2005)
74. Srinivasan Seshan (1 paper(s) during 2005)
75. Stanislav Funiak (1 paper(s) during 2005)
76. Karl Crary (1 paper(s) during 2003)
77. Miroslaw Bober (1 paper(s) during 2003)
78. Andrea Boni (1 paper(s) during 2002)
79. Fred Blau (1 paper(s) during 2000)
80. Mark Plesko (1 paper(s) during 2000)
81. Ali Zakerolhosseini (1 paper(s) during 1998)
82. Chris Stone (1 paper(s) during 1998)
83. Ed Horne (1 paper(s) during 1998)
84. Rowan Davies (1 paper(s) during 1998)
85. Bogumil Hausman (1 paper(s) during 1996)
86. Christine H. Flood (1 paper(s) during 1996)
87. Emmanuel Chailloux (1 paper(s) during 1996)
88. Jasper Kamperman (1 paper(s) during 1996)
89. Jean-Pierre Talpin (1 paper(s) during 1996)
90. John H. G. van Groningen (1 paper(s) during 1996)
91. Jon Thackray (1 paper(s) during 1996)
92. Kevin Hammond (1 paper(s) during 1996)
93. Lennart Augustsson (1 paper(s) during 1996)
94. Manuel Serrano (1 paper(s) during 1996)
95. Marc Feeley (1 paper(s) during 1996)
96. Marcel Beemster (1 paper(s) during 1996)
97. Martin Alt (1 paper(s) during 1996)
98. Melody Y. Ivory (1 paper(s) during 1996)
99. Niklas Röjemo (1 paper(s) during 1996)
100. Peter Baumann (1 paper(s) during 1996)
101. Peter Wentworth (1 paper(s) during 1996)
102. Pierre Weis (1 paper(s) during 1996)
103. Pieter H. Hartel (1 paper(s) during 1996)
104. Pum Walters (1 paper(s) during 1996)
105. Rafael Dueire Lins (1 paper(s) during 1996)
106. Richard E. Jones (1 paper(s) during 1996)
107. Sandra Loosemore (1 paper(s) during 1996)
108. Stephen Thomas (1 paper(s) during 1996)
109. Wolfgang Grieskamp (1 paper(s) during 1996)
110. Xavier Leroy (1 paper(s) during 1996)
111. Giampietro Tecchiolli (1 paper(s) during 1995)
112. Roberto Battiti (1 paper(s) during 1995)
113. Brian Milnes (1 paper(s) during 1994)
114. Anurag Acharya (1 paper(s) during 1992)
115. David S. Touretzky (1 paper(s) during 1992)
116. Gene Rollins (1 paper(s) during 1988)
117. William L. Scherlis (1 paper(s) during 1988)