Publications

Selected Publications

Book

R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning about Knowledge, MIT 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