Co-authors

1. Adam Antonik (5 paper(s) during 2006-2009)
2. Harald Fecher (5 paper(s) during 2006-2009)
3. Nathaniel Charlton (3 paper(s) during 2007-2009)
4. Radha Jagadeesan (3 paper(s) during 2001-2004)
5. Marta Z. Kwiatkowska (3 paper(s) during 1997-1999)
6. Andrzej Wasowski (2 paper(s) during 2008-2009)
7. Daniel Wagner (2 paper(s) during 2008-2009)
8. Kim Guldstrand Larsen (2 paper(s) during 2008-2009)
9. Nir Piterman (2 paper(s) during 2008-2009)
10. Ulrik Nyman (2 paper(s) during 2008-2009)
11. Glenn Bruns (2 paper(s) during 2007-2008)
12. Altaf Hussain (2 paper(s) during 2004-2006)
13. Patrice Godefroid (2 paper(s) during 2001-2005)
14. David A. Schmidt (2 paper(s) during 2001-2004)
15. Shekhar Pradhan (2 paper(s) during 2001-2004)
16. Achim Jung (2 paper(s) during 1994-2000)
17. Klaus Keimel (2 paper(s) during 1994-2000)
18. Jason Crampton (1 paper(s) during 2010)
19. Heiko Schmidt (1 paper(s) during 2009)
20. Jens Schönborn (1 paper(s) during 2009)
21. Mark Kattenbelt (1 paper(s) during 2009)
22. Daniel S. Dantas (1 paper(s) during 2007)
23. Götz Alefeld (1 paper(s) during 2001)
24. Günter Mayer (1 paper(s) during 2001)
25. Vladik Kreinovich (1 paper(s) during 2001)
26. Christel Baier (1 paper(s) during 1999)
27. Corina S. Pasareanu (1 paper(s) during 1999)
28. Mark Ryan (1 paper(s) during 1999)
29. Matthew B. Dwyer (1 paper(s) during 1999)
30. Reinhold Heckmann (1 paper(s) during 1997)
31. Adrian Fiech (1 paper(s) during 1994)