Yoav Rodeh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2023

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationPetra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh. lpar 2023: 257-269 [doi]

2021

Navigating in Trees with Permanently Noisy AdviceLucas Boczkowski, Uriel Feige, Amos Korman, Yoav Rodeh. TALG, 17(2), 2021. [doi]

2020

Multi-round cooperative search games with multiple playersAmos Korman, Yoav Rodeh. jcss, 113:125-149, 2020. [doi]

2019

Parallel Bayesian Search with No CoordinationPierre Fraigniaud, Amos Korman, Yoav Rodeh. JACM, 66(3), 2019. [doi]

Multi-Round Cooperative Search Games with Multiple PlayersAmos Korman, Yoav Rodeh. icalp 2019: [doi]

2018

Searching a Tree with Permanently Noisy AdviceLucas Boczkowski, Amos Korman, Yoav Rodeh. esa 2018: [doi]

The Dependent Doors Problem: An Investigation into Sequential Decisions without FeedbackAmos Korman, Yoav Rodeh. TALG, 14(4), 2018. [doi]

2017

Fast rendezvous on a cycle by agents with different speedsOfer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh. TCS, 688:77-85, 2017. [doi]

The Dependent Doors Problem: An Investigation into Sequential Decisions without FeedbackAmos Korman, Yoav Rodeh. icalp 2017: [doi]

Parallel Search with No CoordinationAmos Korman, Yoav Rodeh. sirocco 2017: 195-211 [doi]

2016

Parallel exhaustive search without coordinationPierre Fraigniaud, Amos Korman, Yoav Rodeh. stoc 2016: 312-323 [doi]

2014

Fast Rendezvous on a Cycle by Agents with Different SpeedsOfer Feinerman, Amos Korman, Shay Kutten, Yoav Rodeh. icdcn 2014: 1-13 [doi]

2010

Constructing Labeling Schemes through Universal MatricesAmos Korman, David Peleg, Yoav Rodeh. algorithmica, 57(4):641-652, 2010. [doi]

2006

Constructing Labeling Schemes Through Universal MatricesAmos Korman, David Peleg, Yoav Rodeh. isaac 2006: 409-418 [doi]

Building small equality graphs for deciding equality logic with uninterpreted functionsYoav Rodeh, Ofer Strichman. iandc, 204(1):26-59, 2006. [doi]

2004

Labeling Schemes for Dynamic Tree NetworksAmos Korman, David Peleg, Yoav Rodeh. mst, 37(1):49-75, 2004. [doi]

2003

Searching for Counter-Examples AdaptivelySharon Keidar, Yoav Rodeh. iwfm 2003: [doi]

The ROBDD Size of Simple CNF FormulasMichael Langberg, Amir Pnueli, Yoav Rodeh. charme 2003: 363-377 [doi]

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. iandc, 184(1):227, 2003. [doi]

2002

Labeling Schemes for Dynamic Tree NetworksAmos Korman, David Peleg, Yoav Rodeh. STACS 2002: 76-87 [doi]

The Small Model Property: How Small Can It Be?Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel. iandc, 178(1):279-293, 2002. [doi]

2001

1999

Deciding Equality Formulas by Small Domains InstantiationsAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel. cav 1999: 455-469 [doi]

1997

RuleBase: Model Checking at IBMIlan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal. cav 1997: 480-483

Efficient Detection of Vacuity in ACTL FormulaasIlan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh. cav 1997: 279-290

Sign in or sign up to see more results.

runs on WebDSL