Co-authors

1. Natasha Sharygina (15 paper(s) during 2004-2010)
2. Edmund M. Clarke (15 paper(s) during 2003-2007)
3. Thomas Wahl (8 paper(s) during 2008-2010)
4. Georg Weissenbacher (6 paper(s) during 2006-2010)
5. Ofer Strichman (6 paper(s) during 2003-2007)
6. Byron Cook (5 paper(s) during 2004-2010)
7. Nicolas Blanc (5 paper(s) during 2007-2009)
8. Alex Groce (5 paper(s) during 2004-2007)
9. Christoph M. Wintersteiger (4 paper(s) during 2008-2010)
10. Gérard Basler (4 paper(s) during 2007-2010)
11. Mitra Purandare (4 paper(s) during 2008-2010)
12. Himanshu Jain (4 paper(s) during 2004-2007)
13. Joël Ouaknine (4 paper(s) during 2004-2007)
14. Karen Yorav (4 paper(s) during 2003-2005)
15. Aliaksei Tsitovich (3 paper(s) during 2008-2010)
16. Angelo Brillout (3 paper(s) during 2008-2010)
17. Philipp Rümmer (3 paper(s) during 2010)
18. Vijay D'Silva (3 paper(s) during 2008-2010)
19. Sanjit A. Seshia (3 paper(s) during 2004-2007)
20. Stefano Tonetta (2 paper(s) during 2008-2009)
21. Yury Chebiryak (2 paper(s) during 2007-2009)
22. Flavio Lerda (2 paper(s) during 2004)
23. Wolfgang J. Paul (2 paper(s) during 2001-2003)
24. Alastair F. Donaldson (1 paper(s) during 2010)
25. Alexander Kaiser (1 paper(s) during 2010)
26. C.-H. Luke Ong (1 paper(s) during 2010)
27. Hana Chockler (1 paper(s) during 2010)
28. Haoxian Zhao (1 paper(s) during 2010)
29. Matthew Hague (1 paper(s) during 2010)
30. Leopold Haller (1 paper(s) during 2009)
31. Michele Mazzucchi (1 paper(s) during 2009)
32. Chao Wang (1 paper(s) during 2008)
33. Malay K. Ganai (1 paper(s) during 2008)
34. Shuvendu K. Lahiri (1 paper(s) during 2008)
35. Bryan A. Brady (1 paper(s) during 2007)
36. Igor Zinovik (1 paper(s) during 2007)
37. Randal E. Bryant (1 paper(s) during 2007)
38. Thomas Witkowski (1 paper(s) during 2007)
39. Cindy Eisner (1 paper(s) during 2006)
40. Ishai Rabinovitz (1 paper(s) during 2006)
41. Sagar Chaki (1 paper(s) during 2006)
42. Sharon Barner (1 paper(s) during 2006)
43. Ziv Glazberg (1 paper(s) during 2006)
44. Jennifer Morris (1 paper(s) during 2004)
45. Pankaj Chauhan (1 paper(s) during 2004)
46. Philip Koopman (1 paper(s) during 2004)
47. Christian Jacobi 0002 (1 paper(s) during 2003)
48. Dirk Leinenbach (1 paper(s) during 2003)
49. Sven Beyer (1 paper(s) during 2003)
50. Holger W. Leister (1 paper(s) during 1999)
51. Nikolaus Gerteis (1 paper(s) during 1999)
52. Peter Dell (1 paper(s) during 1999)
53. Silvia M. Müller (1 paper(s) during 1999)