Co-authors

1. Shmuel Sagiv (29 paper(s) during 1994-2006)
2. Susan Horwitz (20 paper(s) during 1988-2001)
3. Reinhard Wilhelm (13 paper(s) during 1996-2007)
4. Tim Teitelbaum (13 paper(s) during 1981-2005)
5. Akash Lal (12 paper(s) during 2005-2010)
6. Gogul Balakrishnan (12 paper(s) during 2004-2010)
7. Mooly Sagiv (11 paper(s) during 2005-2010)
8. Greta Yorsh (10 paper(s) during 2003-2009)
9. Nicholas Kidd (9 paper(s) during 2005-2009)
10. Somesh Jha (9 paper(s) during 2002-2009)
11. Junghee Lim (8 paper(s) during 2005-2010)
12. Alexey Loginov (8 paper(s) during 2001-2006)
13. G. Ramalingam (8 paper(s) during 1991-2005)
14. Tal Lev-Ami (7 paper(s) during 2000-2009)
15. Denis Gopan (7 paper(s) during 2004-2007)
16. David Melski (7 paper(s) during 1997-2005)
17. Neil Immerman (5 paper(s) during 2004-2009)
18. Stefan Schwoon (5 paper(s) during 2003-2006)
19. Tayssir Touili (4 paper(s) during 2006-2009)
20. Eran Yahav (4 paper(s) during 2003-2007)
21. Michael Siff (4 paper(s) during 1996-1999)
22. David Binkley (4 paper(s) during 1988-1995)
23. Jan Prins (4 paper(s) during 1988-1989)
24. Noam Rinetzky (3 paper(s) during 2005-2007)
25. Edmund M. Clarke (3 paper(s) during 1999-2006)
26. Michael Benedikt (3 paper(s) during 1999-2005)
27. Suan Hsi Yong (3 paper(s) during 1999-2005)
28. Alan J. Demers (3 paper(s) during 1981-1987)
29. Aditya V. Thakur (2 paper(s) during 2010)
30. Sagar Chaki (2 paper(s) during 2006-2009)
31. Siddharth Srivastava (2 paper(s) during 2005-2009)
32. Hao Wang (2 paper(s) during 2006)
33. Jörg Bauer (2 paper(s) during 2005-2006)
34. Stuart G. Stubblebine (2 paper(s) during 2003-2006)
35. Bertrand Jeannet (2 paper(s) during 2004-2005)
36. Nurit Dor (2 paper(s) during 2004-2005)
37. Patrice Godefroid (2 paper(s) during 2001-2005)
38. Radu Gruian (2 paper(s) during 2005)
39. Alexander Moshe Rabinovich (2 paper(s) during 2004)
40. Paul Anderson (2 paper(s) during 2003)
41. Masahiro Fujita (2 paper(s) during 1999-2002)
42. Sreeranga P. Rajan (2 paper(s) during 1999-2002)
43. Subash Shankar (2 paper(s) during 1999-2002)
44. Barton P. Miller (2 paper(s) during 2000-2001)
45. Zhichen Xu (2 paper(s) during 2000-2001)
46. Satish Chandra (2 paper(s) during 1999)
47. Thomas Ball (2 paper(s) during 1997-1999)
48. Manuvir Das (2 paper(s) during 1995-1997)
49. Genevieve Rosay (2 paper(s) during 1994-1995)
50. Wuu Yang (2 paper(s) during 1989-1992)
51. Amanda Burton (1 paper(s) during 2010)
52. Bill McCloskey (1 paper(s) during 2010)
53. Evan Driscoll (1 paper(s) during 2010)
54. Matt Elder (1 paper(s) during 2010)
55. Tycho Andersen (1 paper(s) during 2010)
56. Julian Dolby (1 paper(s) during 2009)
57. Mandana Vaziri (1 paper(s) during 2009)
58. Peter Lammich (1 paper(s) during 2009)
59. William R. Harris (1 paper(s) during 2009)
60. Christoph Weidenbach (1 paper(s) during 2007)
61. Daphna Amit (1 paper(s) during 2007)
62. Igor Bogudlov (1 paper(s) during 2007)
63. Ben Liblit (1 paper(s) during 2006)
64. Alexey Skidanov (1 paper(s) during 2005)
65. Chi-Hua Chen (1 paper(s) during 2005)
66. John Field (1 paper(s) during 2005)
67. Kousha Etessami (1 paper(s) during 2005)
68. Mihalis Yannakakis (1 paper(s) during 2005)
69. Rajeev Alur (1 paper(s) during 2005)
70. Randal E. Bryant (1 paper(s) during 2005)
71. Roman Manevich (1 paper(s) during 2005)
72. Sanjit A. Seshia (1 paper(s) during 2005)
73. Vinod Ganapathy (1 paper(s) during 2005)
74. Frank DiMaio (1 paper(s) during 2004)
75. Louis B. Rall (1 paper(s) during 2003)
76. Mark Zarins (1 paper(s) during 2003)
77. Krishna Kunchithapadam (1 paper(s) during 1999)
78. James R. Larus (1 paper(s) during 1997)
79. Todd Turnidge (1 paper(s) during 1996)
80. Pascal Van Hentenryck (1 paper(s) during 1995)
81. Gregor Snelting (1 paper(s) during 1992)
82. Paul Klint (1 paper(s) during 1992)
83. Phil Pfeiffer (1 paper(s) during 1989)
84. T. Bricker (1 paper(s) during 1989)
85. Carla Marceau (1 paper(s) during 1986)
86. Bowen Alpern (1 paper(s) during 1984)