Co-authors

1. Yuri Gurevich (42 paper(s) during 1982-2010)
2. Nachum Dershowitz (3 paper(s) during 2008-2010)
3. Benjamin Rossman (3 paper(s) during 2005-2007)
4. Saharon Shelah (3 paper(s) during 1989-2002)
5. Dean Rosenzweig (2 paper(s) during 2007)
6. Jan Van den Bussche (2 paper(s) during 2000-2002)
7. Andre Scedrov (2 paper(s) during 1986-1992)
8. Wolfgang Reisig (1 paper(s) during 2010)
9. Su Gao (1 paper(s) during 2009)
10. Yi Zhang 0008 (1 paper(s) during 2009)
11. Madan Musuvathi (1 paper(s) during 2008)
12. Nikolaj Bjørner (1 paper(s) during 2008)
13. Boris Mitavskiy (1 paper(s) during 2005)
14. Gábor Braun (1 paper(s) during 2005)
15. Lev Nachmanson (1 paper(s) during 2005)
16. Margus Veanes (1 paper(s) during 2005)
17. Victor Pambuccian (1 paper(s) during 2003)
18. Heike Mildenberger (1 paper(s) during 1999)
19. Luc Longpré (1 paper(s) during 1998)
20. Vladik Kreinovich (1 paper(s) during 1998)
21. Alan D. Taylor (1 paper(s) during 1992)
22. Paul Erdös (1 paper(s) during 1992)
23. Claude Laflamme (1 paper(s) during 1989)
24. Louise Hay (1 paper(s) during 1986)
25. Peter G. Hinman (1 paper(s) during 1986)
26. Dexter Kozen (1 paper(s) during 1985)
27. Frank Harary (1 paper(s) during 1980)
28. Zevi Miller (1 paper(s) during 1980)
29. Douglas A. Cenzer (1 paper(s) during 1974)