Co-authors

1. Leslie Lamport (6 paper(s) during 1994-2010)
2. Alexander Knapp (6 paper(s) during 2001-2006)
3. Damien Doligez (4 paper(s) during 2008-2010)
4. Kaustuv Chaudhuri (4 paper(s) during 2008-2010)
5. Dominique Méry (4 paper(s) during 2000-2006)
6. Martin Wirsing (3 paper(s) during 2003-2006)
7. Dominique Cansell (3 paper(s) during 2000-2001)
8. Martín Abadi (3 paper(s) during 1994-1996)
9. Eun-Young Kang (2 paper(s) during 2006-2007)
10. Júlia Zappe (2 paper(s) during 2003-2006)
11. Moritz Hammer (2 paper(s) during 2005)
12. Corinne Servieres (2 paper(s) during 1993-1995)
13. Jean Paul Bahsoun (2 paper(s) during 1993-1995)
14. Alexander Schimpf (1 paper(s) during 2009)
15. Bernadette Charron-Bost (1 paper(s) during 2009)
16. Francisco Javier López-Fraguas (1 paper(s) during 2009)
17. Hehua Zhang (1 paper(s) during 2009)
18. Jan-Georg Smaus (1 paper(s) during 2009)
19. Juan Rodríguez-Hortalá (1 paper(s) during 2009)
20. Ming Gu (1 paper(s) during 2009)
21. Mouna Chaouch-Saad (1 paper(s) during 2009)
22. Tobias Nipkow (1 paper(s) during 2007)
23. Alwen Fernanto Tiu (1 paper(s) during 2006)
24. Houda Fekih (1 paper(s) during 2006)
25. Jean-Yves Marion (1 paper(s) during 2006)
26. Leendert W. N. van der Torre (1 paper(s) during 2006)
27. Leila Jemni Ben Ayed (1 paper(s) during 2006)
28. Leonor Prensa Nieto (1 paper(s) during 2006)
29. Pascal Fontaine (1 paper(s) during 2006)
30. Pierre Wolper (1 paper(s) during 2006)
31. Reinhard Wilhelm (1 paper(s) during 2006)
32. Serge Autexier (1 paper(s) during 2006)
33. Christopher Rauh (1 paper(s) during 2002)
34. Timm Schäfer (1 paper(s) during 2001)
35. Yassin Mokhtari (1 paper(s) during 1999)
36. François Bourdoncle (1 paper(s) during 1997)
37. Frank Lesske (1 paper(s) during 1995)
38. Katharina Spies (1 paper(s) during 1994)
39. Manfred Broy (1 paper(s) during 1994)
40. Fred Kröger (1 paper(s) during 1991)