The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoram Moses: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joseph Y. Halpern, Yoram Moses
    Knowledge and Common Knowledge in a Distributed Environment. [Citation Graph (3, 0)][DBLP]
    PODC, 1984, pp:50-61 [Conf]
  2. Yoram Moses, Mark R. Tuttle
    Programming Simultaneous Actions Using Common Knowledge: Preliminary Version [Citation Graph (1, 0)][DBLP]
    FOCS, 1986, pp:208-221 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Ron van der Meyden, Yoram Moses
    On Refinement and Temporal Annotations. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:185-201 [Conf]
  9. Yoram Moses
    Issues in the Refinement of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:12-17 [Conf]
  10. 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]
  11. Yoram Moses, Moshe Tennenholtz
    Off-line Reasoning for On-line Efficiency. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:490-495 [Conf]
  12. Yoav Shoham, Yoram Moses
    Belief as Defeasible Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1168-1173 [Conf]
  13. Moshe Tennenholtz, Yoram Moses
    On Cooperation in a Multi-Entity Model. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:918-923 [Conf]
  14. 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]
  15. Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky
    Algorithm Visualization For Distributed Environments. [Citation Graph (0, 0)][DBLP]
    INFOVIS, 1998, pp:71-78 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Yoram Moses, Moshe Tennenholtz
    Multi-entity Models. [Citation Graph (0, 0)][DBLP]
    Machine Intelligence 14, 1993, pp:65-90 [Conf]
  20. 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]
  21. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:153-163 [Conf]
  22. Joseph Y. Halpern, Yoram Moses, Orli Waarts
    A Characterization of Eventual Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:333-346 [Conf]
  23. Alon Kleinman, Yoram Moses, Ehud Y. Shapiro
    Distributed Variable Server for Atomic Unification. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:59-74 [Conf]
  24. Yoram Moses, Ben Bloom
    Knowledge, Timed Precedence and Clocks (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:294-303 [Conf]
  25. 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]
  26. Yoram Moses, Orit Kislev
    Knowledge-Oriented Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1993, pp:261-270 [Conf]
  27. Yoram Moses, Gil Roth
    On Reliable Message Diffusion. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:119-127 [Conf]
  28. Yoram Moses, Sergio Rajsbaum
    The Unified Structure of Consensus: A Layered Analysis Approach. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:123-132 [Conf]
  29. Juan A. Garay, Yoram Moses
    Fully polynomial Byzantine agreement in t+1 rounds. [Citation Graph (0, 0)][DBLP]
    STOC, 1993, pp:31-41 [Conf]
  30. 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]
  31. Tal Mizrahi, Yoram Moses
    Continuous consensus via common knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:236-252 [Conf]
  32. Joseph Y. Halpern, Yoram Moses
    Using Counterfactuals in Knowledge-Based Programming. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:97-110 [Conf]
  33. Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:255-266 [Conf]
  34. 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]
  35. 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]
  36. 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]
  37. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:283-298 [Conf]
  38. Yoram Moses
    Resource-bounded Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:261-275 [Conf]
  39. Yoram Moses
    Knowledge and Communication. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:1-14 [Conf]
  40. Yoram Moses, Gal Nachum
    Agreeing to Disagree After All. [Citation Graph (0, 0)][DBLP]
    TARK, 1990, pp:151-168 [Conf]
  41. 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]
  42. Ron van der Meyden, Yoram Moses
    Top-Down Considerations on Distributed Computing. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:16-19 [Conf]
  43. 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]
  44. 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]
  45. Yoram Moses, Yoav Shoham
    Belief as Defeasible Knowledge. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:64, n:2, pp:299-321 [Journal]
  46. 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]
  47. 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]
  48. 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]
  49. Yoram Moses, Moshe Tennenholtz
    Artificial Social Systems. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1995, v:14, n:6, pp:- [Journal]
  50. 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]
  51. Joseph Y. Halpern, Yoram Moses
    Using Counterfactuals in Knowledge-Based Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Tal Mizrahi, Yoram Moses
    Long Live Continuous Consensus. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:490-491 [Conf]
  65. 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]
  66. 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]

  67. An Optimal Self-stabilizing Firing Squad. [Citation Graph (, )][DBLP]


  68. No Double Discount: Condition-Based Simultaneity Yields Limited Gain. [Citation Graph (, )][DBLP]


  69. Continuous Consensus with Failures and Recoveries. [Citation Graph (, )][DBLP]


  70. Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. [Citation Graph (, )][DBLP]


  71. Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. [Citation Graph (, )][DBLP]


  72. Continuous Consensus with Ambiguous Failures. [Citation Graph (, )][DBLP]


  73. An Optimal Self-Stabilizing Firing Squad [Citation Graph (, )][DBLP]


  74. Continuous consensus via common knowledge. [Citation Graph (, )][DBLP]


  75. Causing communication closure: safe program composition with reliable non-FIFO channels. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002