dblp.uni-trier.dewww.uni-trier.de

Yoram Moses Vis

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

*2009
75EEYoram Moses: Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC 2009: 436-448
74EEDanny Dolev, Ezra N. Hoch, Yoram Moses: An Optimal Self-Stabilizing Firing Squad CoRR abs/0908.2295: (2009)
73EEYoram Moses, Michel Raynal: Revisiting simultaneous consensus with crash failures. J. Parallel Distrib. Comput. 69(4): 400-409 (2009)
2008
72EETal Mizrahi, Yoram Moses: Continuous Consensus with Failures and Recoveries. DISC 2008: 408-422
71EEYoram Moses, Michel Raynal: No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437
70EETal Mizrahi, Yoram Moses: Continuous Consensus with Ambiguous Failures. ICDCN 2008: 73-85
69EETal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. Distributed Computing 20(5): 305-321 (2008)
68EEKai Engelhardt, Yoram Moses: Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
2007
67EETal Mizrahi, Yoram Moses: Long Live Continuous Consensus. DISC 2007: 490-491
66EEJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307
65EEKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR abs/cs/0701064: (2007)
64EEShai Avidan, Yael Moses, Yoram Moses: Centralized and Distributed Multi-view Correspondence. International Journal of Computer Vision 71(1): 49-69 (2007)
2006
63EEYoram Moses, Benny Shimony: A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC 2006: 120-135
62EEJoseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR abs/cs/0610098: (2006)
2005
61EEKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
60EEKai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
59EEKai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
58EETal Mizrahi, Yoram Moses: Continuous consensus via common knowledge. TARK 2005: 236-252
2004
57EEShai Avidan, Yael Moses, Yoram Moses: Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. ECCV (4) 2004: 428-441
56EEJoseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)
55EEYoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm visualization for distributed environments. J. Vis. Lang. Comput. 15(1): 97-123 (2004)
2003
54EEJoseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming CoRR cs.DC/0311028: (2003)
2002
53EEYoram Moses, Sergio Rajsbaum: A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002)
2001
52EEKai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
51EEJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)
2000
50EEYoram Moses: Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17
49EERon van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201
48EEKai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
47EEJoseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment CoRR cs.DC/0006009: (2000)
1999
46 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
1998
45EERon van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19
44EEYoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky: Algorithm Visualization For Distributed Environments. INFOVIS 1998: 71-78
43EEYoram Moses, Sergio Rajsbaum: The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132
42 Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
41 Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110
40EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998)
39 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
38EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
37EERonen 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
36 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
35EEYoram 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
24EEJuan 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
19EEJoseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346
18EEAlon 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)
15EEJoseph 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)