Search Results - Rodeh, Yoav

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    Ant collective cognition allows for efficient navigation through disordered environments

    Ant collective cognition allows for efficient navigation through disordered environments by Gelblum, Aviram, Fonio, Ehud, Rodeh, Yoav, Korman, Amos, Feinerman, Ofer

    Published in eLife
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Multi-round cooperative search games with multiple players

    Multi-round cooperative search games with multiple players by Korman, Amos, Rodeh, Yoav

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Parallel Bayesian Search with No Coordination

    Parallel Bayesian Search with No Coordination by Fraigniaud, Pierre, Korman, Amos, Rodeh, Yoav

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback

    The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback by Korman, Amos, Rodeh, Yoav

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Navigating in Trees with Permanently Noisy Advice

    Navigating in Trees with Permanently Noisy Advice by Boczkowski, Lucas, Feige, Uriel, Korman, Amos, Rodeh, Yoav

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Fast rendezvous on a cycle by agents with different speeds

    Fast rendezvous on a cycle by agents with different speeds by Feinerman, Ofer, Korman, Amos, Kutten, Shay, Rodeh, Yoav

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Constructing Labeling Schemes through Universal Matrices

    Constructing Labeling Schemes through Universal Matrices by Korman, Amos, Peleg, David, Rodeh, Yoav

    Published in Algorithmica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

    Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification by Hozzová, Petra, Bendík, Jaroslav, Nutz, Alexander, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The Small Model Property: How Small Can It Be?

    The Small Model Property: How Small Can It Be? by Pnueli, A

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Labeling Schemes for Dynamic Tree Networks

    Labeling Schemes for Dynamic Tree Networks by Korman, Amos, Peleg, David, Rodeh, Yoav

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Building small equality graphs for deciding equality logic with uninterpreted functions

    Building small equality graphs for deciding equality logic with uninterpreted functions by Rodeh, Yoav, Strichman, Ofer

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Multi-Round Cooperative Search Games with Multiple Players

    Multi-Round Cooperative Search Games with Multiple Players by Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    The Small Model Property: How Small Can It Be?

    The Small Model Property: How Small Can It Be? by Pnueli, Amir, Rodeh, Yoav, Strichman, Ofer, Siegel, Michael

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Parallel Search with no Coordination

    Parallel Search with no Coordination by Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback

    The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback by Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Parallel Linear Search with no Coordination for a Randomly Placed Treasure

    Parallel Linear Search with no Coordination for a Randomly Placed Treasure by Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Erratum to “The small model property: how small can it be?” [Inform. Comput. 178 (2002) 279–293]

    Erratum to “The small model property: how small can it be?” [Inform. Comput. 178 (2002) 279–293] by Pnueli, Amir, Rodeh, Yoav, Strichman, Ofer, Siegel, Michael

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Searching Trees with Permanently Noisy Advice: Walking and Query Algorithms

    Searching Trees with Permanently Noisy Advice: Walking and Query Algorithms by Boczkowski, Lucas, Feige, Uriel, Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Parallel Exhaustive Search without Coordination

    Parallel Exhaustive Search without Coordination by Fraigniaud, Pierre, Korman, Amos, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Fast Rendezvous on a Cycle by Agents with Different Speeds

    Fast Rendezvous on a Cycle by Agents with Different Speeds by Feinerman, Ofer, Korman, Amos, Kutten, Shay, Rodeh, Yoav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: