Home »

Selected Publications



R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning about KnowledgeMIT Press, 2003. 


Selected Papers

  1. Y. Gonzarowski and Y. Moses, Timely Common Knowledge: Characterising Asymmetric Distributed Coordination via Vectorial Fixed Points, TARK 2013.
  2. M. Herlihy, Y. Moses and M. R. Tuttle, Transforming Worst-case Optimal Solutions for Simultaneous Tasks into All-case Optimal Solutions, PODC 2011, pp. 231-238.
  3. I. Ben Zvi and Y. Moses, Beyond Lamport's Happened-before: On the Role of Bounds in Synchronous Systems DISC 2010, pp. 421-436.
  4. K. Engelhardt and Y. Moses, Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels, Distributed Computing, 22:2, pp. 73-91, 2009.
  5. Y. Moses and S. Rajsbaum, A Layered Analysis of Consensus, Siam Journal on Computing, 31:4, 2002, pp. 989-1021.
  6. J. A. Garay and Y. Moses, Fully Polynomial Byzantine Agreement in t+1 Rounds, Siam Journal on Computing, 27:1, 1998, pp. 247-290.
  7. J. Y. Halpern and Y. Moses, Knowledge and Common Knowledge in a Distributed Environement, Journal of the ACM, 37:3, pp. 549-587, 1990.
  8. Y. Moses and M. R. Tuttle, Programming Simultaneous Actions using Common Knowledge, Algorithmica, 3:1, pp. 121-169, 1988.
  9. Y. Moses, D. Dolev and J. Y. Halpern, Cheating Husbands and Other Stories: a Case Study of Knowledge, Action and Communication, Distributed Computing, 1:3, pp. 167-176, 1986.