Yoav Rodeh

According to our database, Yoav Rodeh authored at least 27 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.

Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021

Navigating in Trees with Permanently Noisy Advice.

Lucas Boczkowski, Uriel Feige, Amos Korman, Yoav Rodeh

ACM Trans. Algorithms, 2021

2020

Multi-round cooperative search games with multiple players.

Amos Korman, Yoav Rodeh

J. Comput. Syst. Sci., 2020

2019

Parallel Bayesian Search with No Coordination.

Pierre Fraigniaud, Amos Korman, Yoav Rodeh

J. ACM, 2019

2018

The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.

Amos Korman, Yoav Rodeh

ACM Trans. Algorithms, 2018

Cooperative Search Games: Symmetric Equilibria, Robustness, and Price of Anarchy.

Amos Korman, Yoav Rodeh

CoRR, 2018

Searching a Tree with Permanently Noisy Advice.

Lucas Boczkowski, Amos Korman, Yoav Rodeh

Proceedings of the 26th Annual European Symposium on Algorithms, 2018

2017

Fast rendezvous on a cycle by agents with different speeds.

Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh

Theor. Comput. Sci., 2017

Parallel Search with No Coordination.

Amos Korman, Yoav Rodeh

Proceedings of the Structural Information and Communication Complexity, 2017

2016

Parallel Linear Search with no Coordination for a Randomly Placed Treasure.

Amos Korman, Yoav Rodeh

CoRR, 2016

Searching on Trees with Noisy Memory.

Lucas Boczkowski, Amos Korman, Yoav Rodeh

CoRR, 2016

Parallel exhaustive search without coordination.

Pierre Fraigniaud, Amos Korman, Yoav Rodeh

Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

2012

Rendezvous of Agents with Different Speeds

Ofer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh

CoRR, 2012

2010

Constructing Labeling Schemes through Universal Matrices.

Amos Korman, David Peleg, Yoav Rodeh

Algorithmica, 2010

2006

Building small equality graphs for deciding equality logic with uninterpreted functions.

Yoav Rodeh, Ofer Strichman

Inf. Comput., 2006

2004

Labeling Schemes for Dynamic Tree Networks.

Amos Korman, David Peleg, Yoav Rodeh

Theory Comput. Syst., 2004

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

Searching for Counter-Examples Adaptively.

Sharon Keidar, Yoav Rodeh

Proceedings of the 6th International Workshop on Formal Methods, 2003

The ROBDD Size of Simple CNF Formulas.

Michael Langberg, Amir Pnueli, Yoav Rodeh

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

The Small Model Property: How Small Can It Be?

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel

Inf. Comput., 2002

2001

Efficient Detection of Vacuity in Temporal Model Checking.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Formal Methods Syst. Des., 2001

Range Allocation for Equivalence Logic.

Amir Pnueli, Yoav Rodeh, Ofer Strichman

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Finite Instantiations in Equivalence Logic with Uninterpreted Functions.

Yoav Rodeh, Ofer Strichman

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

The Temporal Logic Sugar.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

Deciding Equality Formulas by Small Domains Instantiations.

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

Efficient Detection of Vacuity in ACTL Formulaas.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

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

Proceedings of the Computer Aided Verification, 9th International Conference, 1997