Yoram Moses

According to our database1, Yoram Moses authored at least 110 papers between 1984 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Byzantine Consensus in the Common Case.
CoRR, 2019

Timing in Software-Defined and Centrally-Managed Networks.
CoRR, 2019

Asynchronous Signalling Processes.
Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018
Mutual exclusion as a matter of priority.
Theor. Comput. Sci., 2018

Introduction to the special issue of papers from DISC 2015.
Distributed Computing, 2018

Silence.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2017
TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates.
IEEE/ACM Trans. Netw., 2017

Characterizing solution concepts in terms of common knowledge of rationality.
Int. J. Game Theory, 2017

On Using Time Without Clocks via Zigzag Causality.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour.
Proceedings of the Networked Systems - 5th International Conference, 2017

The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits.
Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

2016
Time Capability in NETCONF.
RFC, February, 2016

Knowledge in Distributed Systems.
Encyclopedia of Algorithms, 2016

Timed Consistent Network Updates in Software-Defined Networks.
IEEE/ACM Trans. Netw., 2016

Time4: Time for SDN.
IEEE Trans. Network and Service Management, 2016

ReversePTP: A clock synchronization scheme for software-defined networks.
Int. Journal of Network Management, 2016

Unbeatable Set Consensus via Topological and Combinatorial Reasoning.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

OneClock to rule them all: Using time in networked applications.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

On the behavior of network delay in the cloud.
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

The case for Data Plane Timestamping in SDN.
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Serving time in the cloud: Why time-as-a-service?
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Software defined networks: It's about time.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Timed consistent network updates.
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority.
Proceedings of the Structural Information and Communication Complexity, 2015

TimeFlip: Scheduling network updates with timestamp-based TCAM ranges.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Analyzing Isochronic Forks with Potential Causality.
Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

2014
A Procedural Characterization of Solution Concepts in Games.
J. Artif. Intell. Res., 2014

Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems.
J. ACM, 2014

Unbeatable Consensus.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

ReversePTP: a software defined networking approach to clock synchronization.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

On the Necessity of Time-based Updates in SDN.
Proceedings of the Open Networking Summit 2014 - Research Track, 2014

2013
A Knowledge-based Treatment of Human-Automation Systems.
CoRR, 2013

Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus.
CoRR, 2013

Timely Common Knowledge.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

The Shape of Reactive Coordination Tasks.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Time-based updates in software defined networks.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Brief announcement: pareto optimal solutions to consensus and set consensus.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Agent-Time Epistemics and Coordination.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012
An Optimal Self-Stabilizing Firing Squad.
SIAM J. Comput., 2012

No double discount: Condition-based simultaneity yields limited gain.
Inf. Comput., 2012

Knowledge as a Window into Distributed Coordination.
Proceedings of the Distributed Computing and Internet Technology, 2012

2011
On interactive knowledge with bounded communication.
Journal of Applied Non-Classical Logics, 2011

Known unknowns: time bounds and knowledge of ignorance.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Coordinated consensus in dynamic networks.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

2010
Continuous consensus with ambiguous failures.
Theor. Comput. Sci., 2010

Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize.
SIGACT News, 2010

Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

2009
Revisiting simultaneous consensus with crash failures.
J. Parallel Distrib. Comput., 2009

Causing communication closure: safe program composition with reliable non-FIFO channels.
Distributed Computing, 2009

Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

2008
Reasoning about Knowledge and Belief.
Proceedings of the Handbook of Knowledge Representation, 2008

Single-bit messages are insufficient for data link over duplicating channels.
Inf. Process. Lett., 2008

Continuous consensus via common knowledge.
Distributed Computing, 2008

Continuous Consensus with Failures and Recoveries.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

2007
Centralized and Distributed Multi-view Correspondence.
International Journal of Computer Vision, 2007

Long Live Continuous Consensus.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
Proceedings of the IJCAI 2007, 2007

2006
A New Proof of the GHS Minimum Spanning Tree Algorithm.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

2005
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels.
Proceedings of the Distributed Computing, 2005

Single-Bit Messages Are Insufficient in the Presence of Duplication.
Proceedings of the Distributed Computing, 2005

2004
Algorithm visualization for distributed environments.
J. Vis. Lang. Comput., 2004

Using counterfactuals in knowledge-based programming.
Distributed Computing, 2004

Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server.
Proceedings of the Computer Vision, 2004

2002
A Layered Analysis of Consensus.
SIAM J. Comput., 2002

2001
A Characterization of Eventual Byzantine Agreement.
SIAM J. Comput., 2001

A Refinement Theory that Supports Reasoning About Knowledge and Time.
Proceedings of the Logic for Programming, 2001

2000
Issues in the Refinement of Distributed Programs.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

On Refinement and Temporal Annotations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

A Program Refinement Framework Supporting Reasoning about Knowledge and Time.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Common Knowledge Revisited.
Ann. Pure Appl. Logic, 1999

1998
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds.
SIAM J. Comput., 1998

Top-Down Considerations on Distributed Computing.
Proceedings of the Distributed Computing, 12th International Symposium, 1998

Knowledge and the Logic of Local Propositions.
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

The Unified Structure of Consensus: A Layered Analysis Approach.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

1997
Reasoning about Knowledge: A Response by the Authors.
Minds and Machines, 1997

Applications of a logic of knowledge to motion planning under uncertainty.
J. ACM, 1997

Knowledge-Based Programs.
Distributed Computing, 1997

1996
Off-Line Reasoning for On-Line Efficiency: Knowledge Bases.
Artif. Intell., 1996

1995
Artificial Social Systems.
Computers and Artificial Intelligence, 1995

1994
Coordinated Traversal: (t + 1)- Round Byzantine Agreement in Polynomial Time.
J. Algorithms, 1994

Algorithmic Knowledge.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Knowledge as a Tool in Motion Planning and Uncertainty.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Knowledge, Timed Precedence and Clocks (Preliminary Report).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

An Operational Semantics for Knowledge Bases.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Belief as Defeasible Knowledge.
Artif. Intell., 1993

Fully polynomial Byzantine agreement in t+1 rounds.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

Knowledge-Oriented Programming (Extended Abstract).
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

Multi-entity Models.
Proceedings of the Machine Intelligence 14, 1993

Off-line Reasoning for On-line Efficiency.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.
Artif. Intell., 1992

Knowledge and Communication.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

1990
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures
Inf. Comput., October, 1990

Knowledge and Common Knowledge in a Distributed Environment
J. ACM, July, 1990

Agreeing to Disagree After All.
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

Distributed Variable Server for Atomic Unification.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989
On Reliable Message Diffusion.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

On Cooperation in a Multi-Entity Model.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Programming Simultaneous Actions Using Common Knowledge.
Algorithmica, 1988

Resource-bounded Knowledge.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

1986
Taken by surprise: The paradox of the surprise test revisited.
J. Philosophical Logic, 1986

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication.
Distributed Computing, 1986

Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Programming Simultaneous Actions Using Common Knowledge: Preliminary Version
Proceedings of the 27th Annual Symposium on Foundations of Computer Science, 1986

1985
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version).
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Towards a Theory of Knowledge and Ignorance: Preliminary Report.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984


  Loading...