No photo of Yoram Moses

View Scopus Profile

Yoram Moses

Prof.

    • 3055
      Citations
    1984 …2024

    Research activity per year

    Search results

    • 2024

      Communication Requirements for Linearizable Registers

      Nataf, R. & Moses, Y., 24 Oct 2024, 38th International Symposium on Distributed Computing, DISC 2024. Alistarh, D. (ed.). 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 319).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Information Flow Guided Synthesis with Unbounded Communication

      Finkbeiner, B., Metzger, N. & Moses, Y., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). p. 64-86 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14683 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Probable Approximate Coordination

      Livshits, A. & Moses, Y., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • The Observer Effect in Computer Networks

      Mizrahi, T., Schapira, M. & Moses, Y., 23 Jul 2024, ANRW 2024 - Proceedings of the 2024 Applied Networking Research Workshop. p. 8-14 7 p. (ANRW 2024 - Proceedings of the 2024 Applied Networking Research Workshop).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 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

    • Null Messages, Information and Coordination

      Nataf, R., Goren, G. & Moses, Y., Oct 2023, 37th International Symposium on Distributed Computing, DISC 2023. Oshman, R. (ed.). 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 281).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Opportunistic Mutual Exclusion

      Srinivasan, K., Moses, Y. & Manohar, R., 2023, 2023 28th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2023. p. 1-9 9 p. (Proceedings - International Symposium on Asynchronous Circuits and Systems; vol. 2023-July).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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

    • Timed Signalling Processes

      Manohar, R. & Moses, Y., 2023, 2023 28th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2023. p. 10-19 10 p. (Proceedings - International Symposium on Asynchronous Circuits and Systems; vol. 2023-July).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2022

      Brief Announcement: Null Messages, Information and Coordination

      Nataf, R., Goren, G. & Moses, Y., 1 Oct 2022, 36th International Symposium on Distributed Computing, DISC 2022. Scheideler, C. (ed.). 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 246).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Information Flow Guided Synthesis

      Finkbeiner, B., Metzger, N. & Moses, Y., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). p. 505-525 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13372 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement

      Goren, G., Moses, Y. & Spiegelman, A., 2022, ACM Advances in Financial Technologies: AFT 2022.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 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

      Brief announcement: Probabilistic indistinguishability and the quality of validity in byzantine agreement

      Goren, G., Moses, Y. & Spiegelman, A., 1 Oct 2021, 35th International Symposium on Distributed Computing, DISC 2021. Gilbert, S. (ed.). 57. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 209).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 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

    • Stochastic Coordination in Heterogeneous Load Balancing Systems

      Goren, G., Vargaftik, S. & Moses, Y., 21 Jul 2021, PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. p. 403-414 12 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2020

      A characterization of consensus solvability for closed message adversaries

      Winkler, K., Schmid, U. & Moses, Y., Feb 2020, 23rd International Conference on Principles of Distributed Systems, OPODIS 2019. Felber, P., Friedman, R., Gilbert, S. & Miller, A. (eds.). 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 153).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Brief Announcement: On Using Null Messages in a Byzantine Setting

      Goren, G. & Moses, Y., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. p. 405-407 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Distributed dispatching in the parallel server model

      Goren, G., Vargaftik, S. & Moses, Y., 1 Oct 2020, 34th International Symposium on Distributed Computing, DISC 2020. Attiya, H. (ed.). (Leibniz International Proceedings in Informatics, LIPIcs; vol. 179).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Probably Approximately Knowing

      Moses, Y. & Zamir, N., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. p. 375-384 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Silence

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

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

    • 2019

      Asynchronous signalling processes

      Manohar, R. & Moses, Y., May 2019, Proceedings - 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019. p. 68-75 8 p. 8850668. (Proceedings - International Symposium on Asynchronous Circuits and Systems; vol. 2019-May).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Byzantine Consensus in the Common Case.

      Goren, G. & Moses, Y., 2019.

      Research output: Working paper › Preprint

    • Timing in Software-Defined and Centrally-Managed Networks.

      Mizrahi, T. & Moses, Y., 2019.

      Research output: Working paper › Preprint

    • 2018

      Introduction to the special issue of papers from DISC 2015

      Moses, Y., 1 Aug 2018, In: Distributed Computing. 31, 4, p. 255 1 p.

      Research output: Contribution to journal › Editorial

      Open Access

    • Known Unknowns: Time Bounds and Knowledge of Ignorance

      Ben-Zvi, I. & Moses, Y., 2018, Outstanding Contributions to Logic. p. 187-206 20 p. (Outstanding Contributions to Logic; vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 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

    • Silence

      Goren, G. & Moses, Y., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. p. 285-294 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 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

    • Early decision and stopping in synchronous consensus: A predicate-based guided tour

      Castañeda, A., Moses, Y., Raynal, M. & Roy, M., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. El Abbadi, A. & Garbinato, B. (eds.). p. 206-221 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10299 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • On using time without clocks via zigzag causality

      Dan, A., Manohar, R. & Moses, Y., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. p. 241-250 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits

      Manohar, R. & Moses, Y., 3 Nov 2017, Proceedings - 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2017. p. 102-109 8 p. 8097392. (Proceedings - International Symposium on Asynchronous Circuits and Systems; vol. 2017-May).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 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

      Knowledge in Distributed Systems

      Moses, Y., 2016, Encyclopedia of Algorithms. Kao, M.-Y. (ed.). New York, NY, p. 1051-1055 5 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • OneClock to rule them all: Using time in networked applications

      Mizrahi, T. & Moses, Y., 30 Jun 2016, Proceedings of the NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium. Badonnel, S. O., Ulema, M., Cavdar, C., Granville, L. Z. & dos Santos, C. R. P. (eds.). p. 679-685 7 p. 7502876. (Proceedings of the NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • On the behavior of network delay in the cloud

      Mizrahi, T. & Moses, Y., 6 Sep 2016, 2016 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2016. p. 875-876 2 p. 7562201. (Proceedings - IEEE INFOCOM; vol. 2016-September).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Relating knowledge and coordinated action: The knowledge of preconditions principle

      Moses, Y., 23 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 215, p. 231-245 15 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access

    • 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

    • Serving time in the cloud: Why time-as-a-service?

      Mizrahi, T. & Moses, Y., 6 Sep 2016, 2016 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2016. p. 95-96 2 p. 7562052. (Proceedings - IEEE INFOCOM; vol. 2016-September).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Software defined networks: It's about time

      Mizrahi, T. & Moses, Y., 27 Jul 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. 7524418. (Proceedings - IEEE INFOCOM; vol. 2016-July).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • The case for Data Plane Timestamping in SDN

      Mizrahi, T. & Moses, Y., 6 Sep 2016, 2016 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2016. p. 856-861 6 p. 7562197. (Proceedings - IEEE INFOCOM; vol. 2016-September).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • 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

    • Time Capability in NETCONF.

      Mizrahi, T. & Moses, Y., 2016

      Research output: Other contribution

    • 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

    • Unbeatable set consensus via topological and combinatorial reasoning

      Castañeda, A., Gonczarowski, Y. A. & Moses, Y., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. p. 107-116 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 25-28-July-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
    • 2015

      Analyzing isochronic forks with potential causality

      Manohar, R. & Moses, Y., 2015, Proceedings - 21st IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2015. p. 69-76 8 p. 7152693. (Proceedings - International Symposium on Asynchronous Circuits and Systems; vol. 2015-January).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Distributed Computing: 29th International Symposium, DISC 2015 Tokyo, Japan, October 7–9, 2015 Proceedings

      Moses, Y. (Editor), 2015, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363)

      Research output: Book/Report › Book › peer-review

    • Preface

      Moses, Y., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9363, p. V-VI

      Research output: Contribution to journal › Editorial

    • Timed consistent network updates

      Mizrahi, T., Saat, E. & Moses, Y., 17 Jun 2015, Symposium on Software Defined Networking (SDN) Research, SOSR 2015. 2775001. (Symposium on Software Defined Networking (SDN) Research, SOSR 2015).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • TimeFlip: Scheduling network updates with timestamp-based TCAM ranges

      Mizrahi, T., Rottenstreich, O. & Moses, Y., 21 Aug 2015, 2015 IEEE Conference on Computer Communications, IEEE INFOCOM 2015. p. 2551-2559 9 p. 7218645. (Proceedings - IEEE INFOCOM; vol. 26).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review