Co-authors

1. Nissim Francez (8 paper(s) during 1983-1991)
2. Orna Grumberg (7 paper(s) during 1983-2007)
3. Doron Peled (7 paper(s) during 1987-1992)
4. Emilia Katz (4 paper(s) during 2005-2009)
5. Marcelo Glusman (4 paper(s) during 1999-2003)
6. Marcelo Sihman (3 paper(s) during 2002-2003)
7. Dov Dori (3 paper(s) during 2001-2002)
8. Iris Reinhartz-Berger (3 paper(s) during 2001-2002)
9. Gadi Taubenfeld (3 paper(s) during 1986-1994)
10. Krzysztof R. Apt (3 paper(s) during 1987-1991)
11. Zohar Manna (3 paper(s) during 1973-1976)
12. Oren Mishali (2 paper(s) during 2006-2008)
13. Hillel Miller (2 paper(s) during 1996-1999)
14. Rina Dechter (2 paper(s) during 1991-1999)
15. Zeev Collin (2 paper(s) during 1991-1999)
16. Shlomo Moran (2 paper(s) during 1989-1994)
17. Kenneth J. Perry (2 paper(s) during 1990-1993)
18. Amir Pnueli (2 paper(s) during 1985-1991)
19. Germán S. Goldszmidt (2 paper(s) during 1988-1990)
20. Shaula Yemini (2 paper(s) during 1988-1990)
21. Yael Dubinsky (1 paper(s) during 2008)
22. Max Goldman (1 paper(s) during 2007)
23. Awais Rashid (1 paper(s) during 2004)
24. Mika Katara (1 paper(s) during 2003)
25. Katerina Korenblat (1 paper(s) during 2002)
26. Joseph Gil (1 paper(s) during 1999)
27. John M. Rushby (1 paper(s) during 1997)
28. Patrick Lincoln (1 paper(s) during 1997)
29. John H. Howard (1 paper(s) during 1994)
30. Bowen Alpern (1 paper(s) during 1991)
31. Fred B. Schneider (1 paper(s) during 1991)
32. Leslie Lamport (1 paper(s) during 1991)
33. Martín Abadi (1 paper(s) during 1991)
34. Michael Evangelist (1 paper(s) during 1989)
35. Orit Baruch (1 paper(s) during 1988)
36. Oded Shmueli (1 paper(s) during 1987)
37. Ruth Zimmerman (1 paper(s) during 1981)
38. Lawrence J. Risman (1 paper(s) during 1980)
39. Michael Rodeh (1 paper(s) during 1980)