| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yoram Moses, Michel Raynal |
No double discount: Condition-based simultaneity yields limited gain.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
Agent-time Epistemics and Coordination |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Danny Dolev, Ezra N. Hoch, Yoram Moses |
An Optimal Self-Stabilizing Firing Squad. |
SIAM J. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses |
Knowledge as a Window into Distributed Coordination. |
ICDCIT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
On interactive knowledge with bounded communication. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabian Kuhn, Rotem Oshman, Yoram Moses |
Coordinated consensus in dynamic networks. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Yoram Moses, Mark R. Tuttle |
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
Known unknowns: time bounds and knowledge of ignorance. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Mizrahi, Yoram Moses |
Continuous consensus with ambiguous failures. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses |
Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. |
SIGACT News |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ido Ben-Zvi, Yoram Moses |
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. |
DISC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Michel Raynal |
Revisiting simultaneous consensus with crash failures. |
J. Parallel Distrib. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dolev, Ezra N. Hoch, Yoram Moses |
An Optimal Self-Stabilizing Firing Squad |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing communication closure: safe program composition with reliable non-FIFO channels. |
Distributed Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses |
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge |
| 1 | Danny Dolev, Ezra N. Hoch, Yoram Moses |
An Optimal Self-stabilizing Firing Squad. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Single-bit messages are insufficient for data link over duplicating channels. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Mizrahi, Yoram Moses |
Continuous consensus via common knowledge. |
Distributed Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Mizrahi, Yoram Moses |
Continuous Consensus with Ambiguous Failures. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
continuous consensus, fault tolerance, Distributed computing, consensus |
| 1 | Tal Mizrahi, Yoram Moses |
Continuous Consensus with Failures and Recoveries. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
Continuous Consensus, Early decision, Process recovery, Round-based computation model, Synchronous message-passing system, Distributed algorithm, Lower bound, Modularity, Consensus, Agreement problem, Common Knowledge, Simultaneity, Omission failures, Process crash failure |
| 1 | Yoram Moses, Michel Raynal |
No Double Discount: Condition-Based Simultaneity Yields Limited Gain. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shai Avidan, Yael Moses, Yoram Moses |
Centralized and Distributed Multi-view Correspondence. |
International Journal of Computer Vision |
2007 |
DBLP DOI BibTeX RDF |
wide baseline stereo, distributed vision, distributed multi-camera system, fault tolerance, error correction, random graphs, correspondence, multi-view |
| 1 | Joseph Y. Halpern, Yoram Moses |
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tal Mizrahi, Yoram Moses |
Long Live Continuous Consensus. |
DISC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Characterizing Solution Concepts in Games Using Knowledge-Based Programs |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Benny Shimony |
A New Proof of the GHS Minimum Spanning Tree Algorithm. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Single-Bit Messages Are Insufficient in the Presence of Duplication. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Mizrahi, Yoram Moses |
Continuous consensus via common knowledge. |
TARK |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Using counterfactuals in knowledge-based programming. |
Distributed Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky |
Algorithm visualization for distributed environments. |
J. Vis. Lang. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shai Avidan, Yael Moses, Yoram Moses |
Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. |
ECCV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Using Counterfactuals in Knowledge-Based Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Sergio Rajsbaum |
A Layered Analysis of Consensus. |
SIAM J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses, Orli Waarts |
A Characterization of Eventual Byzantine Agreement. |
SIAM J. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Refinement Theory that Supports Reasoning About Knowledge and Time. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Knowledge and common knowledge in a distributed environment |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses |
Issues in the Refinement of Distributed Programs. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Yoram Moses |
On Refinement and Temporal Annotations. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
temporal refinement calculi, temporal logic, Refinement calculus |
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Common Knowledge Revisited. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Common knowledge revisited |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Juan A. Garay, Yoram Moses |
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky |
Algorithm Visualization For Distributed Environments. |
INFOVIS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Yoram Moses |
Top-Down Considerations on Distributed Computing. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Sergio Rajsbaum |
The Unified Structure of Consensus: A Layered Analysis Approach. |
PODC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Using Counterfactuals in Knowledge-Based Programming. |
TARK |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
Knowledge and the Logic of Local Propositions. |
TARK |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham |
Applications of a logic of knowledge to motion planning under uncertainty. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
logics of knowledge and time, motion planning under uncertainty, knowledge representation, analysis |
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Knowledge-Based Programs. |
Distributed Computing |
1997 |
DBLP DOI BibTeX RDF |
Knowledge-based program, multi-agent system, Protocol, Reasoning about knowledge |
| 1 | Yoram Moses, Moshe Tennenholtz |
Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | James E. Burns, Yoram Moses (eds.) |
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996 |
PODC |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Common Knowledge Revisited. |
TARK |
1996 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Moshe Tennenholtz |
Artificial Social Systems. |
Computers and Artificial Intelligence |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Knowledge-Based Programs. |
PODC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Orli Waarts |
Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. |
J. Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Ben Bloom |
Knowledge, Timed Precedence and Clocks (Preliminary Report). |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
Algorithmic Knowledge. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham |
Knowledge as a Tool in Motion Planning and Uncertainty. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
An Operational Semantics for Knowledge Bases. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Yoav Shoham |
Belief as Defeasible Knowledge. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Moshe Tennenholtz |
Off-line Reasoning for On-line Efficiency. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Moshe Tennenholtz |
Multi-entity Models. |
Machine Intelligence 14 |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Orit Kislev |
Knowledge-Oriented Programming (Extended Abstract). |
PODC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan A. Garay, Yoram Moses |
Fully polynomial Byzantine agreement in t+1 rounds. |
STOC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses (eds.) |
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992 |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses |
Knowledge and Communication. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Cynthia Dwork, Yoram Moses |
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Knowledge and Common Knowledge in a Distributed Environment |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses, Orli Waarts |
A Characterization of Eventual Byzantine Agreement. |
PODC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alon Kleinman, Yoram Moses, Ehud Y. Shapiro |
Distributed Variable Server for Atomic Unification. |
PODC |
1990 |
DBLP DOI BibTeX RDF |
FCP |
| 1 | Yoram Moses, Gal Nachum |
Agreeing to Disagree After All. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Moshe Tennenholtz, Yoram Moses |
On Cooperation in a Multi-Entity Model. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Yoav Shoham, Yoram Moses |
Belief as Defeasible Knowledge. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Gil Roth |
On Reliable Message Diffusion. |
PODC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Mark R. Tuttle |
Programming Simultaneous Actions Using Common Knowledge. |
Algorithmica |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Orli Waarts |
Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
coordinated traversal, arbitrarily malicious failures, protocol, polynomial time, Byzantine agreement, fault masking |
| 1 | Yoram Moses |
Resource-bounded Knowledge. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle |
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) |
STOC |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Danny Dolev, Joseph Y. Halpern |
Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. |
Distributed Computing |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Mark R. Tuttle |
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version |
FOCS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Dwork, Yoram Moses |
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. |
IJCAI |
1985 |
DBLP BibTeX RDF |
|
| 1 | Yoram Moses, Danny Dolev, Joseph Y. Halpern |
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). |
PODC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Knowledge and Common Knowledge in a Distributed Environment. |
PODC |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Yoram Moses |
Towards a Theory of Knowledge and Ignorance: Preliminary Report. |
NMR |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")