RuleBase: Model Checking at IBM. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Daniel Geist; Leonid Gluhovsky; Tamir Heyman; Avner Landver; P. Paanah; Yoav Rodeh; G. Ronin; Yaron Wolfsthal (CAV, 1997)

Efficient Detection of Vacuity in ACTL Formulaas. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (CAV, 1997)

Deciding Equality Formulas by Small Domains Instantiations. - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (CAV, 1999)

The Temporal Logic Sugar. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Dana Fisman; Anna Gringauze; Yoav Rodeh (CAV, 2001)

Finite Instantiations in Equivalence Logic with Uninterpreted Functions. - Yoav Rodeh; Ofer Strichman (CAV, 2001)

Range Allocation for Equivalence Logic. - Amir Pnueli; Yoav Rodeh; Ofer Strichman (FSTTCS, 2001)

Efficient Detection of Vacuity in Temporal Model Checking. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (Formal Methods Syst. Des., 2001)

The Small Model Property: How Small Can It Be? - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (Inf. Comput., 2002)

The ROBDD Size of Simple CNF Formulas. - Michael Langberg; Amir Pnueli; Yoav Rodeh (CHARME, 2003)

Searching for Counter-Examples Adaptively. - Sharon Keidar; Yoav Rodeh (IWFM, 2003)

Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). - Amir Pnueli; Yoav Rodeh; Ofer Strichman; Michael Siegel (Inf. Comput., 2003)

Labeling Schemes for Dynamic Tree Networks. - Amos Korman; David Peleg; Yoav Rodeh (Theory Comput. Syst., 2004)

Building small equality graphs for deciding equality logic with uninterpreted functions. - Yoav Rodeh; Ofer Strichman (Inf. Comput., 2006)

Constructing Labeling Schemes through Universal Matrices. - Amos Korman; David Peleg; Yoav Rodeh (Algorithmica, 2010)

Rendezvous of Agents with Different Speeds - Ofer Feinerman; Amos Korman; Shay Kutten; Yoav Rodeh (CoRR, 2012)

Parallel exhaustive search without coordination. - Pierre Fraigniaud; Amos Korman; Yoav Rodeh (STOC, 2016)

Searching on Trees with Noisy Memory. - Lucas Boczkowski; Amos Korman; Yoav Rodeh (CoRR, 2016)

Parallel Linear Search with no Coordination for a Randomly Placed Treasure. - Amos Korman; Yoav Rodeh (CoRR, 2016)

Parallel Search with No Coordination. - Amos Korman; Yoav Rodeh (SIROCCO, 2017)

Fast rendezvous on a cycle by agents with different speeds. - Ofer Feinerman; Amos Korman; Shay Kutten; Yoav Rodeh (Theor. Comput. Sci., 2017)

Searching a Tree with Permanently Noisy Advice. - Lucas Boczkowski; Amos Korman; Yoav Rodeh (ESA, 2018)

Cooperative Search Games: Symmetric Equilibria, Robustness, and Price of Anarchy. - Amos Korman; Yoav Rodeh (CoRR, 2018)

The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. - Amos Korman; Yoav Rodeh (ACM Trans. Algorithms, 2018)

Parallel Bayesian Search with No Coordination. - Pierre Fraigniaud; Amos Korman; Yoav Rodeh (J. ACM, 2019)

Multi-round cooperative search games with multiple players. - Amos Korman; Yoav Rodeh (J. Comput. Syst. Sci., 2020)

Navigating in Trees with Permanently Noisy Advice. - Lucas Boczkowski; Uriel Feige; Amos Korman; Yoav Rodeh (ACM Trans. Algorithms, 2021)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. - Petra Hozzová; Jaroslav Bendík; Alexander Nutz; Yoav Rodeh (LPAR, 2023)

The Query Complexity of Searching Trees with Permanently Noisy Advice. - Lucas Boczkowski; Uriel Feige; Amos Korman; Yoav Rodeh (ACM Trans. Algorithms, 2025)