Co-authors

1. David B. Lomet (5 paper(s) during 2005-2006)
2. Gerhard Weikum (5 paper(s) during 2005-2006)
3. Alexander B. Romanovsky (5 paper(s) during 2002-2005)
4. Wolfgang Henhapl (3 paper(s) during 1971-1984)
5. Ken G. Pierce (2 paper(s) during 2007-2008)
6. Ian J. Hayes (2 paper(s) during 2003-2007)
7. Michael A. Jackson (2 paper(s) during 2003-2007)
8. Alexander Romanovsky (2 paper(s) during 2006)
9. John S. Fitzgerald (2 paper(s) during 1990-2006)
10. Alan Fekete (2 paper(s) during 2005)
11. Brian Randell (2 paper(s) during 2005)
12. Henry F. Korth (2 paper(s) during 2005)
13. J. Eliot B. Moss (2 paper(s) during 2005)
14. Jon Burton (2 paper(s) during 2005)
15. Krithi Ramamritham (2 paper(s) during 2005)
16. Luís Rodrigues (2 paper(s) during 2005)
17. Marie-Claude Gaudel (2 paper(s) during 2005)
18. Ravi Rajwar (2 paper(s) during 2005)
19. Rogério de Lemos (2 paper(s) during 2005)
20. Ian Welch (2 paper(s) during 2002)
21. John R. D. Hughes (1 paper(s) during 2008)
22. Aaron Stump (1 paper(s) during 2006)
23. Alessandro Coglio (1 paper(s) during 2006)
24. Dale Miller (1 paper(s) during 2006)
25. Don S. Batory (1 paper(s) during 2006)
26. Douglas R. Smith (1 paper(s) during 2006)
27. Eric C. R. Hehner (1 paper(s) during 2006)
28. Gary T. Leavens (1 paper(s) during 2006)
29. Igor Mozolevsky (1 paper(s) during 2006)
30. Jean-Raymond Abrial (1 paper(s) during 2006)
31. Jeremy Bryans (1 paper(s) during 2006)
32. Jim Woodcock (1 paper(s) during 2006)
33. Kathi Fisler (1 paper(s) during 2006)
34. Michael J. Butler (1 paper(s) during 2006)
35. Murali Sitaraman (1 paper(s) during 2006)
36. Peter W. O'Hearn (1 paper(s) during 2006)
37. Simon L. Peyton Jones (1 paper(s) during 2006)
38. Christiane Notarmarco (1 paper(s) during 2004)
39. D. J. Cooke (1 paper(s) during 2004)
40. John Cooke (1 paper(s) during 2004)
41. Michael R. Hansen (1 paper(s) during 2004)
42. John E. Dobson (1 paper(s) during 2002)
43. Mark Rouncefield (1 paper(s) during 2002)
44. Panayiotis Periorellis (1 paper(s) during 2002)
45. Rob Procter (1 paper(s) during 2002)
46. Robin Williams (1 paper(s) during 2002)
47. M. Lonergan (1 paper(s) during 2001)
48. Mohammad Reza Sirouspour (1 paper(s) during 2000)
49. Pierre Collette (1 paper(s) during 2000)
50. Purang Abolmaesumi (1 paper(s) during 2000)
51. S. E. Salcudean (1 paper(s) during 2000)
52. Simon P. DiMaio (1 paper(s) during 2000)
53. Anthony Hall (1 paper(s) during 1996)
54. C. Michael Holloway (1 paper(s) during 1996)
55. Daniel Jackson (1 paper(s) during 1996)
56. David Gries (1 paper(s) during 1996)
57. David L. Dill (1 paper(s) during 1996)
58. David Lorge Parnas (1 paper(s) during 1996)
59. Jeannette M. Wing (1 paper(s) during 1996)
60. John M. Rushby (1 paper(s) during 1996)
61. Jonathan P. Bowen (1 paper(s) during 1996)
62. Michael G. Hinchey (1 paper(s) during 1996)
63. Michael J. Lutz (1 paper(s) during 1996)
64. Pamela Zave (1 paper(s) during 1996)
65. Ricky W. Butler (1 paper(s) during 1996)
66. Robert L. Glass (1 paper(s) during 1996)
67. Steve J. Hodges (1 paper(s) during 1995)
68. C. A. Middelburg (1 paper(s) during 1994)
69. Peter A. Lindsay (1 paper(s) during 1988)
70. Richard C. Moore (1 paper(s) during 1988)
71. Mario Wolczko (1 paper(s) during 1985)
72. T. N. Nipkow (1 paper(s) during 1985)
73. Dines Bjørner (1 paper(s) during 1984)
74. Hans Bekic (1 paper(s) during 1984)
75. Howard Barringer (1 paper(s) during 1984)
76. J. H. Cheng (1 paper(s) during 1984)
77. Peter Lucas (1 paper(s) during 1984)