| 2023 | LPAR | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. | Petra Hozzov, Jaroslav Bendk, Alexander Nutz, Yoav Rodeh |
| 2019 | ICALP | Multi-Round Cooperative Search Games with Multiple Players. | Amos Korman, Yoav Rodeh |
| 2018 | ESA | Searching a Tree with Permanently Noisy Advice. | Lucas Boczkowski, Amos Korman, Yoav Rodeh |
| 2017 | ICALP | The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. | Amos Korman, Yoav Rodeh |
| 2017 | SIROCCO | Parallel Search with No Coordination. | Amos Korman, Yoav Rodeh |
| 2016 | STOC | Parallel exhaustive search without coordination. | Pierre Fraigniaud, Amos Korman, Yoav Rodeh |
| 2014 | ICDCN | Fast Rendezvous on a Cycle by Agents with Different Speeds. | Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh |
| 2006 | ISAAC | Constructing Labeling Schemes Through Universal Matrices. | Amos Korman, David Peleg, Yoav Rodeh |
| 2002 | STACS | Labeling Schemes for Dynamic Tree Networks. | Amos Korman, David Peleg, Yoav Rodeh |
| 2001 | CAV | The Temporal Logic Sugar. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
| 2001 | CAV | Finite Instantiations in Equivalence Logic with Uninterpreted Functions. | Yoav Rodeh, Ofer Strichman |
| 1999 | CAV | Deciding Equality Formulas by Small Domains Instantiations. | Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel |
| 1997 | CAV | 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 |
| 1997 | CAV | Efficient Detection of Vacuity in ACTL Formulaas. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |