|
Search the dblp DataBase
Yoram Moses:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Joseph Y. Halpern, Yoram Moses
Knowledge and Common Knowledge in a Distributed Environment. [Citation Graph (3, 0)][DBLP] PODC, 1984, pp:50-61 [Conf]
- Yoram Moses, Mark R. Tuttle
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version [Citation Graph (1, 0)][DBLP] FOCS, 1986, pp:208-221 [Conf]
- Joseph Y. Halpern, Yoram Moses
Knowledge and Common Knowledge in a Distributed Environment [Citation Graph (1, 0)][DBLP] J. ACM, 1990, v:37, n:3, pp:549-587 [Journal]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
An Operational Semantics for Knowledge Bases. [Citation Graph (0, 0)][DBLP] AAAI, 1994, pp:1142-1147 [Conf]
- Shai Avidan, Yael Moses, Yoram Moses
Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. [Citation Graph (0, 0)][DBLP] ECCV (4), 2004, pp:428-441 [Conf]
- Yoram Moses, Orli Waarts
Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time [Citation Graph (0, 0)][DBLP] FOCS, 1988, pp:246-255 [Conf]
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2000, pp:114-129 [Conf]
- Ron van der Meyden, Yoram Moses
On Refinement and Temporal Annotations. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:185-201 [Conf]
- Yoram Moses
Issues in the Refinement of Distributed Programs. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:12-17 [Conf]
- Joseph Y. Halpern, Yoram Moses
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. [Citation Graph (0, 0)][DBLP] IJCAI, 1985, pp:480-490 [Conf]
- Yoram Moses, Moshe Tennenholtz
Off-line Reasoning for On-line Efficiency. [Citation Graph (0, 0)][DBLP] IJCAI, 1993, pp:490-495 [Conf]
- Yoav Shoham, Yoram Moses
Belief as Defeasible Knowledge. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:1168-1173 [Conf]
- Moshe Tennenholtz, Yoram Moses
On Cooperation in a Multi-Entity Model. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:918-923 [Conf]
- Joseph Y. Halpern, Yoram Moses
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:1300-1307 [Conf]
- Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky
Algorithm Visualization For Distributed Environments. [Citation Graph (0, 0)][DBLP] INFOVIS, 1998, pp:71-78 [Conf]
- Kai Engelhardt, Yoram Moses
Single-Bit Messages Are Insufficient in the Presence of Duplication. [Citation Graph (0, 0)][DBLP] IWDC, 2005, pp:25-31 [Conf]
- Kai Engelhardt, Yoram Moses
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. [Citation Graph (0, 0)][DBLP] IWDC, 2005, pp:32-44 [Conf]
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
A Refinement Theory that Supports Reasoning About Knowledge and Time. [Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:125-141 [Conf]
- Yoram Moses, Moshe Tennenholtz
Multi-entity Models. [Citation Graph (0, 0)][DBLP] Machine Intelligence 14, 1993, pp:65-90 [Conf]
- Joseph Y. Halpern, Yoram Moses
Towards a Theory of Knowledge and Ignorance: Preliminary Report. [Citation Graph (0, 0)][DBLP] NMR, 1984, pp:125-143 [Conf]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP] PODC, 1995, pp:153-163 [Conf]
- Joseph Y. Halpern, Yoram Moses, Orli Waarts
A Characterization of Eventual Byzantine Agreement. [Citation Graph (0, 0)][DBLP] PODC, 1990, pp:333-346 [Conf]
- Alon Kleinman, Yoram Moses, Ehud Y. Shapiro
Distributed Variable Server for Atomic Unification. [Citation Graph (0, 0)][DBLP] PODC, 1990, pp:59-74 [Conf]
- Yoram Moses, Ben Bloom
Knowledge, Timed Precedence and Clocks (Preliminary Report). [Citation Graph (0, 0)][DBLP] PODC, 1994, pp:294-303 [Conf]
- Yoram Moses, Danny Dolev, Joseph Y. Halpern
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). [Citation Graph (0, 0)][DBLP] PODC, 1985, pp:215-223 [Conf]
- Yoram Moses, Orit Kislev
Knowledge-Oriented Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP] PODC, 1993, pp:261-270 [Conf]
- Yoram Moses, Gil Roth
On Reliable Message Diffusion. [Citation Graph (0, 0)][DBLP] PODC, 1989, pp:119-127 [Conf]
- Yoram Moses, Sergio Rajsbaum
The Unified Structure of Consensus: A Layered Analysis Approach. [Citation Graph (0, 0)][DBLP] PODC, 1998, pp:123-132 [Conf]
- Juan A. Garay, Yoram Moses
Fully polynomial Byzantine agreement in t+1 rounds. [Citation Graph (0, 0)][DBLP] STOC, 1993, pp:31-41 [Conf]
- Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) [Citation Graph (0, 0)][DBLP] STOC, 1988, pp:132-147 [Conf]
- Tal Mizrahi, Yoram Moses
Continuous consensus via common knowledge. [Citation Graph (0, 0)][DBLP] TARK, 2005, pp:236-252 [Conf]
- Joseph Y. Halpern, Yoram Moses
Using Counterfactuals in Knowledge-Based Programming. [Citation Graph (0, 0)][DBLP] TARK, 1998, pp:97-110 [Conf]
- Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP] TARK, 1994, pp:255-266 [Conf]
- Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham
Knowledge as a Tool in Motion Planning and Uncertainty. [Citation Graph (0, 0)][DBLP] TARK, 1994, pp:208-224 [Conf]
- Cynthia Dwork, Yoram Moses
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. [Citation Graph (0, 0)][DBLP] TARK, 1986, pp:149-169 [Conf]
- Kai Engelhardt, Ron van der Meyden, Yoram Moses
Knowledge and the Logic of Local Propositions. [Citation Graph (0, 0)][DBLP] TARK, 1998, pp:29-41 [Conf]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP] TARK, 1996, pp:283-298 [Conf]
- Yoram Moses
Resource-bounded Knowledge. [Citation Graph (0, 0)][DBLP] TARK, 1988, pp:261-275 [Conf]
- Yoram Moses
Knowledge and Communication. [Citation Graph (0, 0)][DBLP] TARK, 1992, pp:1-14 [Conf]
- Yoram Moses, Gal Nachum
Agreeing to Disagree After All. [Citation Graph (0, 0)][DBLP] TARK, 1990, pp:151-168 [Conf]
- Kai Engelhardt, Yoram Moses
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. [Citation Graph (0, 0)][DBLP] DISC, 2005, pp:229-243 [Conf]
- Ron van der Meyden, Yoram Moses
Top-Down Considerations on Distributed Computing. [Citation Graph (0, 0)][DBLP] DISC, 1998, pp:16-19 [Conf]
- Yoram Moses, Benny Shimony
A New Proof of the GHS Minimum Spanning Tree Algorithm. [Citation Graph (0, 0)][DBLP] DISC, 2006, pp:120-135 [Conf]
- Joseph Y. Halpern, Yoram Moses
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1992, v:54, n:2, pp:319-379 [Journal]
- Yoram Moses, Yoav Shoham
Belief as Defeasible Knowledge. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1993, v:64, n:2, pp:299-321 [Journal]
- Yoram Moses, Moshe Tennenholtz
Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1996, v:83, n:2, pp:229-239 [Journal]
- Yoram Moses, Mark R. Tuttle
Programming Simultaneous Actions Using Common Knowledge. [Citation Graph (0, 0)][DBLP] Algorithmica, 1988, v:3, n:, pp:121-169 [Journal]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:89-105 [Journal]
- Yoram Moses, Moshe Tennenholtz
Artificial Social Systems. [Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 1995, v:14, n:6, pp:- [Journal]
- Joseph Y. Halpern, Yoram Moses
Knowledge and common knowledge in a distributed environment [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Joseph Y. Halpern, Yoram Moses
Using Counterfactuals in Knowledge-Based Programming [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Common knowledge revisited [Citation Graph (0, 0)][DBLP] CoRR, 1998, v:0, n:, pp:- [Journal]
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1997, v:10, n:4, pp:199-225 [Journal]
- Joseph Y. Halpern, Yoram Moses
Using counterfactuals in knowledge-based programming. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2004, v:17, n:2, pp:91-106 [Journal]
- Yoram Moses, Danny Dolev, Joseph Y. Halpern
Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1986, v:1, n:3, pp:167-176 [Journal]
- Cynthia Dwork, Yoram Moses
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures [Citation Graph (0, 0)][DBLP] Inf. Comput., 1990, v:88, n:2, pp:156-186 [Journal]
- Shai Avidan, Yael Moses, Yoram Moses
Centralized and Distributed Multi-view Correspondence. [Citation Graph (0, 0)][DBLP] International Journal of Computer Vision, 2007, v:71, n:1, pp:49-69 [Journal]
- Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham
Applications of a logic of knowledge to motion planning under uncertainty. [Citation Graph (0, 0)][DBLP] J. ACM, 1997, v:44, n:5, pp:633-668 [Journal]
- Yoram Moses, Orli Waarts
Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. [Citation Graph (0, 0)][DBLP] J. Algorithms, 1994, v:17, n:1, pp:110-156 [Journal]
- Juan A. Garay, Yoram Moses
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1998, v:27, n:1, pp:247-290 [Journal]
- Joseph Y. Halpern, Yoram Moses, Orli Waarts
A Characterization of Eventual Byzantine Agreement. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2001, v:31, n:3, pp:838-865 [Journal]
- Yoram Moses, Sergio Rajsbaum
A Layered Analysis of Consensus. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2002, v:31, n:4, pp:989-1021 [Journal]
- Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky
Algorithm visualization for distributed environments. [Citation Graph (0, 0)][DBLP] J. Vis. Lang. Comput., 2004, v:15, n:1, pp:97-123 [Journal]
- Tal Mizrahi, Yoram Moses
Long Live Continuous Consensus. [Citation Graph (0, 0)][DBLP] DISC, 2007, pp:490-491 [Conf]
- Kai Engelhardt, Yoram Moses
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Joseph Y. Halpern, Yoram Moses
Characterizing Solution Concepts in Games Using Knowledge-Based Programs [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
An Optimal Self-stabilizing Firing Squad. [Citation Graph (, )][DBLP]
No Double Discount: Condition-Based Simultaneity Yields Limited Gain. [Citation Graph (, )][DBLP]
Continuous Consensus with Failures and Recoveries. [Citation Graph (, )][DBLP]
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. [Citation Graph (, )][DBLP]
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. [Citation Graph (, )][DBLP]
Continuous Consensus with Ambiguous Failures. [Citation Graph (, )][DBLP]
An Optimal Self-Stabilizing Firing Squad [Citation Graph (, )][DBLP]
Continuous consensus via common knowledge. [Citation Graph (, )][DBLP]
Causing communication closure: safe program composition with reliable non-FIFO channels. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.459secs
|