Co-authors

1. Frédéric Blanqui (14 paper(s) during 1999-2008)
2. Albert Rubio (11 paper(s) during 1996-2008)
3. Hélène Kirchner (8 paper(s) during 1981-1992)
4. Mitsuhiro Okada (7 paper(s) during 1991-2006)
5. Claude Kirchner (6 paper(s) during 1981-1999)
6. Pierre-Yves Strub (4 paper(s) during 2007-2008)
7. Adel Bouhoula (4 paper(s) during 1997-2001)
8. José Meseguer (4 paper(s) during 1985-2000)
9. Nachum Dershowitz (4 paper(s) during 1991-1995)
10. Hubert Comon (3 paper(s) during 1992-1999)
11. Jan Willem Klop (3 paper(s) during 1991-1995)
12. Emmanuel Kounalis (3 paper(s) during 1985-1989)
13. Marianne Haberstrau (2 paper(s) during 1992-1994)
14. Aristide Mégrelis (2 paper(s) during 1988-1992)
15. Claude Marché (2 paper(s) during 1990-1992)
16. Alexandre Boudet (2 paper(s) during 1988-1989)
17. Manfred Schmidt-Schauß (2 paper(s) during 1988-1989)
18. Joseph A. Goguen (2 paper(s) during 1985)
19. Vincent van Oostrom (1 paper(s) during 2009)
20. Ian Mackie (1 paper(s) during 2007)
21. Jacek Chrzaszcz (1 paper(s) during 2006)
22. Weiwen Xu (1 paper(s) during 2006)
23. Mehmet Dincbas (1 paper(s) during 1999)
24. Ralf Treinen (1 paper(s) during 1999)
25. Maribel Fernández (1 paper(s) during 1994)
26. Walid Sadfi (1 paper(s) during 1994)
27. Jieh Hsiang (1 paper(s) during 1990)
28. Kokichi Futatsugi (1 paper(s) during 1985)
29. Miguel Munoz (1 paper(s) during 1984)
30. Jean-Luc Remy (1 paper(s) during 1983)
31. Pierre Lescanne (1 paper(s) during 1982)
32. Gérard D. Guiho (1 paper(s) during 1977)
33. Jean-Pierre Treuil (1 paper(s) during 1977)