Co-authors

1. Edmund M. Clarke (14 paper(s) during 2001-2006)
2. Helmut Veith (8 paper(s) during 2001-2007)
3. Joël Ouaknine (7 paper(s) during 2003-2006)
4. Ofer Strichman (6 paper(s) during 2003-2009)
5. Somesh Jha (6 paper(s) during 2001-2009)
6. Alex Groce (6 paper(s) during 2003-2006)
7. Natasha Sharygina (6 paper(s) during 2004-2005)
8. Nishant Sinha (5 paper(s) during 2004-2006)
9. Arie Gurfinkel (3 paper(s) during 2008-2010)
10. Anupam Datta (2 paper(s) during 2009-2010)
11. Nicholas Kidd (2 paper(s) during 2006-2009)
12. Thomas W. Reps (2 paper(s) during 2006-2009)
13. Christian Schallhart (2 paper(s) during 2007)
14. James Ivers (2 paper(s) during 2005-2007)
15. Kurt C. Wallnau (2 paper(s) during 2005-2007)
16. Tayssir Touili (2 paper(s) during 2005-2006)
17. Karen Yorav (2 paper(s) during 2003-2004)
18. Sriram K. Rajamani (2 paper(s) during 2001-2002)
19. Arvind Seshadri (1 paper(s) during 2010)
20. Jason Franklin (1 paper(s) during 2010)
21. William R. Harris (1 paper(s) during 2009)
22. Noam Zeilberger (1 paper(s) during 2007)
23. Peter Lee (1 paper(s) during 2007)
24. Daniel Kroening (1 paper(s) during 2006)
25. Murray Stokely (1 paper(s) during 2006)
26. Orna Grumberg (1 paper(s) during 2005)
27. Prasanna Thati (1 paper(s) during 2005)
28. Engin Kirda (1 paper(s) during 2003)
29. Harald Gall (1 paper(s) during 2003)
30. Pascal Fenkam (1 paper(s) during 2003)
31. Jakob Rehof (1 paper(s) during 2002)
32. Alexis Campailla (1 paper(s) during 2001)
33. Thomas Ball (1 paper(s) during 2001)