Search the dblp DataBase

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]