Yoav Rodeh

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 18

Top Topics

Distributed Agents

Euclidean Distance Transform

Integer Arithmetic

Top Venues

ACM Trans. Algorithms

J. Comput. Syst. Sci.

Publications

Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. CoRR (2024)
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. LPAR (2023)
Lucas Boczkowski, Uriel Feige, Amos Korman, Yoav Rodeh
Navigating in Trees with Permanently Noisy Advice. ACM Trans. Algorithms 17 (2) (2021)
Amos Korman, Yoav Rodeh
Multi-round cooperative search games with multiple players. J. Comput. Syst. Sci. 113 (2020)
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
Parallel Bayesian Search with No Coordination. J. ACM 66 (3) (2019)
Amos Korman, Yoav Rodeh
Multi-Round Cooperative Search Games with Multiple Players. ICALP (2019)
Amos Korman, Yoav Rodeh
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. ACM Trans. Algorithms 14 (4) (2018)
Lucas Boczkowski, Amos Korman, Yoav Rodeh
Searching a Tree with Permanently Noisy Advice. ESA (2018)
Amos Korman, Yoav Rodeh
Cooperative Search Games: Symmetric Equilibria, Robustness, and Price of Anarchy. CoRR (2018)
Amos Korman, Yoav Rodeh
Parallel Search with no Coordination. CoRR (2017)
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
Fast rendezvous on a cycle by agents with different speeds. Theor. Comput. Sci. 688 (2017)
Amos Korman, Yoav Rodeh
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. ICALP (2017)
Amos Korman, Yoav Rodeh
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback. CoRR (2017)
Amos Korman, Yoav Rodeh
Parallel Search with No Coordination. SIROCCO (2017)
Amos Korman, Yoav Rodeh
Parallel Linear Search with no Coordination for a Randomly Placed Treasure. CoRR (2016)
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
Parallel exhaustive search without coordination. STOC (2016)
Lucas Boczkowski, Amos Korman, Yoav Rodeh
Searching on Trees with Noisy Memory. CoRR (2016)
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
Parallel Exhaustive Search without Coordination. CoRR (2015)
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
Fast Rendezvous on a Cycle by Agents with Different Speeds. ICDCN (2014)
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
Rendezvous of Agents with Different Speeds CoRR (2012)
Amos Korman, David Peleg, Yoav Rodeh
Constructing Labeling Schemes through Universal Matrices. Algorithmica 57 (4) (2010)
Yoav Rodeh, Ofer Strichman
Building small equality graphs for deciding equality logic with uninterpreted functions. Inf. Comput. 204 (1) (2006)
Amos Korman, David Peleg, Yoav Rodeh
Constructing Labeling Schemes Through Universal Matrices. ISAAC (2006)
Amos Korman, David Peleg, Yoav Rodeh
Labeling Schemes for Dynamic Tree Networks. Theory Comput. Syst. 37 (1) (2004)
Michael Langberg, Amir Pnueli, Yoav Rodeh
The ROBDD Size of Simple CNF Formulas. CHARME (2003)
Sharon Keidar, Yoav Rodeh
Searching for Counter-Examples Adaptively. IWFM (2003)
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) (2003)
Amos Korman, David Peleg, Yoav Rodeh
Labeling Schemes for Dynamic Tree Networks. STACS (2002)
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
The Small Model Property: How Small Can It Be? Inf. Comput. 178 (1) (2002)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. CAV (2001)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods Syst. Des. 18 (2) (2001)
Yoav Rodeh, Ofer Strichman
Finite Instantiations in Equivalence Logic with Uninterpreted Functions. CAV (2001)
Amir Pnueli, Yoav Rodeh, Ofer Strichman
Range Allocation for Equivalence Logic. FSTTCS (2001)
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
Deciding Equality Formulas by Small Domains Instantiations. CAV (1999)
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)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in ACTL Formulaas. CAV (1997)