Towards a Theory of Knowledge and Ignorance: Preliminary Report. - Joseph Y. Halpern; Yoram Moses (Logics and Models of Concurrent Systems, 1984)

A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. - Joseph Y. Halpern; Yoram Moses (IJCAI, 1985)

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). - Yoram Moses; Danny Dolev; Joseph Y. Halpern (PODC, 1985)

Programming Simultaneous Actions Using Common Knowledge: Preliminary Version - Yoram Moses; Mark R. Tuttle (FOCS, 1986)

Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. - Cynthia Dwork; Yoram Moses (TARK, 1986)

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. - Yoram Moses; Danny Dolev; Joseph Y. Halpern (Distributed Comput., 1986)

Taken by surprise: The paradox of the surprise test revisited. - Joseph Y. Halpern; Yoram Moses (J. Philos. Log., 1986)

Knowledge in a distributed environment. - Yoram Moses (1986)

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) - Joseph Y. Halpern; Yoram Moses; Mark R. Tuttle (STOC, 1988)

Resource-bounded Knowledge. - Yoram Moses (TARK, 1988)

Programming Simultaneous Actions Using Common Knowledge. - Yoram Moses; Mark R. Tuttle (Algorithmica, 1988)

On Cooperation in a Multi-Entity Model. - Moshe Tennenholtz; Yoram Moses (IJCAI, 1989)

On Reliable Message Diffusion. - Yoram Moses; Gil Roth (PODC, 1989)

Distributed Variable Server for Atomic Unification. - Alon Kleinman; Yoram Moses; Ehud Shapiro (PODC, 1990)

Agreeing to Disagree After All. - Yoram Moses; Gal Nachum (TARK, 1990)

Knowledge and Common Knowledge in a Distributed Environment - Joseph Y. Halpern; Yoram Moses (J. ACM, 1990)

Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures - Cynthia Dwork; Yoram Moses (Inf. Comput., 1990)

Knowledge and Communication. - Yoram Moses (TARK, 1992)

A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. - Joseph Y. Halpern; Yoram Moses (Artif. Intell., 1992)

Off-line Reasoning for On-line Efficiency. - Yoram Moses; Moshe Tennenholtz (IJCAI, 1993)

Multi-entity Models. - Yoram Moses; Moshe Tennenholtz (Machine Intelligence 14, 1993)

Knowledge-Oriented Programming (Extended Abstract). - Yoram Moses; Orit Kislev (PODC, 1993)

Fully polynomial Byzantine agreement in t+1 rounds. - Juan A. Garay; Yoram Moses (STOC, 1993)

Belief as Defeasible Knowledge. - Yoram Moses; Yoav Shoham (Artif. Intell., 1993)

An Operational Semantics for Knowledge Bases. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (AAAI, 1994)

Knowledge, Timed Precedence and Clocks (Preliminary Report). - Yoram Moses; Ben Bloom (PODC, 1994)

Knowledge as a Tool in Motion Planning and Uncertainty. - Ronen I. Brafman; Jean-Claude Latombe; Yoram Moses; Yoav Shoham (TARK, 1994)

Algorithmic Knowledge. - Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (TARK, 1994)

Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. - Yoram Moses; Orli Waarts (J. Algorithms, 1994)

Reasoning About Knowledge. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (MIT Press, 1995)

Artificial Social Systems. - Yoram Moses; Moshe Tennenholtz (Comput. Artif. Intell., 1995)

Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. - Yoram Moses; Moshe Tennenholtz (Artif. Intell., 1996)

Knowledge-Based Programs. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Distributed Comput., 1997)

Applications of a logic of knowledge to motion planning under uncertainty. - Ronen I. Brafman; Jean-Claude Latombe; Yoram Moses; Yoav Shoham (J. ACM, 1997)

Reasoning about Knowledge: A Response by the Authors. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Minds Mach., 1997)

