| 2026 | PODC | Brief Announcement: What is Agreement About if not Common Knowledge? | Or David, Yoram Moses |
| 2024 | CAV | Information Flow Guided Synthesis with Unbounded Communication. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2023 | OPODIS | Probable Approximate Coordination. | Ariel Livshits, Yoram Moses |
| 2022 | AFT | Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. | Guy Goren, Yoram Moses, Alexander Spiegelman |
| 2022 | CAV | Information Flow Guided Synthesis. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2021 | PODC | Stochastic Coordination in Heterogeneous Load Balancing Systems. | Guy Goren, Shay Vargaftik, Yoram Moses |
| 2020 | PODC | Brief Announcement: On Using Null Messages in a Byzantine Setting. | Guy Goren, Yoram Moses |
| 2020 | PODC | Probably Approximately Knowing. | Yoram Moses, Nitzan Zamir |
| 2019 | OPODIS | A Characterization of Consensus Solvability for Closed Message Adversaries. | Kyrill Winkler, Ulrich Schmid, Yoram Moses |
| 2018 | PODC | Silence. | Guy Goren, Yoram Moses |
| 2017 | PODC | On Using Time Without Clocks via Zigzag Causality. | Asa Dan, Rajit Manohar, Yoram Moses |
| 2016 | INFOCOM | Software defined networks: It's about time. | Tal Mizrahi, Yoram Moses |
| 2016 | INFOCOM | Serving time in the cloud: Why time-as-a-service? | Tal Mizrahi, Yoram Moses |
| 2016 | INFOCOM | The case for Data Plane Timestamping in SDN. | Tal Mizrahi, Yoram Moses |
| 2016 | INFOCOM | On the behavior of network delay in the cloud. | Tal Mizrahi, Yoram Moses |
| 2016 | NOMS | OneClock to rule them all: Using time in networked applications. | Tal Mizrahi, Yoram Moses |
| 2016 | PODC | Unbeatable Set Consensus via Topological and Combinatorial Reasoning. | Armando Castaeda, Yannai A. Gonczarowski, Yoram Moses |
| 2015 | INFOCOM | TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. | Tal Mizrahi, Ori Rottenstreich, Yoram Moses |
| 2015 | SIROCCO | Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. | Yoram Moses, Katia Patkin |
| 2014 | SIGCOMM | ReversePTP: a software defined networking approach to clock synchronization. | Tal Mizrahi, Yoram Moses |
| 2013 | PODC | Brief announcement: pareto optimal solutions to consensus and set consensus. | Armando Castaeda, Yannai A. Gonczarowski, Yoram Moses |
| 2013 | SIGCOMM | Time-based updates in software defined networks. | Tal Mizrahi, Yoram Moses |
| 2013 | TARK | The Shape of Reactive Coordination Tasks. | Ido Ben-Zvi, Yoram Moses |
| 2013 | TARK | Timely Common Knowledge. | Yannai A. Gonczarowski, Yoram Moses |
| 2012 | ICDCIT | Knowledge as a Window into Distributed Coordination. | Yoram Moses |
| 2011 | PODC | Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. | Maurice Herlihy, Yoram Moses, Mark R. Tuttle |
| 2011 | PODC | Coordinated consensus in dynamic networks. | Fabian Kuhn, Yoram Moses, Rotem Oshman |
| 2011 | TARK | Known unknowns: time bounds and knowledge of ignorance. | Ido Ben-Zvi, Yoram Moses |
| 2009 | SSS | An Optimal Self-stabilizing Firing Squad. | Danny Dolev, Ezra N. Hoch, Yoram Moses |
| 2008 | ICDCN | Continuous Consensus with Ambiguous Failures. | Tal Mizrahi, Yoram Moses |
| 2007 | IJCAI | Characterizing Solution Concepts in Games Using Knowledge-Based Programs. | Joseph Y. Halpern, Yoram Moses |
| 2005 | TARK | Continuous consensus via common knowledge. | Tal Mizrahi, Yoram Moses |
| 2004 | ECCV | Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. | Shai Avidan, Yael Moses, Yoram Moses |
| 2001 | LPAR | A Refinement Theory that Supports Reasoning About Knowledge and Time. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 2000 | FOSSACS | A Program Refinement Framework Supporting Reasoning about Knowledge and Time. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 1998 | PODC | The Unified Structure of Consensus: A | Yoram Moses, Sergio Rajsbaum |
| 1998 | TARK | Knowledge and the Logic of Local Propositions. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 1998 | TARK | Using Counterfactuals in Knowledge-Based Programming. | Joseph Y. Halpern, Yoram Moses |
| 1996 | TARK | Common Knowledge Revisited. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1995 | PODC | Knowledge-Based Programs. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1994 | AAAI | An Operational Semantics for Knowledge Bases. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1994 | PODC | Knowledge, Timed Precedence and Clocks (Preliminary Report). | Yoram Moses, Ben Bloom |
| 1994 | TARK | Knowledge as a Tool in Motion Planning and Uncertainty. | Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham |
| 1994 | TARK | Algorithmic Knowledge. | Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1993 | IJCAI | Off-line Reasoning for On-line Efficiency. | Yoram Moses, Moshe Tennenholtz |
| 1993 | PODC | Knowledge-Oriented Programming (Extended Abstract). | Yoram Moses, Orit Kislev |
| 1993 | STOC | Fully polynomial Byzantine agreement in t+1 rounds. | Juan A. Garay, Yoram Moses |
| 1992 | TARK | Knowledge and Communication. | Yoram Moses |
| 1990 | PODC | A Characterization of Eventual Byzantine Agreement. | Joseph Y. Halpern, Yoram Moses, Orli Waarts |
| 1990 | PODC | Distributed Variable Server for Atomic Unification. | Alon Kleinman, Yoram Moses, Ehud Shapiro |
| 1990 | TARK | Agreeing to Disagree After All. | Yoram Moses, Gal Nachum |
| 1989 | IJCAI | Belief as Defeasible Knowledge. | Yoav Shoham, Yoram Moses |
| 1989 | IJCAI | On Cooperation in a Multi-Entity Model. | Moshe Tennenholtz, Yoram Moses |
| 1989 | PODC | On Reliable Message Diffusion. | Yoram Moses, Gil Roth |
| 1988 | FOCS | Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time | Yoram Moses, Orli Waarts |
| 1988 | STOC | A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) | Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle |
| 1988 | TARK | Resource-bounded Knowledge. | Yoram Moses |
| 1986 | FOCS | Programming Simultaneous Actions Using Common Knowledge: Preliminary Version | Yoram Moses, Mark R. Tuttle |
| 1986 | TARK | Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. | Cynthia Dwork, Yoram Moses |
| 1985 | IJCAI | A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. | Joseph Y. Halpern, Yoram Moses |
| 1985 | PODC | Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). | Yoram Moses, Danny Dolev, Joseph Y. Halpern |
| 1984 | PODC | Knowledge and Common Knowledge in a Distributed Environment. | Joseph Y. Halpern, Yoram Moses |