The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoav Rodeh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
    The Temporal Logic Sugar. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:363-367 [Conf]
  2. Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
    RuleBase: Model Checking at IBM. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:480-483 [Conf]
  3. Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
    Efficient Detection of Vacuity in ACTL Formulaas. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:279-290 [Conf]
  4. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    Deciding Equality Formulas by Small Domains Instantiations. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:455-469 [Conf]
  5. Yoav Rodeh, Ofer Strichman
    Finite Instantiations in Equivalence Logic with Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:144-154 [Conf]
  6. Michael Langberg, Amir Pnueli, Yoav Rodeh
    The ROBDD Size of Simple CNF Formulas. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:363-377 [Conf]
  7. Amir Pnueli, Yoav Rodeh, Ofer Strichman
    Range Allocation for Equivalence Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:317-333 [Conf]
  8. Amos Korman, David Peleg, Yoav Rodeh
    Constructing Labeling Schemes Through Universal Matrices. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2006, pp:409-418 [Conf]
  9. Sharon Keidar, Yoav Rodeh
    Searching for Counter-Examples Adaptively. [Citation Graph (0, 0)][DBLP]
    IWFM, 2003, pp:- [Conf]
  10. Amos Korman, David Peleg, Yoav Rodeh
    Labeling Schemes for Dynamic Tree Networks. [Citation Graph (0, 0)][DBLP]
    STACS, 2002, pp:76-87 [Conf]
  11. Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
    Efficient Detection of Vacuity in Temporal Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:141-163 [Journal]
  12. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:1, pp:227- [Journal]
  13. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    The Small Model Property: How Small Can It Be? [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:279-293 [Journal]
  14. Yoav Rodeh, Ofer Strichman
    Building small equality graphs for deciding equality logic with uninterpreted functions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:1, pp:26-59 [Journal]
  15. Amos Korman, David Peleg, Yoav Rodeh
    Labeling Schemes for Dynamic Tree Networks. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2004, v:37, n:1, pp:49-75 [Journal]

Search in 0.004secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002