The Unified Structure of Consensus: A Layered Analysis Approach. - Yoram Moses; Sergio Rajsbaum (PODC, 1998)

Knowledge and the Logic of Local Propositions. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (TARK, 1998)

Top-Down Considerations on Distributed Computing. - Ron van der Meyden; Yoram Moses (DISC, 1998)

Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. - Juan A. Garay; Yoram Moses (SIAM J. Comput., 1998)

Common Knowledge Revisited. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Ann. Pure Appl. Log., 1999)

A Program Refinement Framework Supporting Reasoning about Knowledge and Time. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (FoSSaCS, 2000)

On Refinement and Temporal Annotations. - Ron van der Meyden; Yoram Moses (FTRTFT, 2000)

Issues in the Refinement of Distributed Programs. - Yoram Moses (FTRTFT, 2000)

A Refinement Theory that Supports Reasoning About Knowledge and Time. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (LPAR, 2001)

A Characterization of Eventual Byzantine Agreement. - Joseph Y. Halpern; Yoram Moses; Orli Waarts (SIAM J. Comput., 2001)

A Layered Analysis of Consensus. - Yoram Moses; Sergio Rajsbaum (SIAM J. Comput., 2002)

Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. - Shai Avidan; Yael Moses; Yoram Moses (ECCV (4), 2004)

Using counterfactuals in knowledge-based programming. - Joseph Y. Halpern; Yoram Moses (Distributed Comput., 2004)

Algorithm visualization for distributed environments. - Yoram Moses; Zvi Polunsky; Ayellet Tal; Leonid Ulitsky (J. Vis. Lang. Comput., 2004)

Single-Bit Messages Are Insufficient in the Presence of Duplication. - Kai Engelhardt; Yoram Moses (IWDC, 2005)

Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. - Kai Engelhardt; Yoram Moses (IWDC, 2005)

Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. - Kai Engelhardt; Yoram Moses (DISC, 2005)

A New Proof of the GHS Minimum Spanning Tree Algorithm. - Yoram Moses; Benny Shimony (DISC, 2006)

Characterizing Solution Concepts in Games Using Knowledge-Based Programs. - Joseph Y. Halpern; Yoram Moses (IJCAI, 2007)

Long Live Continuous Consensus. - Tal Mizrahi; Yoram Moses (DISC, 2007)

Centralized and Distributed Multi-view Correspondence. - Shai Avidan; Yael Moses; Yoram Moses (Int. J. Comput. Vis., 2007)

Continuous Consensus with Failures and Recoveries. - Tal Mizrahi; Yoram Moses (DISC, 2008)

Continuous consensus via common knowledge. - Tal Mizrahi; Yoram Moses (Distributed Comput., 2008)

Single-bit messages are insufficient for data link over duplicating channels. - Kai Engelhardt; Yoram Moses (Inf. Process. Lett., 2008)

Reasoning about Knowledge and Belief. - Yoram Moses (Handbook of Knowledge Representation, 2008)

Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. - Yoram Moses (DISC, 2009)

Causing communication closure: safe program composition with reliable non-FIFO channels. - Kai Engelhardt; Yoram Moses (Distributed Comput., 2009)

Revisiting simultaneous consensus with crash failures. - Yoram Moses; Michel Raynal (J. Parallel Distributed Comput., 2009)

Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. - Ido Ben-Zvi; Yoram Moses (DISC, 2010)

Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. - Yoram Moses (SIGACT News, 2010)

Continuous consensus with ambiguous failures. - Tal Mizrahi; Yoram Moses (Theor. Comput. Sci., 2010)

Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. - Maurice Herlihy; Yoram Moses; Mark R. Tuttle (PODC, 2011)

Coordinated consensus in dynamic networks. - Fabian Kuhn; Yoram Moses; Rotem Oshman (PODC, 2011)

Known unknowns: time bounds and knowledge of ignorance. - Ido Ben-Zvi; Yoram Moses (TARK, 2011)

