2006 |
15 | EE | Amos Korman,
David Peleg,
Yoav Rodeh:
Constructing Labeling Schemes Through Universal Matrices.
ISAAC 2006: 409-418 |
14 | EE | Yoav Rodeh,
Ofer Strichman:
Building small equality graphs for deciding equality logic with uninterpreted functions.
Inf. Comput. 204(1): 26-59 (2006) |
2004 |
13 | EE | Amos Korman,
David Peleg,
Yoav Rodeh:
Labeling Schemes for Dynamic Tree Networks.
Theory Comput. Syst. 37(1): 49-75 (2004) |
2003 |
12 | EE | Michael Langberg,
Amir Pnueli,
Yoav Rodeh:
The ROBDD Size of Simple CNF Formulas.
CHARME 2003: 363-377 |
11 | EE | Sharon Keidar,
Yoav Rodeh:
Searching for Counter-Examples Adaptively.
IWFM 2003 |
10 | EE | 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).
Inf. Comput. 184(1): 227 (2003) |
2002 |
9 | EE | Amos Korman,
David Peleg,
Yoav Rodeh:
Labeling Schemes for Dynamic Tree Networks.
STACS 2002: 76-87 |
8 | EE | Amir Pnueli,
Yoav Rodeh,
Ofer Strichman,
Michael Siegel:
The Small Model Property: How Small Can It Be?
Inf. Comput. 178(1): 279-293 (2002) |
2001 |
7 | EE | Yoav Rodeh,
Ofer Strichman:
Finite Instantiations in Equivalence Logic with Uninterpreted Functions.
CAV 2001: 144-154 |
6 | EE | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Dana Fisman,
Anna Gringauze,
Yoav Rodeh:
The Temporal Logic Sugar.
CAV 2001: 363-367 |
5 | EE | Amir Pnueli,
Yoav Rodeh,
Ofer Strichman:
Range Allocation for Equivalence Logic.
FSTTCS 2001: 317-333 |
4 | | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Yoav Rodeh:
Efficient Detection of Vacuity in Temporal Model Checking.
Formal Methods in System Design 18(2): 141-163 (2001) |
1999 |
3 | EE | Amir Pnueli,
Yoav Rodeh,
Ofer Strichman,
Michael Siegel:
Deciding Equality Formulas by Small Domains Instantiations.
CAV 1999: 455-469 |
1997 |
2 | | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Yoav Rodeh:
Efficient Detection of Vacuity in ACTL Formulaas.
CAV 1997: 279-290 |
1 | | 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.
CAV 1997: 480-483 |