Co-authors

1. Benjamin Grégoire (15 paper(s) during 2005-2010)
2. Tamara Rezk (12 paper(s) during 2004-2010)
3. César Kunz (8 paper(s) during 2006-2010)
4. Guillaume Dufay (7 paper(s) during 2001-2005)
5. Morten Heine Sørensen (7 paper(s) during 1997-2001)
6. John Hatcliff (6 paper(s) during 1997-2001)
7. Santiago Zanella Béguelin (5 paper(s) during 2008-2010)
8. Simão Melo de Sousa (5 paper(s) during 2001-2005)
9. David Pichardie (4 paper(s) during 2006-2008)
10. Mariela Pavlova (4 paper(s) during 2004-2008)
11. Marieke Huisman (4 paper(s) during 2001-2006)
12. Sylvain Heraud (3 paper(s) during 2008-2010)
13. Andrei Sabelfeld (3 paper(s) during 2007)
14. Peter Müller (3 paper(s) during 2006-2007)
15. Pierre Courtieu (3 paper(s) during 2002-2005)
16. Peter Thiemann (3 paper(s) during 1997-2004)
17. Bernard P. Serpette (3 paper(s) during 1999-2001)
18. Colin Riba (2 paper(s) during 2008)
19. Amitabh Basu (2 paper(s) during 2004-2007)
20. Andrew C. Myers (2 paper(s) during 2007)
21. Heiko Mantel (2 paper(s) during 2007)
22. Pierre Crégut (2 paper(s) during 2006-2007)
23. Fernando Pastawski (2 paper(s) during 2005-2006)
24. Jean-Louis Lanet (2 paper(s) during 2004-2006)
25. Lilian Burdy (2 paper(s) during 2004-2006)
26. Thierry Coquand (2 paper(s) during 2000-2006)
27. Maria João Frade (2 paper(s) during 1999-2004)
28. Sabrina Tarento (2 paper(s) during 2004)
29. Tarmo Uustalu (2 paper(s) during 2002-2004)
30. Olivier Pons (2 paper(s) during 2001-2003)
31. Line Jakubiec (2 paper(s) during 2001-2002)
32. Femke van Raamsdonk (2 paper(s) during 1997-2000)
33. Herman Geuvers (2 paper(s) during 1995)
34. Alejandro Hevia (1 paper(s) during 2010)
35. Bogdan Warinschi (1 paper(s) during 2010)
36. Daniel Hedin (1 paper(s) during 2010)
37. Pablo Buiras (1 paper(s) during 2010)
38. Zhengqin Luo (1 paper(s) during 2010)
39. Anne Pacalet (1 paper(s) during 2009)
40. Federico Olmedo (1 paper(s) during 2009)
41. Jorge Luis Sacchini (1 paper(s) during 2008)
42. Julián Samborski-Forlese (1 paper(s) during 2008)
43. Salvador Cavadini (1 paper(s) during 2008)
44. Alejandro Russo (1 paper(s) during 2007)
45. Thomas P. Jensen (1 paper(s) during 2007)
46. Antoine Requet (1 paper(s) during 2006)
47. David A. Naumann (1 paper(s) during 2006)
48. Eric Vétillard (1 paper(s) during 2006)
49. Erik Poll (1 paper(s) during 2006)
50. Germán Puebla (1 paper(s) during 2006)
51. Ian Stark (1 paper(s) during 2006)
52. Julien Charles (1 paper(s) during 2006)
53. Julien Forest (1 paper(s) during 2006)
54. Lennart Beringer (1 paper(s) during 2006)
55. Martijn Warnier (1 paper(s) during 2006)
56. Martin Hofmann (1 paper(s) during 2006)
57. Vlad Rusu (1 paper(s) during 2006)
58. Ando Saabas (1 paper(s) during 2005)
59. Gerardo Schneider (1 paper(s) during 2005)
60. E. Giménez (1 paper(s) during 2004)
61. Jan Cederquist (1 paper(s) during 2004)
62. Leonor Prensa Nieto (1 paper(s) during 2004)
63. Luis Pinto (1 paper(s) during 2004)
64. Pedro R. D'Argenio (1 paper(s) during 2004)
65. Peter Dybjer (1 paper(s) during 2004)
66. Claude Kirchner (1 paper(s) during 2003)
67. Horatiu Cirstea (1 paper(s) during 2003)
68. Luigi Liquori (1 paper(s) during 2003)
69. Sorin Stratulat (1 paper(s) during 2003)
70. Venanzio Capretta (1 paper(s) during 2003)
71. Dilian Gurov (1 paper(s) during 2002)
72. Alejandro Ríos (1 paper(s) during 1997)
73. Fairouz Kamareddine (1 paper(s) during 1997)
74. Hugo Elbers (1 paper(s) during 1996)
75. Paul-André Melliès (1 paper(s) during 1996)
76. Henk Barendregt (1 paper(s) during 1995)
77. Mark Ruys (1 paper(s) during 1995)