Co-authors

1. Cristiano Calcagno (16 paper(s) during 2000-2009)
2. Hongseok Yang (15 paper(s) during 2001-2009)
3. Dino Distefano (9 paper(s) during 2006-2009)
4. Josh Berdine (9 paper(s) during 2002-2008)
5. Robert D. Tennent (8 paper(s) during 1993-1999)
6. Makoto Takeyama (5 paper(s) during 1995-1999)
7. Byron Cook (4 paper(s) during 2006-2008)
8. John Power (4 paper(s) during 1995-1999)
9. Richard Bornat (3 paper(s) during 2003-2007)
10. John C. Reynolds (3 paper(s) during 2000-2004)
11. Uday S. Reddy (3 paper(s) during 1995-2002)
12. Zbigniew Stachniak (3 paper(s) during 1989-1992)
13. Noam Rinetzky (2 paper(s) during 2009-2010)
14. Matthew J. Parkinson (2 paper(s) during 2005-2007)
15. David J. Pym (2 paper(s) during 1999-2004)
16. Samin S. Ishtiaq (2 paper(s) during 2000-2001)
17. Peter J. Freyd (2 paper(s) during 1995-1999)
18. Jon G. Riecke (2 paper(s) during 1994-1995)
19. Eran Yahav (1 paper(s) during 2010)
20. Greta Yorsh (1 paper(s) during 2010)
21. Martin T. Vechev (1 paper(s) during 2010)
22. Ivana Filipovic (1 paper(s) during 2009)
23. Oukseh Lee (1 paper(s) during 2008)
24. Tony Hoare (1 paper(s) during 2008)
25. Aziem Chawdhary (1 paper(s) during 2007)
26. Olivier Danvy (1 paper(s) during 2007)
27. Philip Wadler (1 paper(s) during 2007)
28. Thomas Wies (1 paper(s) during 2007)
29. Cliff B. Jones (1 paper(s) during 2006)
30. Jim Woodcock (1 paper(s) during 2006)
31. Ivana Mijajlovic (1 paper(s) during 2004)
32. Noah Torp-Smith (1 paper(s) during 2004)
33. Hayo Thielecke (1 paper(s) during 2002)
34. A. John Power (1 paper(s) during 1999)
35. R. Street (1 paper(s) during 1999)
36. Yoshiki Kinoshita (1 paper(s) during 1997)