No photo of Yoram Moses

View Scopus Profile

Yoram Moses

Prof.

    1984 …2024

    Research activity per year

    Filter
    Article

    Search results

    • 2023

      Distributed Dispatching in the Parallel Server Model

      Goren, G., Vargaftik, S. & Moses, Y., 1 Aug 2023, In: IEEE/ACM Transactions on Networking. 31, 4, p. 1521-1534 14 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Stochastic coordination in heterogeneous load balancing systems

      Goren, G., Vargaftik, S. & Moses, Y., Sep 2023, In: Distributed Computing. 36, 3, p. 253-275 23 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2022

      Unbeatable consensus

      Castañeda, A., Gonczarowski, Y. A. & Moses, Y., Apr 2022, In: Distributed Computing. 35, 2, p. 123-143 21 p.

      Research output: Contribution to journal › Article › peer-review

    • 2021

      Optimistically tuning synchronous byzantine consensus: another win for null messages

      Goren, G. & Moses, Y., Oct 2021, In: Distributed Computing. 34, 5, p. 395-410 16 p.

      Research output: Contribution to journal › Article › peer-review

    • 2020

      Silence

      Goren, G. & Moses, Y., Jan 2020, In: Journal of the ACM. 67, 1, 3.

      Research output: Contribution to journal › Article › peer-review

    • 2018

      Mutual exclusion as a matter of priority

      Moses, Y. & Patkin, K., 3 Dec 2018, In: Theoretical Computer Science. 751, p. 46-60 15 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2017

      Characterizing solution concepts in terms of common knowledge of rationality

      Halpern, J. Y. & Moses, Y., 1 May 2017, In: International Journal of Game Theory. 46, 2, p. 457-473 17 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates

      Mizrahi, T., Rottenstreich, O. & Moses, Y., Apr 2017, In: IEEE/ACM Transactions on Networking. 25, 2, p. 849-863 15 p.

      Research output: Contribution to journal › Article › peer-review

    • 2016

      ReversePTP: A clock synchronization scheme for software-defined networks

      Mizrahi, T. & Moses, Y., 1 Sep 2016, In: International Journal of Network Management. 26, 5, p. 355-372 18 p.

      Research output: Contribution to journal › Article › peer-review

    • Time4: Time for SDN

      Mizrahi, T. & Moses, Y., Sep 2016, In: IEEE Transactions on Network and Service Management. 13, 3, p. 433-446 14 p., 7542179.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Timed Consistent Network Updates in Software-Defined Networks

      Mizrahi, T., Saat, E. & Moses, Y., Dec 2016, In: IEEE/ACM Transactions on Networking. 24, 6, p. 3412-3425 14 p., 7423783.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2014

      A procedural characterization of solution concepts in games

      Halpern, J. Y. & Moses, Y., Feb 2014, In: Journal of Artificial Intelligence Research. 49, p. 143-170 28 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Beyond Lamport's happened-before: On time bounds and the ordering of events in distributed systems

      Ben-Zvi, I. & Moses, Y., Apr 2014, In: Journal of the ACM. 61, 2, 13.

      Research output: Contribution to journal › Article › peer-review

    • 2012

      An optimal self-stabilizing firing squad

      Dolev, D., Hoch, E. N. & Moses, Y., 2012, In: SIAM Journal on Computing. 41, 2, p. 415-435 21 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • No double discount: Condition-based simultaneity yields limited gain

      Moses, Y. & Raynal, M., May 2012, In: Information and Computation. 214, p. 47-58 12 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2011

      On interactive knowledge with bounded communication

      Ben-Zvi, I. & Moses, Y., 2011, In: Journal of Applied Non-Classical Logics. 21, 3-4, p. 323-354 32 p.

      Research output: Contribution to journal › Article › peer-review

    • 2010

      Behind the Scenes of K&CK - the undelivered speech for the 2009 Dijkstra prize.

      Moses, Y., 2010, In: SIGACT News. 41, 1, p. 58-62

      Research output: Contribution to journal › Article › peer-review

    • Continuous consensus with ambiguous failures

      Mizrahi, T. & Moses, Y., 17 Jul 2010, In: Theoretical Computer Science. 411, 34-36, p. 3031-3041 11 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2009

      Causing communication closure: Safe program composition with reliable non-FIFO channels

      Engelhardt, K. & Moses, Y., Oct 2009, In: Distributed Computing. 22, 2, p. 73-91 19 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Revisiting simultaneous consensus with crash failures

      Moses, Y. & Raynal, M., Apr 2009, In: Journal of Parallel and Distributed Computing. 69, 4, p. 400-409 10 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2008

      Continuous consensus via common knowledge

      Mizrahi, T. & Moses, Y., Feb 2008, In: Distributed Computing. 20, 5, p. 305-321 17 p.

      Research output: Contribution to journal › Article › peer-review

    • Single-bit messages are insufficient for data link over duplicating channels

      Engelhardt, K. & Moses, Y., 31 Aug 2008, In: Information Processing Letters. 107, 6, p. 235-239 5 p.

      Research output: Contribution to journal › Article › peer-review

    • 2004

      Algorithm visualization for distributed environments

      Moses, Y., Polunsky, Z., Tal, A. & Ulitsky, L., Feb 2004, In: Journal of Visual Languages and Computing. 15, 1, p. 97-123 27 p.

      Research output: Contribution to journal › Article › peer-review

    • Using counterfactuals in knowledge-based programming

      Halpern, J. Y. & Moses, Y., Aug 2004, In: Distributed Computing. 17, 2, p. 91-106 16 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2002

      A characterization of eventual Byzantine agreement

      Halpern, J. Y., Moses, Y. & Waarts, O., 2002, In: SIAM Journal on Computing. 31, 3, p. 838-865 28 p.

      Research output: Contribution to journal › Article › peer-review

    • A layered analysis of consensus

      Moses, Y. & Rajsbaum, S., Mar 2002, In: SIAM Journal on Computing. 31, 4, p. 989-1021 33 p.

      Research output: Contribution to journal › Article › peer-review

    • 1999

      Common knowledge revisited

      Fagin, R., Halpern, J. Y., Moses, Y. & Vardi, M. Y., 1 Mar 1999, In: Annals of Pure and Applied Logic. 96, 1-3, p. 89-105 17 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 1998

      Fully polynomial byzantine agreement for n > 3t processors in t + 1 rounds

      Garay, J. A. & Moses, Y., Feb 1998, In: SIAM Journal on Computing. 27, 1, p. 247-290 44 p.

      Research output: Contribution to journal › Article › peer-review

    • 1997

      Applications of a logic of knowledge to motion planning under uncertainty

      Brafman, R. I., Latombe, J. C., Moses, Y. & Shoham, Y., Sep 1997, In: Journal of the ACM. 44, 5, p. 633-668 36 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Knowledge-based programs

      Fagin, R., Halpern, J. Y., Moses, Y. & Vardi, M. Y., 1997, In: Distributed Computing. 10, 4, p. 199-225 27 p.

      Research output: Contribution to journal › Article › peer-review

    • 1996

      Off-line reasoning for on-line efficiency: Knowledge bases

      Moses, Y. & Tennenholtz, M., Jun 1996, In: Artificial Intelligence. 83, 2, p. 229-239 11 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 1995

      Artificial social systems

      Moses, Y. & Tennenholtz, M., 1995, In: Computers and Artificial Intelligence. 14, 6, p. 533-562

      Research output: Contribution to journal › Article › peer-review

    • 1994

      Coordinated traversal: (t + 1)-round byzantine agreement in polynomial time

      Moses, Y. & Waarts, O. I., Jul 1994, In: Journal of Algorithms. 17, 1, p. 110-156 47 p.

      Research output: Contribution to journal › Article › peer-review

    • 1993

      Belief as defeasible knowledge

      Moses, Y. & Shoham, Y., Dec 1993, In: Artificial Intelligence. 64, 2, p. 299-321 23 p.

      Research output: Contribution to journal › Article › peer-review

    • 1992

      A guide to completeness and complexity for modal logics of knowledge and belief

      Halpern, J. Y. & Moses, Y., Apr 1992, In: Artificial Intelligence. 54, 3, p. 319-379 61 p.

      Research output: Contribution to journal › Article › peer-review

    • 1990

      Knowledge and common knowledge in a Byzantine environment: Crash failures

      Dwork, C. & Moses, Y., Oct 1990, In: Information and Computation. 88, 2, p. 156-186 31 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Knowledge and Common Knowledge in a Distributed Environment

      Halpern, J. Y. & Moses, Y., 7 Jan 1990, In: Journal of the ACM (JACM). 37, 3, p. 549-587 39 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 1988

      Programming simultaneous actions using common knowledge

      Moses, Y. & Tuttle, M. R., Nov 1988, In: Algorithmica. 3, 1-4, p. 121-169 49 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 1986

      Cheating husbands and other stories: A case study of knowledge, action, and communication

      Moses, Y., Dolev, D. & Halpern, J. Y., Sep 1986, In: Distributed Computing. 1, 3, p. 167-176 10 p.

      Research output: Contribution to journal › Article › peer-review

    • Taken by surprise: The paradox of the surprise test revisited

      Halpern, J. Y. & Moses, Y., Aug 1986, In: Journal of Philosophical Logic. 15, 3, p. 281-304 24 p.

      Research output: Contribution to journal › Article › peer-review

    • 1984

      On the Encoding of Relations by Graphs

      Moses, Y. & Noy, A., 1984, In: SIAM Journal on Algebraic Discrete Methods. 5, 4, p. 569-578 10 p.

      Research output: Contribution to journal › Article › peer-review