Yoram Moses

	2012
89		Yoram Moses: Knowledge as a Window into Distributed Coordination. ICDCIT 2012: 27-34
88		Ido Ben-Zvi, Yoram Moses: Agent-time Epistemics and Coordination CoRR abs/1203.5399: (2012)
87		Yoram Moses, Michel Raynal: No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. 214: 47-58 (2012)
86		Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. 41(2): 415-435 (2012)
	2011
85		Fabian Kuhn, Rotem Oshman, Yoram Moses: Coordinated consensus in dynamic networks. PODC 2011: 1-10
84		Maurice Herlihy, Yoram Moses, Mark R. Tuttle: Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC 2011: 231-238
83		Ido Ben-Zvi, Yoram Moses: Known unknowns: time bounds and knowledge of ignorance. TARK 2011: 161-169
82		Ido Ben-Zvi, Yoram Moses: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics 21(3-4): 323-354 (2011)
	2010
81		Ido Ben-Zvi, Yoram Moses: Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. DISC 2010: 421-436
80		Yoram Moses: Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. SIGACT News 41(1): 58-62 (2010)
79		Tal Mizrahi, Yoram Moses: Continuous consensus with ambiguous failures. Theor. Comput. Sci. 411(34-36): 3031-3041 (2010)
	2009
78		Yoram Moses: Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC 2009: 436-448
77		Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-stabilizing Firing Squad. SSS 2009: 284-296
76		Danny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad CoRR abs/0908.2295: (2009)
75		Kai Engelhardt, Yoram Moses: Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Computing 22(2): 73-91 (2009)
74		Yoram Moses, Michel Raynal: Revisiting simultaneous consensus with crash failures. J. Parallel Distrib. Comput. 69(4): 400-409 (2009)
	2008
73		Tal Mizrahi, Yoram Moses: Continuous Consensus with Failures and Recoveries. DISC 2008: 408-422
72		Yoram Moses, Michel Raynal: No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437
71		Tal Mizrahi, Yoram Moses: Continuous Consensus with Ambiguous Failures. ICDCN 2008: 73-85
70		Tal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. Distributed Computing 20(5): 305-321 (2008)
69		Kai Engelhardt, Yoram Moses: Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
	2007
68		Tal Mizrahi, Yoram Moses: Long Live Continuous Consensus. DISC 2007: 490-491
67		Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307
66		Kai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR abs/cs/0701064: (2007)
65		Shai Avidan, Yael Moses, Yoram Moses: Centralized and Distributed Multi-view Correspondence. International Journal of Computer Vision 71(1): 49-69 (2007)
	2006
64		Yoram Moses, Benny Shimony: A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC 2006: 120-135
63		Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR abs/cs/0610098: (2006)
	2005
62		Kai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
61		Kai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
60		Kai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
59		Tal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. TARK 2005: 236-252
	2004
58		Shai Avidan, Yael Moses, Yoram Moses: Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. ECCV (4) 2004: 428-441
57		Joseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)
56		Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm visualization for distributed environments. J. Vis. Lang. Comput. 15(1): 97-123 (2004)
	2003
55		Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming CoRR cs.DC/0311028: (2003)
	2002
54		Yoram Moses, Sergio Rajsbaum: A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002)
	2001
53		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
52		Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)
	2000
51		Yoram Moses: Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17
50		Ron van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201
49		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
48		Joseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment CoRR cs.DC/0006009: (2000)
	1999
47		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
	1998
46		Ron van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19
45		Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm Visualization For Distributed Environments. INFOVIS 1998: 71-78
44		Yoram Moses, Sergio Rajsbaum: The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132
43		Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
42		Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110
41		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998)
40		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)
	1997
39		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
38		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)
	1996
37		James E. Burns, Yoram Moses: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996 ACM 1996
36		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
35		Yoram Moses, Moshe Tennenholtz: Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. Artif. Intell. 83(2): 229-239 (1996)
	1995
34		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
33		Yoram Moses, Moshe Tennenholtz: Artificial Social Systems. Computers and Artificial Intelligence 14(6): (1995)
	1994
32		Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
31		Yoram Moses, Ben Bloom: Knowledge, Timed Precedence and Clocks (Preliminary Report). PODC 1994: 294-303
30		Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham: Knowledge as a Tool in Motion Planning and Uncertainty. TARK 1994: 208-224
29		Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266
28		Yoram Moses, Orli Waarts: Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. J. Algorithms 17(1): 110-156 (1994)
	1993
