Co-authors

1. Geoff Sutcliffe (5 paper(s) during 2002-2006)
2. Jörg Denzinger (4 paper(s) during 1996-2000)
3. Alessandro Cimatti (3 paper(s) during 2005)
4. Marco Bozzano (3 paper(s) during 2005)
5. Peter van Rossum (3 paper(s) during 2005)
6. Roberto Bruttomesso (3 paper(s) during 2005)
7. Roberto Sebastiani (3 paper(s) during 2005)
8. Tommi A. Junttila (3 paper(s) during 2005)
9. Alessandro Armando (2 paper(s) during 2005-2006)
10. Bernd Fischer (2 paper(s) during 2006)
11. Maria Paola Bonacina (2 paper(s) during 2005-2006)
12. Silvio Ranise (2 paper(s) during 2005-2006)
13. Boris Konev (1 paper(s) during 2010)
14. Jörg Becker (1 paper(s) during 2010)
15. Karsten Einwich (1 paper(s) during 2010)
16. Renate A. Schmidt (1 paper(s) during 2010)
17. Sören Sonntag (1 paper(s) during 2010)
18. Thomas Uhle (1 paper(s) during 2010)
19. Anthony Wiles (1 paper(s) during 2007)
20. Antti Huima (1 paper(s) during 2007)
21. Jukka Honkola (1 paper(s) during 2007)
22. Steve Randall (1 paper(s) during 2007)
23. Allen Van Gelder (1 paper(s) during 2006)
24. Koen Claessen (1 paper(s) during 2006)
25. Tanel Tammet (1 paper(s) during 2006)
26. Theofanis Vassiliou-Gioles (1 paper(s) during 2002)
27. Joachim Draeger (1 paper(s) during 2001)
28. Felix Brandt (1 paper(s) during 1999)
29. Martin Kronenburg (1 paper(s) during 1997)