The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Co-authors

Zohar Manna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Amir Pnueli (39 paper(s) during 1969-2010)
  2. Henny B. Sipma (26 paper(s) during 2004-2008)
  3. Richard J. Waldinger (26 paper(s) during 1971-1995)
  4. Henny Sipma (21 paper(s) during 1994-2004)
  5. César Sánchez (11 paper(s) during 2003-2008)
  6. Sriram Sankaranarayanan (9 paper(s) during 2003-2006)
  7. Tomás E. Uribe (9 paper(s) during 1995-2001)
  8. Anca Browne (9 paper(s) during 1995-2000)
  9. Aaron R. Bradley (8 paper(s) during 2005-2007)
  10. Ting Zhang (7 paper(s) during 2003-2007)
  11. Nikolaj Bjørner (7 paper(s) during 1995-2001)
  12. Thomas A. Henzinger (6 paper(s) during 1991-1994)
  13. Martín Abadi (6 paper(s) during 1985-1990)
  14. Nachum Dershowitz (6 paper(s) during 1977-1981)
  15. Michael Colón (5 paper(s) during 1995-2006)
  16. Bernd Finkbeiner (5 paper(s) during 1997-2005)
  17. Yonit Kesten (5 paper(s) during 1993-2000)
  18. Luca de Alfaro (5 paper(s) during 1995-1997)
  19. Matteo Slanina (4 paper(s) during 2005-2008)
  20. Christopher D. Gill (4 paper(s) during 2005-2006)
  21. Arjun Kapur (4 paper(s) during 1994-1997)
  22. Edward Y. Chang (4 paper(s) during 1992-1996)
  23. Adi Shamir (4 paper(s) during 1975-1978)
  24. Shmuel Katz (3 paper(s) during 1973-1976)
  25. Edward A. Ashcroft (3 paper(s) during 1971-1975)
  26. Jean Vuillemin (3 paper(s) during 1972-1973)
  27. Venkita Subramonian (2 paper(s) during 2005-2006)
  28. Hugh McGuire (2 paper(s) during 1993-1994)
  29. Yonathan Malachi (2 paper(s) during 1984-1986)
  30. Pierre Wolper (2 paper(s) during 1981-1984)
  31. Ben C. Moszkowski (2 paper(s) during 1983)
  32. Mordechai Ben-Ari (2 paper(s) during 1981-1983)
  33. Ashok K. Chandra (2 paper(s) during 1972-1976)
  34. Ben D'Angelo (1 paper(s) during 2005)
  35. Sandeep Mehrotra (1 paper(s) during 2005)
  36. Will Robinson (1 paper(s) during 2005)
  37. David L. Dill (1 paper(s) during 2003)
  38. Calogero G. Zarba (1 paper(s) during 2002)
  39. Harish Devarajan (1 paper(s) during 1995)
  40. Jaejin Lee (1 paper(s) during 1995)
  41. Massimo Paltrinieri (1 paper(s) during 1995)
  42. Anuchit Anuchitanukul (1 paper(s) during 1994)
  43. Oded Maler (1 paper(s) during 1991)
  44. Bengt Jonsson (1 paper(s) during 1986)
  45. Joseph Y. Halpern (1 paper(s) during 1983)
  46. Stephen Nes (1 paper(s) during 1973)
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002