Co-authors

1. Sven Schewe (11 paper(s) during 2005-2010)
2. Henny Sipma (8 paper(s) during 1997-2005)
3. Klaus Dräger (5 paper(s) during 2006-2010)
4. Yuri Gurevich (5 paper(s) during 2006-2009)
5. Zohar Manna (5 paper(s) during 1997-2005)
6. Alexander K. Petrenko (4 paper(s) during 2006-2009)
7. Hans-Jörg Peter (3 paper(s) during 2008-2010)
8. Sriram Sankaranarayanan (3 paper(s) during 2002-2005)
9. Heike Wehrheim (2 paper(s) during 2007-2010)
10. Lars Kuhtz (2 paper(s) during 2009)
11. Rayna Dimitrova (2 paper(s) during 2008-2009)
12. Andreas Podelski (2 paper(s) during 2006-2007)
13. Grigore Rosu (2 paper(s) during 2007)
14. Klaus Havelund (2 paper(s) during 2007)
15. Oleg Sokolsky (2 paper(s) during 2007)
16. Henny B. Sipma (2 paper(s) during 2005-2006)
17. Anca Browne (2 paper(s) during 2000)
18. Michael Colón (2 paper(s) during 1997-2000)
19. Tomás E. Uribe (2 paper(s) during 1997-2000)
20. Andrey Kupriyanov (1 paper(s) during 2010)
21. Michael Gerke 0002 (1 paper(s) during 2010)
22. Rüdiger Ehlers (1 paper(s) during 2010)
23. Gerd Behrmann (1 paper(s) during 2007)
24. Henning Dierks (1 paper(s) during 2007)
25. Ingo Brückner (1 paper(s) during 2007)
26. Jörg Hoffmann (1 paper(s) during 2007)
27. Sebastian Kupferschmid (1 paper(s) during 2007)
28. Howard Barringer (1 paper(s) during 2006)
29. Matthias Brill (1 paper(s) during 2006)
30. Ben D'Angelo (1 paper(s) during 2005)
31. César Sánchez (1 paper(s) during 2005)
32. Sandeep Mehrotra (1 paper(s) during 2005)
33. Will Robinson (1 paper(s) during 2005)
34. Nikolaj Bjørner (1 paper(s) during 2000)