Co-authors

1. Gethin Norman (33 paper(s) during 2000-2010)
2. Marta Z. Kwiatkowska (32 paper(s) during 2000-2010)
3. Sandeep K. Shukla (3 paper(s) during 2004-2005)
4. Alastair F. Donaldson (2 paper(s) during 2007-2009)
5. Alice Miller (2 paper(s) during 2007-2009)
6. Mark Kattenbelt (2 paper(s) during 2008-2009)
7. Christel Baier (2 paper(s) during 2006-2008)
8. Frank Ciesinski (2 paper(s) during 2006-2008)
9. Luca de Alfaro (2 paper(s) during 2000-2008)
10. Marcus Größer (2 paper(s) during 2006-2008)
11. Håkan L. S. Younes (2 paper(s) during 2004-2006)
12. Jeremy Sproston (2 paper(s) during 2003-2006)
13. John Heath (2 paper(s) during 2006)
14. Marie Duflot (2 paper(s) during 2004-2006)
15. Oksana Tymchyshyn (2 paper(s) during 2006)
16. Yi Zhang (2 paper(s) during 2004-2005)
17. Rashid Mehmood (2 paper(s) during 2002-2004)
18. Hongyang Qu (1 paper(s) during 2010)
19. David P. Enot (1 paper(s) during 2009)
20. Hassan Zubair (1 paper(s) during 2009)
21. John Draper (1 paper(s) during 2009)
22. Konstantinos Chatzikokolakis (1 paper(s) during 2009)
23. Manfred Beckmann (1 paper(s) during 2009)
24. Stuart Snowdon (1 paper(s) during 2009)
25. Wanchang Lin (1 paper(s) during 2009)
26. Pritam Roy (1 paper(s) during 2008)
27. Catuscia Palamidessi (1 paper(s) during 2007)
28. Peng Wu 0002 (1 paper(s) during 2007)
29. Andrew Hinton (1 paper(s) during 2006)
30. Eamonn Gaffney (1 paper(s) during 2006)
31. Rajesh Gupta (1 paper(s) during 2005)
32. Andrew S. Miner (1 paper(s) during 2004)
33. Holger Hermanns (1 paper(s) during 2003)
34. Markus Siegle (1 paper(s) during 2003)
35. Joost-Pieter Katoen (1 paper(s) during 2001)
36. Roberto Segala (1 paper(s) during 2000)