Yoram Moses - RankMe

182 papers A* 32A 16B 22C 1Misc 2Journal 79Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Brief Announcement: Time, Fences and the Ordering of Events in TSO. DISC Raïssa Nataf, Yoram Moses
2025	J	`jnl`	Time, Fences and the Ordering of Events in TSO. CoRR Raïssa Nataf, Yoram Moses
2024	A*	`conf`	Common Knowledge, Regained. EC Yannai A. Gonczarowski, Yoram Moses
2024	A	`conf`	Communication Requirements for Linearizable Registers. DISC Raïssa Nataf, Yoram Moses
2024	—	`conf`	Information Flow Guided Synthesis with Unbounded Communication. CAV (3) Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024	J	`jnl`	Information Flow Guided Synthesis with Unbounded Communication. CoRR Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2024	—	`conf`	The Observer Effect in Computer Networks. ANRW Tal Mizrahi, Michael Schapira, Yoram Moses
2024	J	`jnl`	The Observer Effect in Computer Networks. CoRR Tal Mizrahi, Michael Schapira, Yoram Moses
2023	J	`jnl`	Common Knowledge, Regained. CoRR Yannai A. Gonczarowski, Yoram Moses
2023	J	`jnl`	Distributed Dispatching in the Parallel Server Model. IEEE/ACM Trans. Netw. Guy Goren, Shay Vargaftik, Yoram Moses
2023	J	`jnl`	Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
2023	A	`conf`	Null Messages, Information and Coordination. DISC Raïssa Nataf, Guy Goren, Yoram Moses
2023	—	`conf`	Opportunistic Mutual Exclusion. ASYNC Karthi Srinivasan, Yoram Moses, Rajit Manohar
2023	J	`jnl`	Opportunistic Mutual Exclusion. CoRR Karthi Srinivasan, Yoram Moses, Rajit Manohar
2023	B	`conf`	Probable Approximate Coordination. OPODIS Ariel Livshits, Yoram Moses
2023	J	`jnl`	Probable Approximate Coordination. CoRR Ariel Livshits, Yoram Moses
2023	J	`jnl`	Stochastic coordination in heterogeneous load balancing systems. Distributed Comput. Guy Goren, Shay Vargaftik, Yoram Moses
2023	—	`conf`	Timed Signalling Processes. ASYNC Rajit Manohar, Yoram Moses
2022	A	`conf`	Brief Announcement: Null Messages, Information and Coordination. DISC Raïssa Nataf, Guy Goren, Yoram Moses
2022	J	`jnl`	Information Flow Guided Synthesis (Full Version). CoRR Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022	—	`conf`	Information Flow Guided Synthesis. CAV (2) Bernd Finkbeiner, Niklas Metzger, Yoram Moses
2022	J	`jnl`	Null Messages, Information and Coordination. CoRR Raïssa Nataf, Guy Goren, Yoram Moses
2022	B	`conf`	Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. AFT Guy Goren, Yoram Moses, Alexander Spiegelman
2022	J	`jnl`	Unbeatable consensus. Distributed Comput. Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2021	A	`conf`	Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. DISC Guy Goren, Yoram Moses, Alexander Spiegelman
2021	J	`jnl`	Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Comput. Guy Goren, Yoram Moses
2021	A*	`conf`	Stochastic Coordination in Heterogeneous Load Balancing Systems. PODC Guy Goren, Shay Vargaftik, Yoram Moses
2021	J	`jnl`	Stochastic Coordination in Heterogeneous Load Balancing Systems. CoRR Guy Goren, Shay Vargaftik, Yoram Moses
2020	A*	`conf`	Brief Announcement: On Using Null Messages in a Byzantine Setting. PODC Guy Goren, Yoram Moses
2020	A	`conf`	Distributed Dispatching in the Parallel Server Model. DISC Guy Goren, Shay Vargaftik, Yoram Moses
2020	J	`jnl`	Distributed Dispatching in the Parallel Server Model. CoRR Guy Goren, Shay Vargaftik, Yoram Moses
2020	J	`jnl`	Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. CoRR Guy Goren, Yoram Moses, Alexander Spiegelman
2020	A*	`conf`	Probably Approximately Knowing. PODC Yoram Moses, Nitzan Zamir
2020	J	`jnl`	Probably Approximately Knowing. CoRR Nitzan Zamir, Yoram Moses
2020	J	`jnl`	Silence. J. ACM Guy Goren, Yoram Moses
2019	B	`conf`	A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS Kyrill Winkler, Ulrich Schmid, Yoram Moses
2019	—	`conf`	Asynchronous Signalling Processes. ASYNC Rajit Manohar, Yoram Moses
2019	J	`jnl`	Byzantine Consensus in the Common Case. CoRR Guy Goren, Yoram Moses
2019	J	`jnl`	Timing in Software-Defined and Centrally-Managed Networks. CoRR Tal Mizrahi, Yoram Moses
2018	J	`jnl`	Introduction to the special issue of papers from DISC 2015. Distributed Comput. Yoram Moses
2018	J	`jnl`	Mutual exclusion as a matter of priority. Theor. Comput. Sci. Yoram Moses, Katia Patkin
2018	A*	`conf`	Silence. PODC Guy Goren, Yoram Moses
2018	J	`jnl`	Silence. CoRR Guy Goren, Yoram Moses
2017	J	`jnl`	Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory Joseph Y. Halpern, Yoram Moses
2017	—	`conf`	Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
2017	A*	`conf`	On Using Time Without Clocks via Zigzag Causality. PODC Asa Dan, Rajit Manohar, Yoram Moses
2017	J	`jnl`	On Using Time Without Clocks via Zigzag Causality. CoRR Asa Dan, Rajit Manohar, Yoram Moses
2017	—	`conf`	The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits. ASYNC Rajit Manohar, Yoram Moses
2017	J	`jnl`	TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. IEEE/ACM Trans. Netw. Tal Mizrahi, Ori Rottenstreich, Yoram Moses
2016	J	`jnl`	Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR Joseph Y. Halpern, Yoram Moses
2016	—	`ch.`	Knowledge in Distributed Systems. Encyclopedia of Algorithms Yoram Moses
2016	—	`conf`	On the behavior of network delay in the cloud. INFOCOM Workshops Tal Mizrahi, Yoram Moses
2016	J	`jnl`	OneClock to Rule Them All: Using Time in Networked Applications. CoRR Tal Mizrahi, Yoram Moses
2016	B	`conf`	OneClock to rule them all: Using time in networked applications. NOMS Tal Mizrahi, Yoram Moses
2016	J	`jnl`	ReversePTP: A clock synchronization scheme for software-defined networks. Int. J. Netw. Manag. Tal Mizrahi, Yoram Moses
2016	—	`conf`	Serving time in the cloud: Why time-as-a-service? INFOCOM Workshops Tal Mizrahi, Yoram Moses
2016	A*	`conf`	Software defined networks: It's about time. INFOCOM Tal Mizrahi, Yoram Moses
2016	J	`jnl`	The Case for Data Plane Timestamping in SDN. CoRR Tal Mizrahi, Yoram Moses
2016	—	`conf`	The case for Data Plane Timestamping in SDN. INFOCOM Workshops Tal Mizrahi, Yoram Moses
2016	J	`jnl`	Time Capability in NETCONF. RFC Tal Mizrahi, Yoram Moses
2016	J	`jnl`	Time4: Time for SDN. IEEE Trans. Netw. Serv. Manag. Tal Mizrahi, Yoram Moses
2016	J	`jnl`	Timed Consistent Network Updates in Software-Defined Networks. IEEE/ACM Trans. Netw. Tal Mizrahi, Efi Saat, Yoram Moses
2016	A*	`conf`	Unbeatable Set Consensus via Topological and Combinatorial Reasoning. PODC Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2016	J	`jnl`	Unbeatable Set Consensus via Topological and Combinatorial Reasoning. CoRR Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2015	—	`conf`	Analyzing Isochronic Forks with Potential Causality. ASYNC Rajit Manohar, Yoram Moses
2015	A	`ed.`	Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings DISC Yoram Moses
2015	B	`conf`	Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. TARK Yoram Moses
2015	J	`jnl`	Time4: Time for SDN. CoRR Tal Mizrahi, Yoram Moses
2015	A*	`conf`	TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. INFOCOM Tal Mizrahi, Ori Rottenstreich, Yoram Moses
2015	J	`jnl`	Timed Consistent Network Updates. CoRR Tal Mizrahi, Efi Saat, Yoram Moses
2015	—	`conf`	Timed consistent network updates. SOSR Tal Mizrahi, Efi Saat, Yoram Moses
2015	B	`conf`	Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. SIROCCO Yoram Moses, Katia Patkin
2014	J	`jnl`	A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. Joseph Y. Halpern, Yoram Moses
2014	J	`jnl`	Beyond Lamport's J. ACM Ido Ben-Zvi, Yoram Moses
2014	—	`conf`	On the Necessity of Time-based Updates in SDN. ONS Tal Mizrahi, Yoram Moses
2014	—	`conf`	ReversePTP: a software defined networking approach to clock synchronization. HotSDN Tal Mizrahi, Yoram Moses
2014	A	`conf`	Unbeatable Consensus. DISC Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2014	J	`jnl`	Unbeatable Consensus. CoRR Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2013	J	`jnl`	A Knowledge-based Treatment of Human-Automation Systems. CoRR Yoram Moses, Marcia Kuskin Shamo
2013	—	`conf`	Agent-Time Epistemics and Coordination. ICLA Ido Ben-Zvi, Yoram Moses
2013	A*	`conf`	Brief announcement: pareto optimal solutions to consensus and set consensus. PODC Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2013	J	`jnl`	Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus. CoRR Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
2013	B	`conf`	The Shape of Reactive Coordination Tasks. TARK Ido Ben-Zvi, Yoram Moses
2013	J	`jnl`	The Shape of Reactive Coordination Tasks. CoRR Ido Ben-Zvi, Yoram Moses
2013	—	`conf`	Time-based updates in software defined networks. HotSDN Tal Mizrahi, Yoram Moses
2013	B	`conf`	Timely Common Knowledge. TARK Yannai A. Gonczarowski, Yoram Moses
2013	J	`jnl`	Timely Common Knowledge. CoRR Yannai A. Gonczarowski, Yoram Moses
2012	J	`jnl`	Agent-time Epistemics and Coordination CoRR Ido Ben-Zvi, Yoram Moses
2012	J	`jnl`	An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. Danny Dolev, Ezra N. Hoch, Yoram Moses
2012	Misc	`conf`	Knowledge as a Window into Distributed Coordination. ICDCIT Yoram Moses
2012	J	`jnl`	No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. Yoram Moses, Michel Raynal
2011	A*	`conf`	Coordinated consensus in dynamic networks. PODC Fabian Kuhn, Yoram Moses, Rotem Oshman
2011	B	`conf`	Known unknowns: time bounds and knowledge of ignorance. TARK Ido Ben-Zvi, Yoram Moses
2011	J	`jnl`	On interactive knowledge with bounded communication. J. Appl. Non Class. Logics Ido Ben-Zvi, Yoram Moses
2011	A*	`conf`	Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC Maurice Herlihy, Yoram Moses, Mark R. Tuttle
2010	J	`jnl`	Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. SIGACT News Yoram Moses
2010	A	`conf`	Beyond Lamport's DISC Ido Ben-Zvi, Yoram Moses
2010	J	`jnl`	Continuous consensus with ambiguous failures. Theor. Comput. Sci. Tal Mizrahi, Yoram Moses
2009	J	`jnl`	An Optimal Self-Stabilizing Firing Squad CoRR Danny Dolev, Ezra N. Hoch, Yoram Moses
2009	C	`conf`	An Optimal Self-stabilizing Firing Squad. SSS Danny Dolev, Ezra N. Hoch, Yoram Moses
2009	J	`jnl`	Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Comput. Kai Engelhardt, Yoram Moses
2009	A	`conf`	Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC Yoram Moses
2009	J	`jnl`	Revisiting simultaneous consensus with crash failures. J. Parallel Distributed Comput. Yoram Moses, Michel Raynal
2008	Misc	`conf`	Continuous Consensus with Ambiguous Failures. ICDCN Tal Mizrahi, Yoram Moses
2008	A	`conf`	Continuous Consensus with Failures and Recoveries. DISC Tal Mizrahi, Yoram Moses
2008	J	`jnl`	Continuous consensus via common knowledge. Distributed Comput. Tal Mizrahi, Yoram Moses
2008	A	`conf`	No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC Yoram Moses, Michel Raynal
2008	—	`ch.`	Reasoning about Knowledge and Belief. Handbook of Knowledge Representation Yoram Moses
2008	J	`jnl`	Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. Kai Engelhardt, Yoram Moses
2007	J	`jnl`	Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR Kai Engelhardt, Yoram Moses
2007	J	`jnl`	Centralized and Distributed Multi-view Correspondence. Int. J. Comput. Vis. Shai Avidan, Yael Moses, Yoram Moses
2007	A*	`conf`	Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI Joseph Y. Halpern, Yoram Moses
2007	A	`conf`	Long Live Continuous Consensus. DISC Tal Mizrahi, Yoram Moses
2006	A	`conf`	A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC Yoram Moses, Benny Shimony
2006	J	`jnl`	Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR Joseph Y. Halpern, Yoram Moses
2005	A	`conf`	Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC Kai Engelhardt, Yoram Moses
2005	B	`conf`	Continuous consensus via common knowledge. TARK Tal Mizrahi, Yoram Moses
2005	—	`conf`	Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC Kai Engelhardt, Yoram Moses
2005	—	`conf`	Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC Kai Engelhardt, Yoram Moses
2004	J	`jnl`	Algorithm visualization for distributed environments. J. Vis. Lang. Comput. Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky
2004	—	`conf`	Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. ECCV (4) Shai Avidan, Yael Moses, Yoram Moses
2004	J	`jnl`	Using counterfactuals in knowledge-based programming. Distributed Comput. Joseph Y. Halpern, Yoram Moses
2003	J	`jnl`	Using Counterfactuals in Knowledge-Based Programming CoRR Joseph Y. Halpern, Yoram Moses
2002	J	`jnl`	A Layered Analysis of Consensus. SIAM J. Comput. Yoram Moses, Sergio Rajsbaum
2001	J	`jnl`	A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. Joseph Y. Halpern, Yoram Moses, Orli Waarts
2001	B	`conf`	A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR Kai Engelhardt, Ron van der Meyden, Yoram Moses
2000	B	`conf`	A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS Kai Engelhardt, Ron van der Meyden, Yoram Moses
2000	—	`conf`	Issues in the Refinement of Distributed Programs. FTRTFT Yoram Moses
2000	J	`jnl`	Knowledge and common knowledge in a distributed environment CoRR Joseph Y. Halpern, Yoram Moses
2000	—	`conf`	On Refinement and Temporal Annotations. FTRTFT Ron van der Meyden, Yoram Moses
1999	J	`jnl`	Common Knowledge Revisited. Ann. Pure Appl. Log. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1998	—	`conf`	Algorithm Visualization For Distributed Environments. INFOVIS Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky
1998	J	`jnl`	Common knowledge revisited CoRR Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1998	J	`jnl`	Fully Polynomial Byzantine Agreement for SIAM J. Comput. Juan A. Garay, Yoram Moses
1998	B	`conf`	Knowledge and the Logic of Local Propositions. TARK Kai Engelhardt, Ron van der Meyden, Yoram Moses
1998	A*	`conf`	The Unified Structure of Consensus: A PODC Yoram Moses, Sergio Rajsbaum
1998	A	`conf`	Top-Down Considerations on Distributed Computing. DISC Ron van der Meyden, Yoram Moses
1998	B	`conf`	Using Counterfactuals in Knowledge-Based Programming. TARK Joseph Y. Halpern, Yoram Moses
1997	J	`jnl`	Applications of a logic of knowledge to motion planning under uncertainty. J. ACM Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham
1997	J	`jnl`	Knowledge-Based Programs. Distributed Comput. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1997	J	`jnl`	Reasoning about Knowledge: A Response by the Authors. Minds Mach. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1996	B	`conf`	Common Knowledge Revisited. TARK Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1996	J	`jnl`	Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. Artif. Intell. Yoram Moses, Moshe Tennenholtz
1996	A*	`ed.`	Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996 PODC James E. Burns, Yoram Moses
1995	J	`jnl`	Artificial Social Systems. Comput. Artif. Intell. Yoram Moses, Moshe Tennenholtz
1995	A*	`conf`	Knowledge-Based Programs. PODC Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1995	—	`book`	Reasoning About Knowledge. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	B	`conf`	Algorithmic Knowledge. TARK Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	A*	`conf`	An Operational Semantics for Knowledge Bases. AAAI Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	J	`jnl`	Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. J. Algorithms Yoram Moses, Orli Waarts
1994	B	`conf`	Knowledge as a Tool in Motion Planning and Uncertainty. TARK Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham
1994	A*	`conf`	Knowledge, Timed Precedence and Clocks (Preliminary Report). PODC Yoram Moses, Ben Bloom
1993	J	`jnl`	Belief as Defeasible Knowledge. Artif. Intell. Yoram Moses, Yoav Shoham
1993	A*	`conf`	Fully polynomial Byzantine agreement in t+1 rounds. STOC Juan A. Garay, Yoram Moses
1993	A*	`conf`	Knowledge-Oriented Programming (Extended Abstract). PODC Yoram Moses, Orit Kislev
1993	—	`conf`	Multi-entity Models. Machine Intelligence 14 Yoram Moses, Moshe Tennenholtz
1993	A*	`conf`	Off-line Reasoning for On-line Efficiency. IJCAI Yoram Moses, Moshe Tennenholtz
1992	J	`jnl`	A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. Joseph Y. Halpern, Yoram Moses
1992	B	`conf`	Knowledge and Communication. TARK Yoram Moses
1992	B	`ed.`	Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992 TARK Yoram Moses
1990	A*	`conf`	A Characterization of Eventual Byzantine Agreement. PODC Joseph Y. Halpern, Yoram Moses, Orli Waarts
1990	B	`conf`	Agreeing to Disagree After All. TARK Yoram Moses, Gal Nachum
1990	A*	`conf`	Distributed Variable Server for Atomic Unification. PODC Alon Kleinman, Yoram Moses, Ehud Shapiro
1990	J	`jnl`	Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures Inf. Comput. Cynthia Dwork, Yoram Moses
1990	J	`jnl`	Knowledge and Common Knowledge in a Distributed Environment J. ACM Joseph Y. Halpern, Yoram Moses
1989	A*	`conf`	Belief as Defeasible Knowledge. IJCAI Yoav Shoham, Yoram Moses
1989	A*	`conf`	On Cooperation in a Multi-Entity Model. IJCAI Moshe Tennenholtz, Yoram Moses
1989	A*	`conf`	On Reliable Message Diffusion. PODC Yoram Moses, Gil Roth
1988	A*	`conf`	A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
1988	A*	`conf`	Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time FOCS Yoram Moses, Orli Waarts
1988	J	`jnl`	Programming Simultaneous Actions Using Common Knowledge. Algorithmica Yoram Moses, Mark R. Tuttle
1988	B	`conf`	Resource-bounded Knowledge. TARK Yoram Moses
1986	J	`jnl`	Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Comput. Yoram Moses, Danny Dolev, Joseph Y. Halpern
1986	B	`conf`	Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. TARK Cynthia Dwork, Yoram Moses
1986	—	`—`	Knowledge in a distributed environment. Yoram Moses
1986	A*	`conf`	Programming Simultaneous Actions Using Common Knowledge: Preliminary Version FOCS Yoram Moses, Mark R. Tuttle
1986	J	`jnl`	Taken by surprise: The paradox of the surprise test revisited. J. Philos. Log. Joseph Y. Halpern, Yoram Moses
1985	A*	`conf`	A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI Joseph Y. Halpern, Yoram Moses
1985	A*	`conf`	Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC Yoram Moses, Danny Dolev, Joseph Y. Halpern
1984	A*	`conf`	Knowledge and Common Knowledge in a Distributed Environment. PODC Joseph Y. Halpern, Yoram Moses
1984	—	`conf`	Towards a Theory of Knowledge and Ignorance: Preliminary Report. Logics and Models of Concurrent Systems Joseph Y. Halpern, Yoram Moses
1984	—	`conf`	Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR Joseph Y. Halpern, Yoram Moses