On interactive knowledge with bounded communication. - Ido Ben-Zvi; Yoram Moses (J. Appl. Non Class. Logics, 2011)

Knowledge as a Window into Distributed Coordination. - Yoram Moses (ICDCIT, 2012)

No double discount: Condition-based simultaneity yields limited gain. - Yoram Moses; Michel Raynal (Inf. Comput., 2012)

An Optimal Self-Stabilizing Firing Squad. - Danny Dolev; Ezra N. Hoch; Yoram Moses (SIAM J. Comput., 2012)

Agent-Time Epistemics and Coordination. - Ido Ben-Zvi; Yoram Moses (ICLA, 2013)

Brief announcement: pareto optimal solutions to consensus and set consensus. - Armando Castañeda; Yannai A. Gonczarowski; Yoram Moses (PODC, 2013)

Time-based updates in software defined networks. - Tal Mizrahi; Yoram Moses (HotSDN, 2013)

The Shape of Reactive Coordination Tasks. - Ido Ben-Zvi; Yoram Moses (TARK, 2013)

Timely Common Knowledge. - Yannai A. Gonczarowski; Yoram Moses (TARK, 2013)

Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus. - Armando Castañeda; Yannai A. Gonczarowski; Yoram Moses (CoRR, 2013)

A Knowledge-based Treatment of Human-Automation Systems. - Yoram Moses; Marcia Kuskin Shamo (CoRR, 2013)

On the Necessity of Time-based Updates in SDN. - Tal Mizrahi; Yoram Moses (ONS, 2014)

ReversePTP: a software defined networking approach to clock synchronization. - Tal Mizrahi; Yoram Moses (HotSDN, 2014)

Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems. - Ido Ben-Zvi; Yoram Moses (J. ACM, 2014)

A Procedural Characterization of Solution Concepts in Games. - Joseph Y. Halpern; Yoram Moses (J. Artif. Intell. Res., 2014)

Analyzing Isochronic Forks with Potential Causality. - Rajit Manohar; Yoram Moses (ASYNC, 2015)

TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. - Tal Mizrahi; Ori Rottenstreich; Yoram Moses (INFOCOM, 2015)

Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. - Yoram Moses; Katia Patkin (SIROCCO, 2015)

Timed consistent network updates. - Tal Mizrahi; Efi Saat; Yoram Moses (SOSR, 2015)

Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. - Yoram Moses (TARK, 2015)

Software defined networks: It's about time. - Tal Mizrahi; Yoram Moses (INFOCOM, 2016)

Serving time in the cloud: Why time-as-a-service? - Tal Mizrahi; Yoram Moses (INFOCOM Workshops, 2016)

The case for Data Plane Timestamping in SDN. - Tal Mizrahi; Yoram Moses (INFOCOM Workshops, 2016)

On the behavior of network delay in the cloud. - Tal Mizrahi; Yoram Moses (INFOCOM Workshops, 2016)

OneClock to rule them all: Using time in networked applications. - Tal Mizrahi; Yoram Moses (NOMS, 2016)

Unbeatable Set Consensus via Topological and Combinatorial Reasoning. - Armando Castañeda; Yannai A. Gonczarowski; Yoram Moses (PODC, 2016)

ReversePTP: A clock synchronization scheme for software-defined networks. - Tal Mizrahi; Yoram Moses (Int. J. Netw. Manag., 2016)

Time4: Time for SDN. - Tal Mizrahi; Yoram Moses (IEEE Trans. Netw. Serv. Manag., 2016)

Timed Consistent Network Updates in Software-Defined Networks. - Tal Mizrahi; Efi Saat; Yoram Moses (IEEE/ACM Trans. Netw., 2016)

Knowledge in Distributed Systems. - Yoram Moses (Encyclopedia of Algorithms, 2016)

Time Capability in NETCONF. - Tal Mizrahi; Yoram Moses (RFC, 2016)

