Yoav Rodeh

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5092351	2022-07-21	Paper
Navigating in Trees with Permanently Noisy Advice	2022-02-16	Paper
Searching a Tree with Permanently Noisy Advice	2021-08-04	Paper
Multi-round cooperative search games with multiple players	2020-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111412	2020-05-27	Paper
Parallel Bayesian Search with No Coordination	2019-11-21	Paper
The Dependent Doors Problem	2019-03-28	Paper
Parallel search with no coordination	2018-04-12	Paper
Parallel exhaustive search without coordination	2017-09-29	Paper
Fast rendezvous on a cycle by agents with different speeds	2017-06-19	Paper
Constructing labeling schemes through universal matrices	2010-05-28	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Constructing Labeling Schemes Through Universal Matrices	2008-04-24	Paper
Building small equality graphs for deciding equality logic with uninterpreted functions	2006-04-28	Paper
Labeling schemes for dynamic tree networks	2005-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4818813	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4736829	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474229	2004-08-04	Paper
The small model property: How small can it be?	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4551144	2002-09-04	Paper
Efficient detection of vacuity in temporal model checking	2002-04-09	Paper

This page was built for person: Yoav Rodeh