Co-authors

1. Ouri Wolfson (20 paper(s) during 1992-2009)
2. E. Allen Emerson (15 paper(s) during 1983-2001)
3. Clement T. Yu (8 paper(s) during 1994-2006)
4. Edmund M. Clarke (7 paper(s) during 1982-1998)
5. Sam Chamberlain (6 paper(s) during 1997-1999)
6. Lenore D. Zuck (5 paper(s) during 1987-2006)
7. Viktor Gyuris (5 paper(s) during 1997-2000)
8. Min Zhou (4 paper(s) during 2004-2006)
9. Bo Xu (4 paper(s) during 1999-2005)
10. Naphtali Rishe (4 paper(s) during 1996-1999)
11. Son Dao (4 paper(s) during 1995-1997)
12. V. N. Venkatakrishnan (3 paper(s) during 2008-2010)
13. Yelena Yesha (3 paper(s) during 1998-1999)
14. Moshe Y. Vardi (3 paper(s) during 1983-1987)
15. Pierre Wolper (3 paper(s) during 1983-1987)
16. Isabel F. Cruz (2 paper(s) during 2002-2009)
17. Mahesh Viswanathan (2 paper(s) during 2008-2009)
18. Rohit Chadha (2 paper(s) during 2008-2009)
19. Xiaodong Wang (2 paper(s) during 2004-2005)
20. Patrice Godefroid (2 paper(s) during 2001-2004)
21. Charanjit S. Jutla (2 paper(s) during 1993-2001)
22. Avinash Sahay (2 paper(s) during 1998-1999)
23. Jeffrey J. P. Tsai (2 paper(s) during 1998-1999)
24. Jutai Zhou (2 paper(s) during 1999)
25. Minglin Deng (2 paper(s) during 1995-1999)
26. King-Lup Liu (2 paper(s) during 1995-1998)
27. Yixiu Huang (2 paper(s) during 1994-1998)
28. Chengwen Liu (2 paper(s) during 1995-1996)
29. Kailash Narayanan (2 paper(s) during 1995-1996)
30. Ramya Raj (2 paper(s) during 1995-1996)
31. Aloysius K. Mok (2 paper(s) during 1990-1992)
32. Jai Srinivasan (2 paper(s) during 1990-1992)
33. Steven M. German (2 paper(s) during 1987-1992)
34. John H. Reif (2 paper(s) during 1983-1985)
35. Nissim Francez (2 paper(s) during 1982-1984)
36. Prithvi Bisht (1 paper(s) during 2010)
37. Arantza Illarramendi (1 paper(s) during 2009)
38. Eduardo Mena (1 paper(s) during 2009)
39. Joel Booth (1 paper(s) during 2009)
40. Kalpana Gondi (1 paper(s) during 2009)
41. Sergio Ilarri (1 paper(s) during 2009)
42. Yogeshkumar Patel (1 paper(s) during 2009)
43. Abhigna R. Srinivas (1 paper(s) during 2008)
44. Antonio Longo (1 paper(s) during 2008)
45. Hilary Branske (1 paper(s) during 2008)
46. Michelle Zhou (1 paper(s) during 2008)
47. Roberto Capizzi (1 paper(s) during 2008)
48. Krishna K. Mehra (1 paper(s) during 2007)
49. Sriram K. Rajamani (1 paper(s) during 2007)
50. Sumit Kumar Jha (1 paper(s) during 2007)
51. Arun K. Eamani (1 paper(s) during 2006)
52. Eduard C. Dragut (1 paper(s) during 2006)
53. Weiyi Meng (1 paper(s) during 2006)
54. Wensheng Wu (1 paper(s) during 2006)
55. Bernhard Steffen (1 paper(s) during 2005)
56. Tiziana Margaria (1 paper(s) during 2005)
57. Ashfaq A. Khokhar (1 paper(s) during 2002)
58. Bing Liu (1 paper(s) during 2002)
59. Tao Hu (1 paper(s) during 2002)
60. Vikas Chowdhry (1 paper(s) during 2002)
61. Liqin Jiang (1 paper(s) during 1999)
62. Raymond A. Paul (1 paper(s) during 1998)
63. Robert H. Sloan (1 paper(s) during 1998)
64. Somesh Jha (1 paper(s) during 1998)
65. L. Miliades (1 paper(s) during 1997)
66. R. Venkatasubrahmanian (1 paper(s) during 1997)
67. Aris M. Ouksel (1 paper(s) during 1996)
68. Jing Wu (1 paper(s) during 1996)
69. R. Haddad (1 paper(s) during 1994)
70. Vivek G. Naik (1 paper(s) during 1994)
71. Jennifer L. Welch (1 paper(s) during 1989)
72. Albert R. Meyer (1 paper(s) during 1984)
73. Yuri Gurevich (1 paper(s) during 1982)