| 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 |
