Co-authors

1. Shriram Krishnamurthi (16 paper(s) during 2001-2010)
2. Daniel J. Dougherty (4 paper(s) during 2006-2009)
3. Harry C. Li (4 paper(s) during 2002-2005)
4. Moshe Y. Vardi (4 paper(s) during 1998-2002)
5. Theophilos Giannakopoulos (1 paper(s) during 2009)
6. Daniel Yoo (1 paper(s) during 2008)
7. Aaron Stump (1 paper(s) during 2006)
8. Alessandro Coglio (1 paper(s) during 2006)
9. Cliff B. Jones (1 paper(s) during 2006)
10. Dale Miller (1 paper(s) during 2006)
11. Don S. Batory (1 paper(s) during 2006)
12. Douglas R. Smith (1 paper(s) during 2006)
13. Eric C. R. Hehner (1 paper(s) during 2006)
14. Gary T. Leavens (1 paper(s) during 2006)
15. Jean-Raymond Abrial (1 paper(s) during 2006)
16. Michael J. Butler (1 paper(s) during 2006)
17. Murali Sitaraman (1 paper(s) during 2006)
18. Simon L. Peyton Jones (1 paper(s) during 2006)
19. Hana Chockler (1 paper(s) during 2005)
20. Leo A. Meyerovich (1 paper(s) during 2005)
21. Michael Carl Tschantz (1 paper(s) during 2005)
22. Colin Blundell (1 paper(s) during 2004)
23. Michael Greenberg (1 paper(s) during 2004)
24. Pascal Van Hentenryck (1 paper(s) during 2004)
25. Gila Kamhi (1 paper(s) during 2001)
26. Ranan Fraer (1 paper(s) during 2001)
27. Zijiang Yang (1 paper(s) during 2001)
28. Claude Girault (1 paper(s) during 1998)
29. Robert P. Kurshan (1 paper(s) during 1997)