Co-authors

1. Kedar S. Namjoshi (7 paper(s) during 2003-2009)
2. Dragan Bosnacki (6 paper(s) during 1998-2002)
3. Rob Gerth (5 paper(s) during 1993-1998)
4. Leszek Holenderski (4 paper(s) during 2000-2002)
5. Michael Codish (4 paper(s) during 1991-1996)
6. Martin Steffen (3 paper(s) during 2001-2010)
7. Gilberto Filé (3 paper(s) during 1993-1997)
8. Christopher L. Conway (2 paper(s) during 2005-2008)
9. Yassine Lakhnech (2 paper(s) during 2001-2002)
10. Orna Grumberg (2 paper(s) during 1993-1997)
11. Maurice Bruynooghe (2 paper(s) during 1993-1996)
12. Eyal Yardeni (2 paper(s) during 1991-1994)
13. Ulrich Hannemann (1 paper(s) during 2010)
14. John P. Letourneau (1 paper(s) during 2009)
15. Richard B. Hull (1 paper(s) during 2009)
16. Robert M. Arlein (1 paper(s) during 2009)
17. Clark Barrett (1 paper(s) during 2008)
18. Stephen A. Edwards (1 paper(s) during 2005)
19. Gerard J. Holzmann (1 paper(s) during 2002)
20. William Hesse (1 paper(s) during 2002)
21. Marc Geilen (1 paper(s) during 2000)
22. Natalia Sidorova (1 paper(s) during 2000)
23. Bart Knaack (1 paper(s) during 1998)
24. Ruurd Kuiper (1 paper(s) during 1998)
25. Annalisa Bossi (1 paper(s) during 1997)
26. Elena Marchiori (1 paper(s) during 1997)
27. Gert Döhmen (1 paper(s) during 1994)
28. Hergen Pargmann (1 paper(s) during 1994)
29. Peter Kelb (1 paper(s) during 1994)
30. Ronald Herrmann (1 paper(s) during 1994)