Yoram Moses Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

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