Yoav Rodeh

37 papers A* 8A 2B 3Misc 1Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Query Complexity of Searching Trees with Permanently Noisy Advice.
ACM Trans. Algorithms
Lucas Boczkowski, Uriel Feige, Amos Korman, Yoav Rodeh
2024 J jnl
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
CoRR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2023 B conf
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.
LPAR
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
2021 J jnl
Navigating in Trees with Permanently Noisy Advice.
ACM Trans. Algorithms
Lucas Boczkowski, Uriel Feige, Amos Korman, Yoav Rodeh
2020 J jnl
Multi-round cooperative search games with multiple players.
J. Comput. Syst. Sci.
Amos Korman, Yoav Rodeh
2019 A* conf
Multi-Round Cooperative Search Games with Multiple Players.
ICALP
Amos Korman, Yoav Rodeh
2019 J jnl
Parallel Bayesian Search with No Coordination.
J. ACM
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
2018 J jnl
Cooperative Search Games: Symmetric Equilibria, Robustness, and Price of Anarchy.
CoRR
Amos Korman, Yoav Rodeh
2018 A conf
Searching a Tree with Permanently Noisy Advice.
ESA
Lucas Boczkowski, Amos Korman, Yoav Rodeh
2018 J jnl
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.
ACM Trans. Algorithms
Amos Korman, Yoav Rodeh
2017 J jnl
Fast rendezvous on a cycle by agents with different speeds.
Theor. Comput. Sci.
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
2017 B conf
Parallel Search with No Coordination.
SIROCCO
Amos Korman, Yoav Rodeh
2017 J jnl
Parallel Search with no Coordination.
CoRR
Amos Korman, Yoav Rodeh
2017 A* conf
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.
ICALP
Amos Korman, Yoav Rodeh
2017 J jnl
The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.
CoRR
Amos Korman, Yoav Rodeh
2016 J jnl
Parallel Linear Search with no Coordination for a Randomly Placed Treasure.
CoRR
Amos Korman, Yoav Rodeh
2016 A* conf
Parallel exhaustive search without coordination.
STOC
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
2016 J jnl
Searching on Trees with Noisy Memory.
CoRR
Lucas Boczkowski, Amos Korman, Yoav Rodeh
2015 J jnl
Parallel Exhaustive Search without Coordination.
CoRR
Pierre Fraigniaud, Amos Korman, Yoav Rodeh
2014 Misc conf
Fast Rendezvous on a Cycle by Agents with Different Speeds.
ICDCN
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
2012 J jnl
Rendezvous of Agents with Different Speeds
CoRR
Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh
2010 J jnl
Constructing Labeling Schemes through Universal Matrices.
Algorithmica
Amos Korman, David Peleg, Yoav Rodeh
2006 J jnl
Building small equality graphs for deciding equality logic with uninterpreted functions.
Inf. Comput.
Yoav Rodeh, Ofer Strichman
2006 B conf
Constructing Labeling Schemes Through Universal Matrices.
ISAAC
Amos Korman, David Peleg, Yoav Rodeh
2004 J jnl
Labeling Schemes for Dynamic Tree Networks.
Theory Comput. Syst.
Amos Korman, David Peleg, Yoav Rodeh
2003 J jnl
Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293).
Inf. Comput.
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
2003 — conf
Searching for Counter-Examples Adaptively.
IWFM
Sharon Keidar, Yoav Rodeh
2003 — conf
The ROBDD Size of Simple CNF Formulas.
CHARME
Michael Langberg, Amir Pnueli, Yoav Rodeh
2002 A conf
Labeling Schemes for Dynamic Tree Networks.
STACS
Amos Korman, David Peleg, Yoav Rodeh
2002 J jnl
The Small Model Property: How Small Can It Be?
Inf. Comput.
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
2001 J jnl
Efficient Detection of Vacuity in Temporal Model Checking.
Formal Methods Syst. Des.
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
2001 A* conf
Finite Instantiations in Equivalence Logic with Uninterpreted Functions.
CAV
Yoav Rodeh, Ofer Strichman
2001 — conf
Range Allocation for Equivalence Logic.
FSTTCS
Amir Pnueli, Yoav Rodeh, Ofer Strichman
2001 A* conf
The Temporal Logic Sugar.
CAV
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
1999 A* conf
Deciding Equality Formulas by Small Domains Instantiations.
CAV
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
1997 A* conf
Efficient Detection of Vacuity in ACTL Formulaas.
CAV
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
1997 A* conf
RuleBase: Model Checking at IBM.
CAV
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal