Co-authors

1. Sebastian Engell (4 paper(s) during 2003-2007)
2. Bruce H. Krogh (4 paper(s) during 2003)
3. Hao Ding (3 paper(s) during 2007-2009)
4. Matthias Rungger (3 paper(s) during 2008-2009)
5. Sebastian Panek (3 paper(s) during 2002-2007)
6. Jörg Preußig (3 paper(s) during 1996-1999)
7. Stefan Kowalewski (3 paper(s) during 1996-1999)
8. Sven Lohmann (2 paper(s) during 2004-2005)
9. Manuel Remelhe (2 paper(s) during 1997-2004)
10. Ansgar Fehnker (2 paper(s) during 2003)
11. Edmund M. Clarke (2 paper(s) during 2003)
12. Michael Theobald (2 paper(s) during 2003)
13. Zhi Han (2 paper(s) during 2003)
14. Heinz Treseler (2 paper(s) during 1997-2001)
15. Ingo Hoffmann (2 paper(s) during 1996-1997)
16. Johannes Dold (1 paper(s) during 2009)
17. Mingxiang Zhou (1 paper(s) during 2009)
18. Andrea Schankin (1 paper(s) during 2008)
19. Anna Schubö (1 paper(s) during 2008)
20. Bernd Spanfelner (1 paper(s) during 2008)
21. Christian Leuxner (1 paper(s) during 2008)
22. Martin Buss (1 paper(s) during 2008)
23. Matthias Althoff (1 paper(s) during 2008)
24. Wassiou Sitou (1 paper(s) during 2008)
25. Frank Schiller (1 paper(s) during 2007)
26. Sebastian Kain (1 paper(s) during 2007)
27. Subanatarajan Subbiah (1 paper(s) during 2007)
28. Ben Lukoschus (1 paper(s) during 2004)
29. Nanette Bauer (1 paper(s) during 2004)
30. Ralf Huuck (1 paper(s) during 2004)
31. James Kapinski (1 paper(s) during 2003)
32. Joël Ouaknine (1 paper(s) during 2003)
33. Oded Maler (1 paper(s) during 2003)
34. Paul W. H. Chung (1 paper(s) during 2001)
35. Shuanghua Yang (1 paper(s) during 2001)
36. Holger Graf (1 paper(s) during 1997)
37. Martin Fritz (1 paper(s) during 1997)
38. Silke Simon (1 paper(s) during 1997)