The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits. - Rajit Manohar; Yoram Moses (ASYNC, 2017)

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. - Armando Castañeda; Yoram Moses; Michel Raynal; Matthieu Roy (NETYS, 2017)

On Using Time Without Clocks via Zigzag Causality. - Asa Dan; Rajit Manohar; Yoram Moses (PODC, 2017)

Characterizing solution concepts in terms of common knowledge of rationality. - Joseph Y. Halpern; Yoram Moses (Int. J. Game Theory, 2017)

TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. - Tal Mizrahi; Ori Rottenstreich; Yoram Moses (IEEE/ACM Trans. Netw., 2017)

Introduction to the special issue of papers from DISC 2015. - Yoram Moses (Distributed Comput., 2018)

Mutual exclusion as a matter of priority. - Yoram Moses; Katia Patkin (Theor. Comput. Sci., 2018)

Asynchronous Signalling Processes. - Rajit Manohar; Yoram Moses (ASYNC, 2019)

A Characterization of Consensus Solvability for Closed Message Adversaries. - Kyrill Winkler; Ulrich Schmid 001; Yoram Moses (OPODIS, 2019)

Timing in Software-Defined and Centrally-Managed Networks. - Tal Mizrahi; Yoram Moses (CoRR, 2019)

Byzantine Consensus in the Common Case. - Guy Goren; Yoram Moses (CoRR, 2019)

Brief Announcement: On Using Null Messages in a Byzantine Setting. - Guy Goren; Yoram Moses (PODC, 2020)

Probably Approximately Knowing. - Yoram Moses; Nitzan Zamir (PODC, 2020)

Silence. - Guy Goren; Yoram Moses (J. ACM, 2020)

Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. - Guy Goren; Yoram Moses; Alexander Spiegelman (DISC, 2021)

Optimistically tuning synchronous byzantine consensus: another win for null messages. - Guy Goren; Yoram Moses (Distributed Comput., 2021)

Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. - Guy Goren; Yoram Moses; Alexander Spiegelman (AFT, 2022)

Information Flow Guided Synthesis. - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CAV (2), 2022)

Brief Announcement: Null Messages, Information and Coordination. - Raïssa Nataf; Guy Goren; Yoram Moses (DISC, 2022)

Information Flow Guided Synthesis (Full Version). - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CoRR, 2022)

Unbeatable consensus. - Armando Castañeda; Yannai A. Gonczarowski; Yoram Moses (Distributed Comput., 2022)

Timed Signalling Processes. - Rajit Manohar; Yoram Moses (ASYNC, 2023)

Opportunistic Mutual Exclusion. - Karthi Srinivasan; Yoram Moses; Rajit Manohar (ASYNC, 2023)

Probable Approximate Coordination. - Ariel Livshits; Yoram Moses (OPODIS, 2023)

Null Messages, Information and Coordination. - Raïssa Nataf; Guy Goren; Yoram Moses (DISC, 2023)

Common Knowledge, Regained. - Yannai A. Gonczarowski; Yoram Moses (CoRR, 2023)

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). - Armando Castañeda; Hans van Ditmarsch; Roman Kuznets; Yoram Moses; Ulrich Schmid 001 (Dagstuhl Reports, 2023)

Distributed Dispatching in the Parallel Server Model. - Guy Goren; Shay Vargaftik; Yoram Moses (IEEE/ACM Trans. Netw., 2023)

Stochastic coordination in heterogeneous load balancing systems. - Guy Goren; Shay Vargaftik; Yoram Moses (Distributed Comput., 2023)

The Observer Effect in Computer Networks. - Tal Mizrahi; Michael Schapira; Yoram Moses (ANRW, 2024)

Information Flow Guided Synthesis with Unbounded Communication. - Bernd Finkbeiner; Niklas Metzger 001; Yoram Moses (CAV (3), 2024)

Communication Requirements for Linearizable Registers. - Raïssa Nataf; Yoram Moses (DISC, 2024)