The SCEAS System
| |||||||

## Search the dblp DataBase
Yoav Rodeh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - Yoav Rodeh, Ofer Strichman
**Finite Instantiations in Equivalence Logic with Uninterpreted Functions.**[Citation Graph (0, 0)][DBLP] CAV, 2001, pp:144-154 [Conf] - Michael Langberg, Amir Pnueli, Yoav Rodeh
**The ROBDD Size of Simple CNF Formulas.**[Citation Graph (0, 0)][DBLP] CHARME, 2003, pp:363-377 [Conf] - Amir Pnueli, Yoav Rodeh, Ofer Strichman
**Range Allocation for Equivalence Logic.**[Citation Graph (0, 0)][DBLP] FSTTCS, 2001, pp:317-333 [Conf] - Amos Korman, David Peleg, Yoav Rodeh
**Constructing Labeling Schemes Through Universal Matrices.**[Citation Graph (0, 0)][DBLP] ISAAC, 2006, pp:409-418 [Conf] - Sharon Keidar, Yoav Rodeh
**Searching for Counter-Examples Adaptively.**[Citation Graph (0, 0)][DBLP] IWFM, 2003, pp:- [Conf] - Amos Korman, David Peleg, Yoav Rodeh
**Labeling Schemes for Dynamic Tree Networks.**[Citation Graph (0, 0)][DBLP] STACS, 2002, pp:76-87 [Conf] - 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] - 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] - 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] - 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] - 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |