The SCEAS System
Navigation Menu

Search the dblp DataBase


Elad Shahar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
    Symbolic Model Checking with Rich ssertional Languages. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:424-435 [Conf]
  2. Amir Pnueli, Elad Shahar
    Liveness and Acceleration in Parameterized Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:328-343 [Conf]
  3. Amir Pnueli, Elad Shahar
    A Platform for Combining Deductive with Algorithmic Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:184-195 [Conf]
  4. Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
    Network Invariants in Action. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:101-115 [Conf]
  5. Michal Jacovi, Vladimir Soroka, Gail Gilboa-Freedman, Sigalit Ur, Elad Shahar, Natalia Marmasse
    The chasms of CSCW: a citation graph analysis of the CSCW conference. [Citation Graph (0, 0)][DBLP]
    CSCW, 2006, pp:289-298 [Conf]
  6. Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
    Model Checking with Strong Fairness. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:1, pp:57-84 [Journal]
  7. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
    Symbolic model checking with rich assertional languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:256, n:1-2, pp:93-112 [Journal]

  8. Harvesting with SONAR: the value of aggregating social network information. [Citation Graph (, )][DBLP]

  9. Public vs. private: comparing public social network information with email. [Citation Graph (, )][DBLP]

  10. Social networks and discovery in the enterprise (SaND). [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002