R Fagin, JY Halpern, Y Moses, M Vardi

MIT press, 2004

JY Halpern, Y Moses

Journal of the ACM (JACM) 37 (3), 549-587, 1990

JY Halpern, Y Moses

Artificial intelligence 54 (3), 319-379, 1992

C Dwork, Y Moses

Information and Computation 88 (2), 156-186, 1990

JY Halpern, Y Moses

Logics and models of concurrent systems, 459-476, 1985

JA Garay, Y Moses

SIAM Journal on Computing 27 (1), 247-290, 1998

JY Halpern, Y Moses

contract 39 (82-C), 0250, 1985

Y Moses, MR Tuttle

Algorithmica 3 (1), 121-169, 1988

Y Moses, M Tennenholtz

Comput. Artif. Intell. 14 (6), 533-562, 1995

R Fagin, Y Moses, JY Halpern, MY Vardi

Proceedings of the fourteenth annual ACM symposium on Principles of …, 1995

F Kuhn, Y Moses, R Oshman

Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of …, 2011

Y Moses, S Rajsbaum

SIAM Journal on Computing 31 (4), 989-1021, 2002

Y Moses, D Dolev, JY Halpern

Distributed computing 1, 167-176, 1986

Y Moses, Y Shoham

Artificial intelligence 64 (2), 299-321, 1993

JY Halpern, Y Moses, MY Vardi

Theoretical Aspects of Reasoning about Knowledge, 255-266, 1994

T Mizrahi, O Rottenstreich, Y Moses

2015 IEEE Conference on Computer Communications (INFOCOM), 2551-2559, 2015

R Fagin, JY Halpern, Y Moses, MY Vardi

Annals of Pure and Applied Logic 96 (1-3), 89-105, 1999

Y Moses

Proceedings of the 2nd conference on theoretical aspects of reasoning about …, 1988

T Mizrahi, Y Moses

IEEE INFOCOM 2016-The 35th Annual IEEE International Conference on Computer …, 2016

JY Halpern, Y Moses, O Waarts

Proceedings of the ninth annual ACM symposium on Principles of distributed …, 1990