27		Yoram Moses, Moshe Tennenholtz: Off-line Reasoning for On-line Efficiency. IJCAI 1993: 490-495
26		Yoram Moses, Moshe Tennenholtz: Multi-entity Models. Machine Intelligence 14 1993: 65-90
25		Yoram Moses, Orit Kislev: Knowledge-Oriented Programming (Extended Abstract). PODC 1993: 261-270
24		Juan A. Garay, Yoram Moses: Fully polynomial Byzantine agreement in t+1 rounds. STOC 1993: 31-41
23		Yoram Moses, Yoav Shoham: Belief as Defeasible Knowledge. Artif. Intell. 64(2): 299-321 (1993)
	1992
22		Yoram Moses: Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992 Morgan Kaufmann 1992
21		Yoram Moses: Knowledge and Communication. TARK 1992: 1-14
20		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)
	1990
19		Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346
18		Alon Kleinman, Yoram Moses, Ehud Y. Shapiro: Distributed Variable Server for Atomic Unification. PODC 1990: 59-74
17		Yoram Moses, Gal Nachum: Agreeing to Disagree After All. TARK 1990: 151-168
16		Cynthia Dwork, Yoram Moses: Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures Inf. Comput. 88(2): 156-186 (1990)
15		Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment J. ACM 37(3): 549-587 (1990)
	1989
14		Yoav Shoham, Yoram Moses: Belief as Defeasible Knowledge. IJCAI 1989: 1168-1173
13		Moshe Tennenholtz, Yoram Moses: On Cooperation in a Multi-Entity Model. IJCAI 1989: 918-923
12		Yoram Moses, Gil Roth: On Reliable Message Diffusion. PODC 1989: 119-127
	1988
11		Yoram Moses, Orli Waarts: Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time FOCS 1988: 246-255
10		Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC 1988: 132-147
9		Yoram Moses: Resource-bounded Knowledge. TARK 1988: 261-275
8		Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988)
	1986
7		Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version FOCS 1986: 208-221
6		Cynthia Dwork, Yoram Moses: Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. TARK 1986: 149-169
5		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)
	1985
4		Joseph Y. Halpern, Yoram Moses: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490
3		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
	1984
2		Joseph Y. Halpern, Yoram Moses: Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143
1		Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61

Coauthor Index

1	Shai Avidan	[58] [65]
2	Ido Ben-Zvi	[81] [82] [83] [88]
3	Ben Bloom	[31]
4	Ronen I. Brafman	[30] [38]
5	James E. Burns	[37]
6	Danny Dolev	[3] [5] [76] [77] [86]
7	Cynthia Dwork	[6] [16]
8	Kai Engelhardt	[43] [49] [53] [60] [61] [62] [66] [69] [75]
9	Ronald Fagin	[32] [34] [36] [39] [41] [47]
10	Juan A. Garay	[24] [40]
11	Joseph Y. Halpern	[1] [2] [3] [4] [5] [10] [15] [19] [20] [29] [32] [34] [36] [39] [41] [42] [47] [48] [52] [55] [57] [63] [67]
12	Maurice Herlihy	[84]
13	Ezra N. Hoch	[76] [77] [86]
14	Orit Kislev	[25]
15	Alon Kleinman	[18]
16	Fabian Kuhn	[85]
17	Jean-Claude Latombe	[30] [38]
18	Ron van der Meyden	[43] [46] [49] [50] [53]
19	Tal Mizrahi	[59] [68] [70] [71] [73] [79]
20	Yael Moses	[58] [65]
21	Gal Nachum	[17]
22	Rotem Oshman	[85]
23	Zvi Polunsky	[45] [56]
24	Sergio Rajsbaum	[44] [54]
25	Michel Raynal	[72] [74] [87]
26	Gil Roth	[12]
27	Ehud Y. Shapiro	[18]
28	Benny Shimony	[64]
29	Yoav Shoham	[14] [23] [30] [38]
30	Ayellet Tal	[45] [56]
31	Moshe Tennenholtz	[13] [26] [27] [33] [35]
32	Mark R. Tuttle	[7] [8] [10] [84]
33	Leonid Ulitsky	[45] [56]
34	Moshe Y. Vardi	[29] [32] [34] [36] [39] [41] [47]
35	Orli Waarts	[11] [19] [28] [52]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page