Co-authors

1. Wolfram Schulte (21 paper(s) during 2001-2009)
2. Jonathan de Halleux (14 paper(s) during 2007-2010)
3. Wolfgang Grieskamp (12 paper(s) during 2001-2008)
4. Margus Veanes (11 paper(s) during 2003-2010)
5. Tao Xie (7 paper(s) during 2009-2010)
6. Lev Nachmanson (5 paper(s) during 2003-2008)
7. Michael Barnett (4 paper(s) during 2003-2009)
8. Colin Campbell (4 paper(s) during 2005-2008)
9. Peli de Halleux (3 paper(s) during 2009-2010)
10. Yuri Gurevich (3 paper(s) during 2001-2005)
11. Kunal Taneja (2 paper(s) during 2009-2010)
12. Madhuri R. Marri (2 paper(s) during 2009-2010)
13. Nuo Li (2 paper(s) during 2009-2010)
14. Suresh Thummalapenta (2 paper(s) during 2009-2010)
15. Dries Vanoverberghe (2 paper(s) during 2008-2009)
16. Nikolaj Bjørner (2 paper(s) during 2008-2009)
17. Nicolas Kicillof (2 paper(s) during 2006-2007)
18. Ana Paiva (2 paper(s) during 2005)
19. João C. P. Faria (2 paper(s) during 2005)
20. Raul F. A. M. Vidal (2 paper(s) during 2005)
21. Scott Wadsworth (1 paper(s) during 2010)
22. Andrei Voronkov (1 paper(s) during 2009)
23. Francesco Logozzo (1 paper(s) during 2009)
24. Frank Piessens (1 paper(s) during 2009)
25. Manuel Fähndrich (1 paper(s) during 2009)
26. Pavel Grigorenko (1 paper(s) during 2009)
27. Soonho Kong (1 paper(s) during 2009)
28. Christoph Csallner (1 paper(s) during 2008)
29. Patrice Godefroid (1 paper(s) during 2008)
30. Saswat Anand (1 paper(s) during 2008)
31. Yannis Smaragdakis (1 paper(s) during 2008)
32. Víctor A. Braberman (1 paper(s) during 2007)
33. Feng Chen (1 paper(s) during 2006)
34. Markus Lepper (1 paper(s) during 2001)