Co-authors

1. Joseph Sifakis (14 paper(s) during 1991-2003)
2. Stavros Tripakis (11 paper(s) during 1995-2005)
3. Alfredo Olivero (7 paper(s) during 1992-1998)
4. Xavier Nicollin (7 paper(s) during 1991-1995)
5. Diego Garbervetsky (6 paper(s) during 2005-2009)
6. Conrado Daws (6 paper(s) during 1994-1998)
7. Eugene Asarin (5 paper(s) during 2001-2007)
8. Ismail Assayad (5 paper(s) during 2005-2007)
9. Oded Maler (5 paper(s) during 1997-2002)
10. Víctor A. Braberman (4 paper(s) during 2005-2009)
11. Gerardo Schneider (4 paper(s) during 2001-2007)
12. Marius Bozga (4 paper(s) during 1997-2002)
13. Amir Pnueli (4 paper(s) during 1992-1999)
14. Ahmed Bouajjani (3 paper(s) during 1996-2005)
15. Thomas A. Henzinger (3 paper(s) during 1992-1995)
16. Guillaume Salagnac (2 paper(s) during 2005-2007)
17. Chaker Nakhli (2 paper(s) during 2003-2005)
18. Philippe Gerner (2 paper(s) during 2005)
19. Valérie Bertin (2 paper(s) during 2005)
20. Christos Kloukinas (2 paper(s) during 2003)
21. George J. Pappas (2 paper(s) during 1999-2001)
22. Gerardo Lafferriere (2 paper(s) during 1999-2001)
23. Yonit Kesten (2 paper(s) during 1992-1999)
24. Alejandro Taboada (1 paper(s) during 2009)
25. Martín Rouaux (1 paper(s) during 2009)
26. Federico Fernández (1 paper(s) during 2008)
27. Christophe Rippert (1 paper(s) during 2007)
28. Andrés Ferrari (1 paper(s) during 2005)
29. F.-X. Defaut (1 paper(s) during 2005)
30. Hichem Zorgati (1 paper(s) during 2005)
31. O. Quévreux (1 paper(s) during 2005)
32. Pablo Listingart (1 paper(s) during 2005)
33. Christian Fabre (1 paper(s) during 2002)
34. Gordon J. Pace (1 paper(s) during 2002)
35. Hou Jianmin (1 paper(s) during 2002)
36. Romain Guider (1 paper(s) during 2002)
37. Sébastien Cros (1 paper(s) during 2002)
38. Vincent Colin de Verdière (1 paper(s) during 2002)
39. Aude Maignan (1 paper(s) during 2001)
40. Daniel Weil (1 paper(s) during 2001)
41. Etienne Closse (1 paper(s) during 2001)
42. Jacques Pulou (1 paper(s) during 2001)
43. Jean Della Dora (1 paper(s) during 2001)
44. Michel Poize (1 paper(s) during 2001)
45. Mihaela Mirica-Ruse (1 paper(s) during 2001)
46. Patrick Venter (1 paper(s) during 2001)
47. Peter Niebert (1 paper(s) during 2000)
48. Gregor Gößler (1 paper(s) during 1999)
49. Karine Altisen (1 paper(s) during 1999)
50. Yassine Lakhnech (1 paper(s) during 1996)
51. Costas Courcoubetis (1 paper(s) during 1995)
52. Nicolas Halbwachs (1 paper(s) during 1995)
53. Pei-Hsin Ho (1 paper(s) during 1995)
54. Rajeev Alur (1 paper(s) during 1995)