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