Yoav Rodeh

MaRDI QIDQ202474zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7561639 (Why is no real title available?)	2022-07-21	Paper
Navigating in Trees with Permanently Noisy Advice ACM Transactions on Algorithms	2022-02-16	Paper
Searching a Tree with Permanently Noisy Advice	2021-08-04	Paper
Multi-round cooperative search games with multiple players Journal of Computer and System Sciences	2020-06-09	Paper
scientific article; zbMATH DE number 7204533 (Why is no real title available?) (available as arXiv preprint)	2020-05-27	Paper
Parallel Bayesian search with no coordination Journal of the ACM	2019-11-21	Paper
The dependent doors problem: an investigation into sequential decisions without feedback ACM Transactions on Algorithms	2019-03-28	Paper
Parallel search with no coordination (available as arXiv preprint)	2018-04-12	Paper
Parallel exhaustive search without coordination Proceedings of the forty-eighth annual ACM symposium on Theory of Computing	2017-09-29	Paper
Fast rendezvous on a cycle by agents with different speeds Theoretical Computer Science	2017-06-19	Paper
Constructing labeling schemes through universal matrices Algorithmica	2010-05-28	Paper
The ROBDD size of simple CNF formulas Lecture Notes in Computer Science	2010-02-05	Paper
Constructing Labeling Schemes Through Universal Matrices Algorithms and Computation	2008-04-24	Paper
Building small equality graphs for deciding equality logic with uninterpreted functions Information and Computation	2006-04-28	Paper
Labeling schemes for dynamic tree networks Theory of Computing Systems	2005-01-25	Paper
scientific article; zbMATH DE number 2102726 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 2086375 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2081115 (Why is no real title available?)	2004-08-04	Paper
The small model property: How small can it be? Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1796130 (Why is no real title available?)	2002-09-04	Paper
Efficient detection of vacuity in temporal model checking Formal Methods in System Design	2002-04-09	Paper

Research outcomes over time

This page was built for person: Yoav Rodeh