Yoav Rodeh

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

Coauthor Index

1	Ilan Beer	[1] [2] [4] [6]
2	Shoham Ben-David	[1] [2] [4] [6]
3	Cindy Eisner	[1] [2] [4] [6]
4	Dana Fisman	[6]
5	Daniel Geist	[1]
6	Leonid Gluhovsky	[1]
7	Anna Gringauze	[6]
8	Tamir Heyman	[1]
9	Sharon Keidar	[11]
10	Amos Korman	[9] [13] [15]
11	Avner Landver	[1]
12	Michael Langberg	[12]
13	P. Paanah	[1]
14	David Peleg	[9] [13] [15]
15	Amir Pnueli	[3] [5] [8] [10] [12]
16	G. Ronin	[1]
17	Michael Siegel	[3] [8] [10]
18	Ofer Strichman	[3] [5] [7] [8] [10] [14]
19	Yaron Wolfsthal (Yaron Wolfstahl)	[1]

Colors in the list of coauthors