Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2020
[j39]Guy Goren, Yoram Moses:
Silence. J. ACM 67(1): 3:1-3:26 (2020)- [c81]Yoram Moses, Nitzan Zamir:
Probably Approximately Knowing. PODC 2020: 375-384 - [c80]Guy Goren, Yoram Moses:
Brief Announcement: On Using Null Messages in a Byzantine Setting. PODC 2020: 405-407 - [i25]Nitzan Zamir, Yoram Moses:
Probably Approximately Knowing. CoRR abs/2007.02984 (2020) - [i24]Guy Goren, Shay Vargaftik, Yoram Moses:
Distributed Dispatching in the Parallel Server Model. CoRR abs/2008.00793 (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
- [b1]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) (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 1