Yoram Moses

Ido Ben-Zvi, Yoram Moses: Agent-Time Epistemics and Coordination. ICLA 2013: 97-108

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

Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. 41(2): 415-435 (2012)

Yoram Moses: Knowledge as a Window into Distributed Coordination. ICDCIT 2012: 27-34

Ido Ben-Zvi, Yoram Moses: Agent-time Epistemics and Coordination. CoRR abs/1203.5399 (2012)

Ido Ben-Zvi, Yoram Moses: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics 21(3-4): 323-354 (2011)

Fabian Kuhn, Yoram Moses, Rotem Oshman: Coordinated consensus in dynamic networks. PODC 2011: 1-10

Maurice Herlihy, Yoram Moses, Mark R. Tuttle: Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC 2011: 231-238

Ido Ben-Zvi, Yoram Moses: Known unknowns: time bounds and knowledge of ignorance. TARK 2011: 161-169

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

Tal Mizrahi, Yoram Moses: Continuous consensus with ambiguous failures. Theor. Comput. Sci. 411(34-36): 3031-3041 (2010)

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

Kai Engelhardt, Yoram Moses: Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Computing 22(2): 73-91 (2009)

Yoram Moses, Michel Raynal: Revisiting simultaneous consensus with crash failures. J. Parallel Distrib. Comput. 69(4): 400-409 (2009)

Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-stabilizing Firing Squad. SSS 2009: 284-296

Yoram Moses: Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC 2009: 436-448

Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad. CoRR abs/0908.2295 (2009)

Tal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. Distributed Computing 20(5): 305-321 (2008)

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

Tal Mizrahi, Yoram Moses: Continuous Consensus with Ambiguous Failures. ICDCN 2008: 73-85

Tal Mizrahi, Yoram Moses: Continuous Consensus with Failures and Recoveries. DISC 2008: 408-422

Yoram Moses, Michel Raynal: No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437

Shai Avidan, Yael Moses, Yoram Moses: Centralized and Distributed Multi-view Correspondence. International Journal of Computer Vision 71(1): 49-69 (2007)

Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307

Tal Mizrahi, Yoram Moses: Long Live Continuous Consensus. DISC 2007: 490-491

Kai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. CoRR abs/cs/0701064 (2007)

Yoram Moses, Benny Shimony: A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC 2006: 120-135

Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. CoRR abs/cs/0610098 (2006)

Kai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31

Kai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44

Tal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. TARK 2005: 236-252

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

Joseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)

Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm visualization for distributed environments. J. Vis. Lang. Comput. 15(1): 97-123 (2004)

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

Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. CoRR cs.DC/0311028 (2003)

Yoram Moses, Sergio Rajsbaum: A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002)

Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)

Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141

Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129

Yoram Moses: Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17

Ron van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201

Joseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)

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

Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm Visualization For Distributed Environments. INFOVIS 1998: 71-78

Yoram Moses, Sergio Rajsbaum: The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132

Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41

Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110

Ron van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited. CoRR cs.LO/9809003 (1998)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)

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

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

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298

James E. Burns, Yoram Moses (Eds.): Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996. ACM 1996, isbn 0-89791-800-2

Yoram Moses, Moshe Tennenholtz: Artificial Social Systems. Computers and Artificial Intelligence 14(6) (1995)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163

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

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147

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

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

Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266

Yoram Moses, Yoav Shoham: Belief as Defeasible Knowledge. Artif. Intell. 64(2): 299-321 (1993)

Yoram Moses, Moshe Tennenholtz: Off-line Reasoning for On-line Efficiency. IJCAI 1993: 490-495

Yoram Moses, Moshe Tennenholtz: Multi-entity Models. Machine Intelligence 14 1993: 65-90

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

Juan A. Garay, Yoram Moses: Fully polynomial Byzantine agreement in t+1 rounds. STOC 1993: 31-41

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

Yoram Moses: Knowledge and Communication. TARK 1992: 1-14

Yoram Moses (Ed.): Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992. Morgan Kaufmann 1992, isbn 1-55860-243-7

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

Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. J. ACM 37(3): 549-587 (1990)

Alon Kleinman, Yoram Moses, Ehud Y. Shapiro: Distributed Variable Server for Atomic Unification. PODC 1990: 59-74

Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346

Yoram Moses, Gal Nachum: Agreeing to Disagree After All. TARK 1990: 151-168

Moshe Tennenholtz, Yoram Moses: On Cooperation in a Multi-Entity Model. IJCAI 1989: 918-923

Yoav Shoham, Yoram Moses: Belief as Defeasible Knowledge. IJCAI 1989: 1168-1173

Yoram Moses, Gil Roth: On Reliable Message Diffusion. PODC 1989: 119-127

Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988)

Yoram Moses, Orli Waarts: Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time. FOCS 1988: 246-255

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

Yoram Moses: Resource-bounded Knowledge. TARK 1988: 261-275

Yoram Moses, Danny Dolev, Joseph Y. Halpern: Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Computing 1(3): 167-176 (1986)

Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version. FOCS 1986: 208-221

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

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

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

Joseph Y. Halpern, Yoram Moses: Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143

Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61