Co-authors

1. Marta Z. Kwiatkowska (50 paper(s) during 1996-2010)
2. David Parker (33 paper(s) during 2000-2010)
3. Jeremy Sproston (10 paper(s) during 1999-2007)
4. Roberto Segala (6 paper(s) during 1999-2005)
5. Sandeep K. Shukla (3 paper(s) during 2004-2005)
6. Ashutosh Trivedi (2 paper(s) during 2009-2010)
7. Mark Kattenbelt (2 paper(s) during 2008-2009)
8. Luca de Alfaro (2 paper(s) during 2000-2008)
9. Fuzhi Wang (2 paper(s) during 2004-2007)
10. Christel Baier (2 paper(s) during 1999-2006)
11. Håkan L. S. Younes (2 paper(s) during 2004-2006)
12. John Heath (2 paper(s) during 2006)
13. Marie Duflot (2 paper(s) during 2004-2006)
14. Oksana Tymchyshyn (2 paper(s) during 2006)
15. Vitaly Shmatikov (2 paper(s) during 2002-2006)
16. Conrado Daws (2 paper(s) during 2002-2004)
17. Alessandra Di Pierro (1 paper(s) during 2010)
18. Hongyang Qu (1 paper(s) during 2010)
19. Konstantinos Chatzikokolakis (1 paper(s) during 2009)
20. Marcin Jurdzinski (1 paper(s) during 2009)
21. Pritam Roy (1 paper(s) during 2008)
22. Catuscia Palamidessi (1 paper(s) during 2007)
23. Peng Wu 0002 (1 paper(s) during 2007)
24. Andrew Hinton (1 paper(s) during 2006)
25. Eamonn Gaffney (1 paper(s) during 2006)
26. Frank Ciesinski (1 paper(s) during 2006)
27. Marcus Größer (1 paper(s) during 2006)
28. Rajesh Gupta (1 paper(s) during 2005)
29. Stefano Cattani (1 paper(s) during 2005)
30. Holger Hermanns (1 paper(s) during 2003)
31. Markus Siegle (1 paper(s) during 2003)
32. António Pacheco (1 paper(s) during 2002)
33. Rashid Mehmood (1 paper(s) during 2002)
34. Joost-Pieter Katoen (1 paper(s) during 2001)