R Fagin, Y Moses, JY Halpern, MY Vardi

MIT press, 2003

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

JY Halpern, Y Moses

contract 39 (82-C), 0250, 1985

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

Y Moses, MR Tuttle

Algorithmica 3 (1-4), 121-169, 1988

Y Moses, M Tennenholtz

Computers and Artificial Intelligence 14, 533-562, 1995

R Fagin, JY Halpern, Y Moses, MY Vardi

Distributed Computing 10 (4), 199-225, 1997

Y Moses, S Rajsbaum

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

Y Moses, D Dolev, JY Halpern

Distributed computing 1 (3), 167-176, 1986

F Kuhn, Y Moses, R Oshman

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

JY Halpern, Y Moses, MY Vardi

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

Y Moses

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

T Mizrahi, O Rottenstreich, Y Moses

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

Y Moses, Y Shoham

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

K Engelhardt, R Van Der Meyden, Y Moses

Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998

JY Halpern, Y Moses, O Waarts

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

R Fagin, JY Halpern, Y Moses, MY Vardi

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