Yoram Moses
#5,743
Most Influential Person Now
Israeli academic
Yoram Moses's AcademicInfluence.com Rankings
Yoram Mosescomputer-science Degrees
Computer Science
#373
World Rank
#388
Historical Rank
Artificial Intelligence
#850
World Rank
#866
Historical Rank
Database
#4848
World Rank
#5036
Historical Rank
Download Badge
Computer Science
Yoram Moses's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Yoram Moses Influential?
(Suggest an Edit or Addition)According to Wikipedia, Yoram Moses is a Professor in the Electrical Engineering Department at the Technion - Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986. Moses is a co-author of the book Reasoning About Knowledge, and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing.
Yoram Moses's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Knowledge and common knowledge in a distributed environment (1984) (1018)
- A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief (1992) (945)
- Knowledge and common knowledge in a distributed environment (1990) (471)
- A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft (1985) (294)
- Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures (1990) (261)
- Towards a Theory of Knowledge and Ignorance: Preliminary Report (1989) (213)
- Artificial Social Systems (1992) (209)
- Knowledge-based programs (1995) (142)
- Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds (1998) (122)
- A Layered Analysis of Consensus (2002) (115)
- Coordinated consensus in dynamic networks (2011) (112)
- Belief as Defeasible Knowledge (1989) (83)
- Programming simultaneous actions using common knowledge (1987) (80)
- Fully polynomial Byzantine agreement in t + 1 rounds (1993) (72)
- Algorithmic Knowledge (1994) (71)
- A characterization of eventual Byzantine agreement (1990) (65)
- TimeFlip: Scheduling network updates with timestamp-based TCAM ranges (2015) (65)
- Knowledge and the Logic of Local Propositions (1998) (64)
- Resource-bounded Knowledge (1988) (61)
- Knowledge and common knowledge in a Byzantine environment I: crash failures (1986) (56)
- Cheating husbands and other stories: A case study of knowledge, action, and communication (1986) (56)
- Common Knowledge Revisited (1996) (55)
- Coordinated traversal: (t+1)-round Byzantine agreement in polynomial time (1988) (54)
- Timed Consistent Network Updates in Software-Defined Networks (2015) (53)
- Timed consistent network updates (2015) (53)
- Time-based updates in software defined networks (2013) (50)
- Software defined networks: It's about time (2016) (50)
- A knowledge-based analysis of zero knowledge (1988) (48)
- Applications of a logic of knowledge to motion planning under uncertainty (1997) (44)
- On Cooperation in a Multi-Entity Model (1989) (42)
- Algorithm visualization for distributed environments (1998) (41)
- Time4: Time for SDN (2015) (37)
- Knowledge in a distributed environment (1986) (27)
- The unified structure of consensus: a layered analysis approach (1998) (26)
- Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle (2016) (26)
- Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems (2010) (26)
- Continuous consensus via common knowledge (2005) (26)
- Beyond Lamport's Happened-before (2014) (24)
- The case for Data Plane Timestamping in SDN (2016) (23)
- TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates (2017) (23)
- Knowledge-oriented programming (1993) (21)
- Agent-Time Epistemics and Coordination (2012) (20)
- Using ReversePTP to distribute time in Software Defined Networks (2014) (19)
- Time-based Updates in OpenFlow : A Proposed Extension to the OpenFlow Protocol (2013) (18)
- Knowledge, Timed Precedence and Clocks (1995) (18)
- On the Necessity of Time-based Updates in SDN (2014) (18)
- Agreeing to Disagree After All (1990) (18)
- ReversePTP: a software defined networking approach to clock synchronization (2014) (18)
- Centralized and Distributed Multi-view Correspondence (2005) (17)
- Unbeatable consensus (2014) (17)
- Knowledge as a Tool in Motion Planning and Uncertainty (1994) (17)
- Characterizing Solution Concepts in Games Using Knowledge-Based Programs (2006) (17)
- Knowledge, timed precedence and clocks (preliminary report) (1994) (16)
- Off-line Reasoning for On-line Efficiency (1993) (16)
- Multi-entity Models (1996) (15)
- A Refinement Theory that Supports Reasoning About Knowledge and Time (2001) (15)
- Revisiting simultaneous consensus with crash failures (2009) (14)
- Analyzing Isochronic Forks with Potential Causality (2015) (14)
- A Program Refinement Framework Supporting Reasoning about Knowledge and Time (2000) (14)
- Taken by surprise: The paradox of the surprise test revisited (1986) (13)
- Time Capability in NETCONF (2016) (13)
- Knowledge and communication: a tutorial (1992) (12)
- On interactive knowledge with bounded communication (2011) (12)
- Continuous Consensus with Failures and Recoveries (2008) (11)
- Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server (2004) (11)
- On reliable message diffusion (1989) (11)
- Using counterfactuals in knowledge-based programming (1998) (11)
- The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits (2017) (11)
- Theoretical aspects of reasoning about knowledge : proceedings of the fourth conference (TARK 1992), March 22-25, 1992, Monterey, California (1992) (10)
- ReversePTP: A clock synchronization scheme for software‐defined networks (2016) (10)
- Agreeing to Disagree After All ( Extended (1990) (9)
- Off-Line Reasoning for On-Line Efficiency: Knowledge Bases (1996) (9)
- Programming simultaneous actions using common knowledge: Preliminary version (1986) (9)
- A Model for Knowledge (2004) (9)
- Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge (1992) (9)
- Reasoning about Knowledge and Belief (2008) (9)
- Characterizing solution concepts in terms of common knowledge of rationality (2016) (8)
- Distributed Dispatching in the Parallel Server Model (2020) (8)
- Continuous consensus with ambiguous failures (2008) (8)
- An Optimal Self-Stabilizing Firing Squad (2009) (8)
- Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour (2017) (7)
- Brief announcement: pareto optimal solutions to consensus and set consensus (2013) (7)
- Knowledge and Communication (1992) (7)
- Timely Common Knowledge Characterising Asymmetric Distributed Coordination via Vectorial Fixed Points (2013) (7)
- OneClock to rule them all: Using time in networked applications (2016) (6)
- Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions (2011) (6)
- Knowledge-Oriented Programming (Extended Abstract). (1993) (6)
- Unbeatable Set Consensus via Topological and Combinatorial Reasoning (2016) (6)
- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels (2005) (6)
- Silence (2018) (5)
- The Shape of Reactive Coordination Tasks (2013) (5)
- An Operational Semantics for Knowledge Bases (1994) (5)
- Timely Common Knowledge (2013) (5)
- No double discount: Condition-based simultaneity yields limited gain (2008) (5)
- Top-Down Considerations on Distributed Computing (1998) (5)
- On the behavior of network delay in the cloud (2016) (4)
- A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) (1988) (4)
- On Using Time Without Clocks via Zigzag Causality (2017) (4)
- Single-Bit Messages Are Insufficient in the Presence of Duplication (2005) (4)
- A Procedural Characterization of Solution Concepts in Games (2014) (4)
- A Characterization of Consensus Solvability for Closed Message Adversaries (2019) (4)
- A New Proof of the GHS Minimum Spanning Tree Algorithm (2006) (3)
- Known unknowns: time bounds and knowledge of ignorance (2011) (3)
- Asynchronous Signalling Processes (2019) (3)
- Cheating husbands and other stories (preliminary version): a case study of knowledge, action, and communication (1985) (3)
- Serving time in the cloud: Why time-as-a-service? (2016) (3)
- Reasoning about Knowledge: A Response by the Authors (1997) (3)
- Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority (2015) (3)
- On Refinement and Temporal Annotations (2000) (3)
- Mutual exclusion as a matter of priority (2017) (2)
- Distributed variable server for atomic unification (1990) (2)
- Knowledge as a Window into Distributed Coordination (2012) (2)
- Common knowledge: Now you have it, now you don`t? (1996) (2)
- Causing Communication Closure: Safe Program Composition with Non-FIFO Channels (2005) (2)
- Protocols and Programs (2004) (2)
- Stochastic Coordination in Heterogeneous Load Balancing Systems (2021) (2)
- Optimistically tuning synchronous byzantine consensus: another win for null messages (2021) (2)
- Knowledge in Distributed Systems (2016) (2)
- Causing communication closure: safe program composition with reliable non-FIFO channels (2007) (1)
- Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement (2020) (1)
- Information Flow Guided Synthesis (2022) (1)
- Timing in Software-Defined and Centrally-Managed Networks (2019) (1)
- Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus (2013) (1)
- Causality in synchronous systems (2010) (1)
- Knowledge and the Logic of Local Propositions ( Extended (1998) (1)
- Long Live Continuous Consensus (2007) (1)
- Completeness and Complexity (2004) (1)
- Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle (2009) (1)
- Silence (2018) (1)
- Network Service Header Timestamping (2016) (1)
- Information Flow Guided Synthesis (Full Version) (2022) (1)
- Common Knowledge and Agreement (2004) (0)
- Knowledge and Computation (2004) (0)
- Knowledge-Based Programming (2004) (0)
- Byzantine Consensus in the Common Case (2019) (0)
- Single-bit messages are insufficient for data link over duplicating channels (2008) (0)
- Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize (2010) (0)
- Null Messages, Information and Coordination (2022) (0)
- Reasoning about Knowledge in Human-Automation Systems (Preliminary Report) (2007) (0)
- Distributed computing : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings (2015) (0)
- Brief Announcement: On Using Null Messages in a Byzantine Setting (2020) (0)
- Introduction to the special issue of papers from DISC 2015 (2018) (0)
- Probably Approximately Knowing (2020) (0)
- Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996 (1996) (0)
- ON THE ENCODING OF RELATIONS BY GRAPHS (1984) (0)
- Issues in the Refinement of Distributed Programs (2000) (0)
- Introduction to the special issue of papers from DISC 2015 (2018) (0)
- Issues in the Renement of Distributed Programs (2000) (0)
- Knowledge in Multi-Agent Systems (2004) (0)
- 1 The Ricart And Agrawala Algorithm The RA Algorithm (2018) (0)
- A Knowledge-based Treatment of Human-Automation Systems (2013) (0)
- Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1992 (1992) (0)
- What is knowledge ? Can anybody answer this question ? Socrates (0)
- Session details: Communication and congestion (2011) (0)
- T IME F LIP : Scheduling Network Updates with Timestamp-based TCAM Ranges Technical Report (2015) (0)
- Characterizing solution concepts in terms of common knowledge of rationality (2016) (0)
- Issues for a Temporal Reenement Calculus (2007) (0)
- Brief Announcement: Null Messages, Information and Coordination (2022) (0)
This paper list is powered by the following services:
Other Resources About Yoram Moses
What Schools Are Affiliated With Yoram Moses?
Yoram Moses is affiliated with the following schools:
