Co-authors

1. José Meseguer (34 paper(s) during 1998-2009)
2. Patrick Lincoln (33 paper(s) during 2002-2009)
3. Steven Eker (32 paper(s) during 2002-2009)
4. Narciso Martí-Oliet (27 paper(s) during 2003-2009)
5. Francisco Durán (26 paper(s) during 2003-2009)
6. Manuel Clavel (26 paper(s) during 2003-2009)
7. Ian A. Mason (19 paper(s) during 1989-2005)
8. Olivier Danvy (12 paper(s) during 1999-2006)
9. Nalini Venkatasubramanian (11 paper(s) during 1992-2008)
10. Mark-Oliver Stehr (10 paper(s) during 2002-2008)
11. Keith Laderoute (8 paper(s) during 2002-2007)
12. Merrill Knapp (7 paper(s) during 2002-2007)
13. Scott F. Smith (7 paper(s) during 1992-2002)
14. Grit Denker (6 paper(s) during 2000-2007)
15. Gul Agha (6 paper(s) during 1992-2004)
16. Alberto Verdejo (4 paper(s) during 2007)
17. Peter Csaba Ölveczky (4 paper(s) during 2001-2007)
18. Ashish Tiwari (3 paper(s) during 2007-2008)
19. Minyoung Kim (3 paper(s) during 2007-2008)
20. Miguel Palomino (3 paper(s) during 2007)
21. Furio Honsell (3 paper(s) during 1992-2006)
22. Sebastian Gutierrez-Nolasco (3 paper(s) during 2004-2006)
23. Fausto Giunchiglia (3 paper(s) during 1996-2001)
24. Richard W. Weyhrauch (3 paper(s) during 1990-1998)
25. Marjan Sirjani (2 paper(s) during 2008-2010)
26. Shangping Ren (2 paper(s) during 2008-2009)
27. Nikil Dutt (2 paper(s) during 2007-2008)
28. Andy Poggio (2 paper(s) during 2005-2007)
29. Grigore Rosu (2 paper(s) during 2007)
30. Linda Briesemeister (2 paper(s) during 2005-2007)
31. David L. Dill (2 paper(s) during 2005-2006)
32. Takayasu Ito (2 paper(s) during 2001-2002)
33. Paolo Pecchiari (2 paper(s) during 1996-2001)
34. Mohammad Reza Mousavi (1 paper(s) during 2010)
35. Narges Khakpour (1 paper(s) during 2010)
36. Saeed Jalili (1 paper(s) during 2010)
37. Santiago Escobar (1 paper(s) during 2009)
38. Yue Yu (1 paper(s) during 2009)
39. Adrián Riesco (1 paper(s) during 2007)
40. Alessandro Abate (1 paper(s) during 2007)
41. Azadeh Farzan (1 paper(s) during 2007)
42. Bahram Parvin (1 paper(s) during 2007)
43. Christiano Braga (1 paper(s) during 2007)
44. Daniel Elenius (1 paper(s) during 2007)
45. David Wilkins (1 paper(s) during 2007)
46. Joe Hendrix (1 paper(s) during 2007)
47. Joe W. Gray (1 paper(s) during 2007)
48. Laura Heiser (1 paper(s) during 2007)
49. Mark van den Brand (1 paper(s) during 2007)
50. Martin Wirsing (1 paper(s) during 2007)
51. Nathalie Sznajder (1 paper(s) during 2007)
52. Nikil D. Dutt (1 paper(s) during 2007)
53. Nirmalya Ghosh (1 paper(s) during 2007)
54. Paul T. Spellman (1 paper(s) during 2007)
55. Ralf Sasse (1 paper(s) during 2007)
56. Rukman Senanayake (1 paper(s) during 2007)
57. Traian-Florin Serbanuta (1 paper(s) during 2007)
58. Yu Bai (1 paper(s) during 2007)
59. Andrzej Filinski (1 paper(s) during 2006)
60. Andy King (1 paper(s) during 2006)
61. Jean-Louis Giavitto (1 paper(s) during 2006)
62. Pierre-Etienne Moreau (1 paper(s) during 2006)
63. Pamela Gage (1 paper(s) during 2005)
64. Vitaly Shmatikov (1 paper(s) during 2005)
65. Prasanna Thati (1 paper(s) during 2004)
66. David Pease (1 paper(s) during 2003)
67. M. G. Sriram (1 paper(s) during 2003)
68. Sandeep Uttamchandani (1 paper(s) during 2003)
69. Mark Keaton (1 paper(s) during 2001)
70. Steve Zabele (1 paper(s) during 2001)
71. Alessandro Coglio (1 paper(s) during 2000)
72. Kathleen Fisher (1 paper(s) during 2000)
73. Paolo Di Blasio (1 paper(s) during 2000)
74. Marco Cadoli (1 paper(s) during 1998)
75. Andrew Gordon (1 paper(s) during 1997)
76. Andrew M. Pitts (1 paper(s) during 1997)
77. Ugo Montanari (1 paper(s) during 1997)
78. Louis Galbiati (1 paper(s) during 1990)
79. Alexandre Bronstein (1 paper(s) during 1989)