default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYoram Moses
Person information
- affiliation: Technion-Israel Institute of Technology, Haifa, Israel
- award (2009): Dijkstra Prize
- award (1997): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c94]Tal Mizrahi
, Michael Schapira, Yoram Moses:
The Observer Effect in Computer Networks. ANRW 2024- [c93]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) 2024: 64-86 - [c92]Raïssa Nataf, Yoram Moses:
Communication Requirements for Linearizable Registers. DISC 2024: 33:1-33:17 - [i35]Tal Mizrahi, Michael Schapira, Yoram Moses:
The Observer Effect in Computer Networks. CoRR abs/2406.09093 (2024) - [i34]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CoRR abs/2407.12298 (2024) - 2023
- [j43]Guy Goren, Shay Vargaftik, Yoram Moses:
Stochastic coordination in heterogeneous load balancing systems. Distributed Comput. 36(3): 253-275 (2023) - [j42]Guy Goren, Shay Vargaftik, Yoram Moses:
Distributed Dispatching in the Parallel Server Model. IEEE/ACM Trans. Netw. 31(4): 1521-1534 (2023) - [c91]Karthi Srinivasan, Yoram Moses, Rajit Manohar:
Opportunistic Mutual Exclusion. ASYNC 2023: 1-9 - [c90]Rajit Manohar, Yoram Moses:
Timed Signalling Processes. ASYNC 2023: 10-19 - [c89]Ariel Livshits, Yoram Moses:
Probable Approximate Coordination. OPODIS 2023: 19:1-19:21 - [c88]Raïssa Nataf, Guy Goren, Yoram Moses:
Null Messages, Information and Coordination. DISC 2023: 30:1-30:21 - [i33]Karthi Srinivasan, Yoram Moses, Rajit Manohar:
Opportunistic Mutual Exclusion. CoRR abs/2305.05802 (2023) - [i32]Yannai A. Gonczarowski, Yoram Moses:
Common Knowledge, Regained. CoRR abs/2311.04374 (2023) - [i31]Ariel Livshits, Yoram Moses:
Probable Approximate Coordination. CoRR abs/2311.05368 (2023) - [i30]Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid:
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports 13(7): 34-65 (2023) - 2022
- [j41]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Unbeatable consensus. Distributed Comput. 35(2): 123-143 (2022) - [c87]Guy Goren, Yoram Moses, Alexander Spiegelman:
Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. AFT 2022: 111-125 - [c86]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis. CAV (2) 2022: 505-525 - [c85]Raïssa Nataf, Guy Goren, Yoram Moses:
Brief Announcement: Null Messages, Information and Coordination. DISC 2022: 49:1-49:3 - [i29]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis (Full Version). CoRR abs/2205.12085 (2022) - [i28]Raïssa Nataf, Guy Goren, Yoram Moses:
Null Messages, Information and Coordination. CoRR abs/2208.10866 (2022) - 2021
- [j40]Guy Goren, Yoram Moses:
Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Comput. 34(5): 395-410 (2021) - [c84]Guy Goren, Shay Vargaftik, Yoram Moses:
Stochastic Coordination in Heterogeneous Load Balancing Systems. PODC 2021: 403-414 - [c83]Guy Goren, Yoram Moses, Alexander Spiegelman:
Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. DISC 2021: 57:1-57:4 - [i27]Guy Goren, Shay Vargaftik, Yoram Moses:
Stochastic Coordination in Heterogeneous Load Balancing Systems. CoRR abs/2105.09389 (2021) - 2020
- [j39]Guy Goren, Yoram Moses:
Silence. J. ACM 67(1): 3:1-3:26 (2020) - [c82]Yoram Moses, Nitzan Zamir:
Probably Approximately Knowing. PODC 2020: 375-384 - [c81]Guy Goren, Yoram Moses:
Brief Announcement: On Using Null Messages in a Byzantine Setting. PODC 2020: 405-407 - [c80]Guy Goren, Shay Vargaftik, Yoram Moses:
Distributed Dispatching in the Parallel Server Model. DISC 2020: 14:1-14:18 - [i26]Nitzan Zamir, Yoram Moses:
Probably Approximately Knowing. CoRR abs/2007.02984 (2020) - [i25]Guy Goren, Shay Vargaftik, Yoram Moses:
Distributed Dispatching in the Parallel Server Model. CoRR abs/2008.00793 (2020) - [i24]Guy Goren, Yoram Moses, Alexander Spiegelman:
Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. CoRR abs/2011.04719 (2020)
2010 – 2019
- 2019
- [c79]Rajit Manohar, Yoram Moses:
Asynchronous Signalling Processes. ASYNC 2019: 68-75 - [c78]Kyrill Winkler, Ulrich Schmid, Yoram Moses:
A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS 2019: 17:1-17:16 - [i23]Tal Mizrahi, Yoram Moses:
Timing in Software-Defined and Centrally-Managed Networks. CoRR abs/1904.06676 (2019) - [i22]Guy Goren, Yoram Moses:
Byzantine Consensus in the Common Case. CoRR abs/1905.06087 (2019) - 2018
- [j38]Yoram Moses:
Introduction to the special issue of papers from DISC 2015. Distributed Comput. 31(4): 255 (2018) - [j37]Yoram Moses, Katia Patkin:
Mutual exclusion as a matter of priority. Theor. Comput. Sci. 751: 46-60 (2018) - [c77]Guy Goren, Yoram Moses:
Silence. PODC 2018: 285-294 - [i21]Guy Goren, Yoram Moses:
Silence. CoRR abs/1805.07954 (2018) - 2017
- [j36]Joseph Y. Halpern, Yoram Moses:
Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory 46(2): 457-473 (2017) - [j35]Tal Mizrahi, Ori Rottenstreich, Yoram Moses:
TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. IEEE/ACM Trans. Netw. 25(2): 849-863 (2017) - [c76]Rajit Manohar, Yoram Moses:
The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits. ASYNC 2017: 102-109 - [c75]Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy:
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS 2017: 206-221 - [c74]Asa Dan, Rajit Manohar, Yoram Moses:
On Using Time Without Clocks via Zigzag Causality. PODC 2017: 241-250 - [i20]Asa Dan, Rajit Manohar, Yoram Moses:
On Using Time Without Clocks via Zigzag Causality. CoRR abs/1705.08627 (2017) - 2016
- [j34]Tal Mizrahi, Yoram Moses:
ReversePTP: A clock synchronization scheme for software-defined networks. Int. J. Netw. Manag. 26(5): 355-372 (2016) - [j33]Tal Mizrahi, Yoram Moses:
Time4: Time for SDN. IEEE Trans. Netw. Serv. Manag. 13(3): 433-446 (2016) - [j32]Tal Mizrahi, Efi Saat, Yoram Moses:
Timed Consistent Network Updates in Software-Defined Networks. IEEE/ACM Trans. Netw. 24(6): 3412-3425 (2016) - [c73]Tal Mizrahi, Yoram Moses:
Software defined networks: It's about time. INFOCOM 2016: 1-9 - [c72]Tal Mizrahi, Yoram Moses:
Serving time in the cloud: Why time-as-a-service? INFOCOM Workshops 2016: 95-96 - [c71]Tal Mizrahi, Yoram Moses:
The case for Data Plane Timestamping in SDN. INFOCOM Workshops 2016: 856-861 - [c70]Tal Mizrahi, Yoram Moses:
On the behavior of network delay in the cloud. INFOCOM Workshops 2016: 875-876 - [c69]Tal Mizrahi, Yoram Moses:
OneClock to rule them all: Using time in networked applications. NOMS 2016: 679-685 - [c68]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Unbeatable Set Consensus via Topological and Combinatorial Reasoning. PODC 2016: 107-116 - [r2]Yoram Moses:
Knowledge in Distributed Systems. Encyclopedia of Algorithms 2016: 1051-1055 - [i19]Tal Mizrahi, Yoram Moses:
OneClock to Rule Them All: Using Time in Networked Applications. CoRR abs/1601.07333 (2016) - [i18]Tal Mizrahi, Yoram Moses:
The Case for Data Plane Timestamping in SDN. CoRR abs/1602.03342 (2016) - [i17]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR abs/1605.01236 (2016) - [i16]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Unbeatable Set Consensus via Topological and Combinatorial Reasoning. CoRR abs/1605.07354 (2016) - [i15]Tal Mizrahi, Yoram Moses:
Time Capability in NETCONF. RFC 7758: 1-32 (2016) - 2015
- [c67]Rajit Manohar, Yoram Moses:
Analyzing Isochronic Forks with Potential Causality. ASYNC 2015: 69-76 - [c66]Tal Mizrahi, Ori Rottenstreich, Yoram Moses:
TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. INFOCOM 2015: 2551-2559 - [c65]Yoram Moses, Katia Patkin:
Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. SIROCCO 2015: 399-413 - [c64]Tal Mizrahi, Efi Saat, Yoram Moses:
Timed consistent network updates. SOSR 2015: 21:1-21:14 - [c63]Yoram Moses:
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. TARK 2015: 231-245 - [e3]Yoram Moses:
Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Lecture Notes in Computer Science 9363, Springer 2015, ISBN 978-3-662-48652-8 [contents] - [i14]Tal Mizrahi, Yoram Moses:
Time4: Time for SDN. CoRR abs/1505.03421 (2015) - [i13]Tal Mizrahi, Efi Saat, Yoram Moses:
Timed Consistent Network Updates. CoRR abs/1505.03653 (2015) - 2014
- [j31]Ido Ben-Zvi, Yoram Moses:
Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems. J. ACM 61(2): 13:1-13:26 (2014) - [j30]Joseph Y. Halpern, Yoram Moses:
A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. 49: 143-170 (2014) - [c62]Tal Mizrahi, Yoram Moses:
On the Necessity of Time-based Updates in SDN. ONS 2014 - [c61]Tal Mizrahi, Yoram Moses:
ReversePTP: a software defined networking approach to clock synchronization. HotSDN 2014: 203-204 - [c60]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Unbeatable Consensus. DISC 2014: 91-106 - [i12]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Unbeatable Consensus. CoRR abs/1410.2501 (2014) - 2013
- [c59]Ido Ben-Zvi, Yoram Moses:
Agent-Time Epistemics and Coordination. ICLA 2013: 97-108 - [c58]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Brief announcement: pareto optimal solutions to consensus and set consensus. PODC 2013: 113-115 - [c57]Tal Mizrahi, Yoram Moses:
Time-based updates in software defined networks. HotSDN 2013: 163-164 - [c56]Ido Ben-Zvi, Yoram Moses:
The Shape of Reactive Coordination Tasks. TARK 2013 - [c55]Yannai A. Gonczarowski, Yoram Moses:
Timely Common Knowledge. TARK 2013 - [i11]Yoram Moses, Marcia Kuskin Shamo:
A Knowledge-based Treatment of Human-Automation Systems. CoRR abs/1307.2191 (2013) - [i10]Ido Ben-Zvi, Yoram Moses:
The Shape of Reactive Coordination Tasks. CoRR abs/1310.6407 (2013) - [i9]Yannai A. Gonczarowski, Yoram Moses:
Timely Common Knowledge. CoRR abs/1310.6414 (2013) - [i8]Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses:
Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus. CoRR abs/1311.6902 (2013) - 2012
- [j29]Yoram Moses, Michel Raynal:
No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. 214: 47-58 (2012) - [j28]Danny Dolev, Ezra N. Hoch, Yoram Moses:
An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. 41(2): 415-435 (2012) - [c54]Yoram Moses:
Knowledge as a Window into Distributed Coordination. ICDCIT 2012: 27-34 - [i7]Ido Ben-Zvi, Yoram Moses:
Agent-time Epistemics and Coordination. CoRR abs/1203.5399 (2012) - 2011
- [j27]Ido Ben-Zvi, Yoram Moses:
On interactive knowledge with bounded communication. J. Appl. Non Class. Logics 21(3-4): 323-354 (2011) - [c53]Fabian Kuhn, Yoram Moses, Rotem Oshman:
Coordinated consensus in dynamic networks. PODC 2011: 1-10 - [c52]Maurice Herlihy, Yoram Moses, Mark R. Tuttle:
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC 2011: 231-238 - [c51]Ido Ben-Zvi, Yoram Moses:
Known unknowns: time bounds and knowledge of ignorance. TARK 2011: 161-169 - 2010
- [j26]Yoram Moses:
Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. SIGACT News 41(1): 58-62 (2010) - [j25]Tal Mizrahi, Yoram Moses:
Continuous consensus with ambiguous failures. Theor. Comput. Sci. 411(34-36): 3031-3041 (2010) - [c50]Ido Ben-Zvi, Yoram Moses:
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. DISC 2010: 421-436
2000 – 2009
- 2009
- [j24]Kai Engelhardt, Yoram Moses:
Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Comput. 22(2): 73-91 (2009) - [j23]Yoram Moses, Michel Raynal:
Revisiting simultaneous consensus with crash failures. J. Parallel Distributed Comput. 69(4): 400-409 (2009) - [c49]Danny Dolev, Ezra N. Hoch, Yoram Moses:
An Optimal Self-stabilizing Firing Squad. SSS 2009: 284-296 - [c48]Yoram Moses:
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC 2009: 436-448 - [i6]Danny Dolev, Ezra N. Hoch, Yoram Moses:
An Optimal Self-Stabilizing Firing Squad. CoRR abs/0908.2295 (2009) - 2008
- [j22]Tal Mizrahi, Yoram Moses:
Continuous consensus via common knowledge. Distributed Comput. 20(5): 305-321 (2008) - [j21]Kai Engelhardt, Yoram Moses:
Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008) - [c47]Tal Mizrahi, Yoram Moses:
Continuous Consensus with Ambiguous Failures. ICDCN 2008: 73-85 - [c46]Tal Mizrahi, Yoram Moses:
Continuous Consensus with Failures and Recoveries. DISC 2008: 408-422 - [c45]Yoram Moses, Michel Raynal:
No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC 2008: 423-437 - [r1]Yoram Moses:
Reasoning about Knowledge and Belief. Handbook of Knowledge Representation 2008: 621-647 - 2007
- [j20]Shai Avidan, Yael Moses, Yoram Moses:
Centralized and Distributed Multi-view Correspondence. Int. J. Comput. Vis. 71(1): 49-69 (2007) - [c44]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307 - [c43]Tal Mizrahi, Yoram Moses:
Long Live Continuous Consensus. DISC 2007: 490-491 - [i5]Kai Engelhardt, Yoram Moses:
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. CoRR abs/cs/0701064 (2007) - 2006
- [c42]Yoram Moses, Benny Shimony:
A New Proof of the GHS Minimum Spanning Tree Algorithm. DISC 2006: 120-135 - [i4]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. CoRR abs/cs/0610098 (2006) - 2005
- [c41]Kai Engelhardt, Yoram Moses:
Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31 - [c40]Kai Engelhardt, Yoram Moses:
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44 - [c39]Tal Mizrahi, Yoram Moses:
Continuous consensus via common knowledge. TARK 2005: 236-252 - [c38]Kai Engelhardt, Yoram Moses:
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243 - 2004
- [j19]Joseph Y. Halpern, Yoram Moses:
Using counterfactuals in knowledge-based programming. Distributed Comput. 17(2): 91-106 (2004) - [j18]Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky:
Algorithm visualization for distributed environments. J. Vis. Lang. Comput. 15(1): 97-123 (2004) - [c37]Shai Avidan, Yael Moses, Yoram Moses:
Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server. ECCV (4) 2004: 428-441 - 2003
- [i3]Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. CoRR cs.DC/0311028 (2003) - 2002
- [j17]Yoram Moses, Sergio Rajsbaum:
A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002) - 2001
- [j16]Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001) - [c36]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141 - 2000
- [c35]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129 - [c34]Yoram Moses:
Issues in the Refinement of Distributed Programs. FTRTFT 2000: 12-17 - [c33]Ron van der Meyden, Yoram Moses:
On Refinement and Temporal Annotations. FTRTFT 2000: 185-201 - [i2]Joseph Y. Halpern, Yoram Moses:
Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000)
1990 – 1999
- 1999
- [j15]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. Ann. Pure Appl. Log. 96(1-3): 89-105 (1999) - 1998
- [j14]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) - [c32]Yoram Moses, Zvi Polunsky, Ayellet Tal, Leonid Ulitsky:
Algorithm Visualization For Distributed Environments. INFOVIS 1998: 71-78 - [c31]Yoram Moses, Sergio Rajsbaum:
The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132 - [c30]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
Knowledge and the Logic of Local Propositions. TARK 1998: 29-41 - [c29]Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110 - [c28]Ron van der Meyden, Yoram Moses:
Top-Down Considerations on Distributed Computing. DISC 1998: 16-19 - [i1]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common knowledge revisited. CoRR cs.LO/9809003 (1998) - 1997
- [j13]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. Distributed Comput. 10(4): 199-225 (1997) - [j12]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) - [j11]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning about Knowledge: A Response by the Authors. Minds Mach. 7(1): 113 (1997) - 1996
- [j10]Yoram Moses, Moshe Tennenholtz:
Off-Line Reasoning for On-Line Efficiency: Knowledge Bases. Artif. Intell. 83(2): 229-239 (1996) - [c27]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. TARK 1996: 283-298 - [e2]James E. Burns, Yoram Moses:
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996. ACM 1996, ISBN 0-89791-800-2 [contents] - 1995
- [b2]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning About Knowledge. MIT Press 1995, ISBN 9780262562003 - [j9]Yoram Moses, Moshe Tennenholtz:
Artificial Social Systems. Comput. Artif. Intell. 14(6): 533-562 (1995) - [c26]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. PODC 1995: 153-163 - 1994
- [j8]Yoram Moses, Orli Waarts:
Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time. J. Algorithms 17(1): 110-156 (1994) - [c25]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147 - [c24]Yoram Moses, Ben Bloom:
Knowledge, Timed Precedence and Clocks (Preliminary Report). PODC 1994: 294-303 - [c23]Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham:
Knowledge as a Tool in Motion Planning and Uncertainty. TARK 1994: 208-224 - [c22]Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266 - 1993
- [j7]Yoram Moses, Yoav Shoham:
Belief as Defeasible Knowledge. Artif. Intell. 64(2): 299-321 (1993) - [c21]Yoram Moses, Moshe Tennenholtz:
Off-line Reasoning for On-line Efficiency. IJCAI 1993: 490-495 - [c20]Yoram Moses, Moshe Tennenholtz:
Multi-entity Models. Machine Intelligence 14 1993: 65-90 - [c19]Yoram Moses, Orit Kislev:
Knowledge-Oriented Programming (Extended Abstract). PODC 1993: 261-270 - [c18]Juan A. Garay, Yoram Moses:
Fully polynomial Byzantine agreement in t+1 rounds. STOC 1993: 31-41 - 1992
- [j6]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) - [c17]Yoram Moses:
Knowledge and Communication. TARK 1992: 1-14 - [e1]Yoram Moses:
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992. Morgan Kaufmann 1992, ISBN 1-55860-243-7 [contents] - 1990
- [j5]Cynthia Dwork, Yoram Moses:
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures. Inf. Comput. 88(2): 156-186 (1990) - [j4]Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. J. ACM 37(3): 549-587 (1990) - [c16]Alon Kleinman, Yoram Moses, Ehud Shapiro:
Distributed Variable Server for Atomic Unification. PODC 1990: 59-74 - [c15]Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346 - [c14]Yoram Moses, Gal Nachum:
Agreeing to Disagree After All. TARK 1990: 151-168
1980 – 1989
- 1989
- [c13]Moshe Tennenholtz, Yoram Moses:
On Cooperation in a Multi-Entity Model. IJCAI 1989: 918-923 - [c12]Yoav Shoham, Yoram Moses:
Belief as Defeasible Knowledge. IJCAI 1989: 1168-1173 - [c11]Yoram Moses, Gil Roth:
On Reliable Message Diffusion. PODC 1989: 119-127 - 1988
- [j3]Yoram Moses, Mark R. Tuttle:
Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988) - [c10]Yoram Moses, Orli Waarts:
Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time. FOCS 1988: 246-255 - [c9]Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle:
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report). STOC 1988: 132-147 - [c8]Yoram Moses:
Resource-bounded Knowledge. TARK 1988: 261-275 - 1986
- [b1]Yoram Moses:
Knowledge in a distributed environment. Stanford University, USA, 1986 - [j2]Yoram Moses, Danny Dolev, Joseph Y. Halpern:
Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Comput. 1(3): 167-176 (1986) - [j1]Joseph Y. Halpern, Yoram Moses:
Taken by surprise: The paradox of the surprise test revisited. J. Philos. Log. 15(3): 281-304 (1986) - [c7]Yoram Moses, Mark R. Tuttle:
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version. FOCS 1986: 208-221 - [c6]Cynthia Dwork, Yoram Moses:
Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. TARK 1986: 149-169 - 1985
- [c5]Joseph Y. Halpern, Yoram Moses:
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490 - [c4]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
- [c3]Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. Logics and Models of Concurrent Systems 1984: 459-476 - [c2]Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143 - [c1]Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
