Yoav Rodeh

发表

Dana Fisman, Ilan Beer, Shoham Ben-David, 2001, CAV.
Amir Pnueli, Ofer Strichman, Michael Siegel, 2002, Inf. Comput..
Sharon Barner, Yoav Rodeh, 2003, IWFM.
David Peleg, Amos Korman, Yoav Rodeh, 2008, Algorithmica.
David Peleg, Amos Korman, Yoav Rodeh, 2002, STACS.
Uriel Feige, Amos Korman, Yoav Rodeh, 2016, ArXiv.
Amos Korman, Yoav Rodeh, 2020, J. Comput. Syst. Sci..
Pierre Fraigniaud, Amos Korman, Yoav Rodeh, 2019, J. ACM.
Pierre Fraigniaud, Amos Korman, Yoav Rodeh, 2015, STOC.
David Peleg, Amos Korman, Yoav Rodeh, 2006, ISAAC.
Amos Korman, Yoav Rodeh, 2017, SIROCCO.
Amir Pnueli, Michael Langberg, Yoav Rodeh, 2003, CHARME.
Amos Korman, Yoav Rodeh, Lucas Boczkowski, 2018, ESA.
Shay Kutten, Amos Korman, Yoav Rodeh, 2017, Theor. Comput. Sci..
Ilan Beer, Shoham Ben-David, Cindy Eisner, 2001, Formal Methods Syst. Des..
David Peleg, Amos Korman, Yoav Rodeh, 2002, Theory of Computing Systems.
Amos Korman, Yoav Rodeh, Amos Korman, 2017, ACM Trans. Algorithms.
Shay Kutten, Amos Korman, Yoav Rodeh, 2012, ArXiv.
Amir Pnueli, Ofer Strichman, Michael Siegel, 1999, CAV.
Ilan Beer, Shoham Ben-David, Cindy Eisner, 1997, CAV.
Amir Pnueli, Ofer Strichman, Yoav Rodeh, 2001, FSTTCS.
Amos Korman, Yoav Rodeh, Amos Korman, 2018, ICALP.
Shay Kutten, Amos Korman, Yoav Rodeh, 2014, ICDCN.
Uriel Feige, Amos Korman, Yoav Rodeh, 2021, ACM Trans. Algorithms.
Dana Fisman, Shoham Ben-David, Cindy Eisner, 2001 .
Amir Pnueli, Yoav Rodeh, Ofer Strichmann, 2002 .