MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yoav Rodeh" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Constructing Labeling schemes through Universal Matrices
by Amos Korman, David Peleg, Yoav Rodeh — 2006 — In Proc. 17th Int. Symp. on Algorithms and Computation
… ⋆⋆ , and Yoav Rodeh 3 1 Information Systems Group, Faculty of IE&M, The Technion,Israel. pandit…
Cited by 2 (2 self) – Add To MetaCart

Labeling Schemes for Dynamic Tree Networks
by Amos Korman, David Peleg, Yoav Rodeh — 2002 — Theory of Computing Systems
…Labeling Schemes for Dynamic Tree Networks Amos Korman ∗ David Peleg ∗ † Yoav Rodeh ∗ September 5…
Cited by 10 (7 self) – Add To MetaCart

Deciding Equality Formulas by Small Domains Instantiations
by Amir Pnueli, Yoav Rodeh, Ofer Shtrichman, Michael Siegel — 1999 — Computer-Aided Verification
…Deciding Equality Formulas by Small Domains Instantiations ? Amir Pnueli, Yoav Rodeh, Ofer…
Cited by 43 (8 self) – Add To MetaCart

Efficient Detection of Vacuity in ACTL Formulas
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Yoav Rodeh — 1997 — FMSD
…Efficient Detection of Vacuity in ACTL Formulas Ilan Beer, Shoham Ben-David, Cindy Eisner and Yoav…
Cited by 30 (4 self) – Add To MetaCart

The Temporal Logic Sugar
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh — 2001
…;2 , Anna Gringauze 1 , Yoav Rodeh 1;2 1 IBM Haifa Research Laboratory 2 Weizmann Institute of Science…
Cited by 43 (7 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB