Co-authors

1. Andrey Rybalchenko (16 paper(s) during 2004-2010)
2. Witold Charatonik (11 paper(s) during 1996-2002)
3. Hassan Aït-Kaci (10 paper(s) during 1991-1997)
4. Supratik Mukhopadhyay (8 paper(s) during 1999-2002)
5. Thomas Wies (7 paper(s) during 2005-2010)
6. Gert Smolka (6 paper(s) during 1992-1997)
7. Sebastian Kupferschmid (5 paper(s) during 2006-2009)
8. Byron Cook (5 paper(s) during 2005-2007)
9. Giorgio Delzanno (5 paper(s) during 1999-2001)
10. Joachim Niehren (5 paper(s) during 1993-2000)
11. Jochen Hoenicke (4 paper(s) during 2009-2010)
12. Silke Wagner (4 paper(s) during 2005-2007)
13. Martin Müller (4 paper(s) during 1997-2000)
14. Maurice Nivat (4 paper(s) during 1989-1997)
15. Alexander Malkis (3 paper(s) during 2006-2010)
16. Ernst-Rüdiger Olderog (3 paper(s) during 2007-2010)
17. Matthias Heizmann (3 paper(s) during 2009-2010)
18. Martin Wehrle (3 paper(s) during 2008-2009)
19. Sriram K. Rajamani (3 paper(s) during 2001-2003)
20. Thomas Ball (3 paper(s) during 2001-2003)
21. Peter Van Roy (3 paper(s) during 1993-1995)
22. Mohamed Nassim Seghir (2 paper(s) during 2007-2009)
23. Bernd Finkbeiner (2 paper(s) during 2006-2007)
24. Jörg Hoffmann (2 paper(s) during 2006-2007)
25. Klaus Dräger (2 paper(s) during 2006-2007)
26. Kurt Jensen (2 paper(s) during 2005-2006)
27. Martin C. Rinard (2 paper(s) during 2006)
28. Viktor Kuncak (2 paper(s) during 2006)
29. Bruno Blanchet (2 paper(s) during 2003-2005)
30. Javier Esparza (2 paper(s) during 1999-2000)
31. Damian Niwinski (2 paper(s) during 1991-1998)
32. Seth Copen Goldstein (2 paper(s) during 1993-1997)
33. Danièle Beauquier (2 paper(s) during 1993-1994)
34. Corina Mitrohin (1 paper(s) during 2010)
35. Neil D. Jones (1 paper(s) during 2010)
36. Sergiy Bogomolov (1 paper(s) during 2010)
37. K. Rustan M. Leino (1 paper(s) during 2009)
38. Martin Schäf (1 paper(s) during 2009)
39. Bernhard Nebel (1 paper(s) during 2008)
40. Rayna Dimitrova (1 paper(s) during 2008)
41. Alexey Gotsman (1 paper(s) during 2007)
42. Bernd Becker (1 paper(s) during 2007)
43. Gerd Behrmann (1 paper(s) during 2007)
44. Henning Dierks (1 paper(s) during 2007)
45. Martin Fränzle (1 paper(s) during 2007)
46. Moshe Y. Vardi (1 paper(s) during 2007)
47. Reinhard Wilhelm (1 paper(s) during 2007)
48. Werner Damm (1 paper(s) during 2007)
49. Jan-Georg Smaus (1 paper(s) during 2006)
50. Karen Zee (1 paper(s) during 2006)
51. Patrick Lam (1 paper(s) during 2006)
52. Amir Pnueli (1 paper(s) during 2005)
53. Ina Schaefer (1 paper(s) during 2005)
54. C. R. Ramakrishnan (1 paper(s) during 2004)
55. Michael Leuschel (1 paper(s) during 2004)
56. Ulrich Ultes-Nitsche (1 paper(s) during 2004)
57. Pablo Argón (1 paper(s) during 2001)
58. Jean-Marc Talbot (1 paper(s) during 2000)
59. David A. McAllester (1 paper(s) during 1998)
60. Igor Walukiewicz (1 paper(s) during 1998)
61. Abdelwaheb Ayari (1 paper(s) during 1997)
62. David A. Basin (1 paper(s) during 1997)
63. Leszek Pacholski (1 paper(s) during 1997)
64. Hugues Calbrix (1 paper(s) during 1993)
65. Ralf Treinen (1 paper(s) during 1993)
66. Pierre Péladeau (1 paper(s) during 1992)
67. Bruno Courcelle (1 paper(s) during 1991)