Co-authors

1. Cyrille Artho (13 paper(s) during 2001-2007)
2. Edmund M. Clarke (10 paper(s) during 1998-2003)
3. Yunshan Zhu (10 paper(s) during 1998-2003)
4. Viktor Schuppan (9 paper(s) during 2002-2006)
5. Florian Lonsing (5 paper(s) during 2008-2010)
6. Robert Brummayer (5 paper(s) during 2007-2010)
7. Ofer Strichman (5 paper(s) during 2003-2007)
8. Carsten Sinz (3 paper(s) during 2006-2007)
9. Shinichi Honiden (3 paper(s) during 2006-2007)
10. Toni Jussila (3 paper(s) during 2006-2007)
11. Keijo Heljanko (3 paper(s) during 2004-2006)
12. Timo Latvala (3 paper(s) during 2004-2006)
13. Tommi A. Junttila (3 paper(s) during 2004-2006)
14. Klaus Havelund (3 paper(s) during 2003-2004)
15. Alessandro Cimatti (3 paper(s) during 1999-2003)
16. Matti Järvisalo (2 paper(s) during 2010)
17. Boris Zweimüller (2 paper(s) during 2004-2007)
18. Malek Haroud (2 paper(s) during 2003-2005)
19. Marcel Baur (2 paper(s) during 2004-2005)
20. Sergey Berezin (2 paper(s) during 1998-2002)
21. Richard Raimi (2 paper(s) during 1999-2001)
22. Marijn Heule (1 paper(s) during 2010)
23. Niklas Sörensson (1 paper(s) during 2009)
24. Christoph M. Wintersteiger (1 paper(s) during 2007)
25. Daniel Kröning (1 paper(s) during 2007)
26. Etsuya Shibayama (1 paper(s) during 2007)
27. Aarti Gupta (1 paper(s) during 2005)
28. Mukul R. Prasad (1 paper(s) during 2005)
29. Niklas Eén (1 paper(s) during 2005)
30. Pascal Eugster (1 paper(s) during 2004)
31. David A. Plaisted (1 paper(s) during 2003)
32. Wolfgang Kunz (1 paper(s) during 2002)
33. Anubhav Gupta (1 paper(s) during 2000)
34. Poul Frederick Williams (1 paper(s) during 2000)
35. Masahiro Fujita (1 paper(s) during 1999)
36. Bwolen Yang (1 paper(s) during 1998)
37. David R. O'Hallaron (1 paper(s) during 1998)
38. Fabio Somenzi (1 paper(s) during 1998)
39. Geert Janssen (1 paper(s) during 1998)
40. Olivier Coudert (1 paper(s) during 1998)
41. Rajeev K. Ranjan (1 paper(s) during 1998)
42. Randal E. Bryant (1 paper(s) during 1998)