Yoram Moses

Proceedings of the 38th International Symposium on Distributed Computing, 2024

Information Flow Guided Synthesis with Unbounded Communication.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

The Observer Effect in Computer Networks.

[BibT_eX]

[DOI]

Michael Schapira

Proceedings of the 2024 Applied Networking Research Workshop, 2024

2023

Stochastic coordination in heterogeneous load balancing systems.

[BibT_eX]

[DOI]

Shay Vargaftik

Distributed Comput., September, 2023

Distributed Dispatching in the Parallel Server Model.

[BibT_eX]

[DOI]

Shay Vargaftik

IEEE/ACM Trans. Netw., August, 2023

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2023

Common Knowledge, Regained.

[BibT_eX]

[DOI]

CoRR, 2023

Null Messages, Information and Coordination.

[BibT_eX]

[DOI]

Raïssa Nataf

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Probable Approximate Coordination.

[BibT_eX]

[DOI]

Ariel Livshits

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

Opportunistic Mutual Exclusion.

[BibT_eX]

[DOI]

Karthi Srinivasan

Proceedings of the 28th IEEE International Symposium on Asynchronous Circuits and Systems, 2023

Timed Signalling Processes.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Asynchronous Circuits and Systems, 2023

2022

Unbeatable consensus.

[BibT_eX]

[DOI]

Distributed Comput., 2022

Information Flow Guided Synthesis (Full Version).

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

CoRR, 2022

Brief Announcement: Null Messages, Information and Coordination.

[BibT_eX]

[DOI]

Raïssa Nataf

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Information Flow Guided Synthesis.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement.

[BibT_eX]

[DOI]

Alexander Spiegelman

Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 2022

2021

Optimistically tuning synchronous byzantine consensus: another win for null messages.

[BibT_eX]

[DOI]

Distributed Comput., 2021

Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement.

[BibT_eX]

[DOI]

Alexander Spiegelman

Proceedings of the 35th International Symposium on Distributed Computing, 2021

2020

Silence.

[BibT_eX]

[DOI]

J. ACM, 2020

Probably Approximately Knowing.

[BibT_eX]

[DOI]

Nitzan Zamir

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Brief Announcement: On Using Null Messages in a Byzantine Setting.

[BibT_eX]

[DOI]

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

Byzantine Consensus in the Common Case.

[BibT_eX]

[DOI]

CoRR, 2019

Timing in Software-Defined and Centrally-Managed Networks.

[BibT_eX]

[DOI]

CoRR, 2019

A Characterization of Consensus Solvability for Closed Message Adversaries.

[BibT_eX]

[DOI]

Kyrill Winkler

Ulrich Schmid

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Asynchronous Signalling Processes.

[BibT_eX]

[DOI]

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

2018

Mutual exclusion as a matter of priority.

[BibT_eX]

[DOI]

Katia Patkin

Theor. Comput. Sci., 2018

Introduction to the special issue of papers from DISC 2015.

[BibT_eX]

[DOI]

Distributed Comput., 2018

2017

TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates.

[BibT_eX]

[DOI]

Ori Rottenstreich

IEEE/ACM Trans. Netw., 2017

Characterizing solution concepts in terms of common knowledge of rationality.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2017

On Using Time Without Clocks via Zigzag Causality.

[BibT_eX]

[DOI]

Asa Dan

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 5th International Conference, 2017

The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

2016

Time Capability in NETCONF.

[BibT_eX]

[DOI]

RFC, February, 2016

Knowledge in Distributed Systems.

[BibT_eX]

[DOI]

Encyclopedia of Algorithms, 2016

Timed Consistent Network Updates in Software-Defined Networks.

[BibT_eX]

[DOI]

Efi Saat

IEEE/ACM Trans. Netw., 2016

Time4: Time for SDN.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2016

ReversePTP: A clock synchronization scheme for software-defined networks.

[BibT_eX]

[DOI]

Int. J. Netw. Manag., 2016

Unbeatable Set Consensus via Topological and Combinatorial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

OneClock to rule them all: Using time in networked applications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

On the behavior of network delay in the cloud.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

The case for Data Plane Timestamping in SDN.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Serving time in the cloud: Why time-as-a-service?

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Software defined networks: It's about time.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015

Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Timed consistent network updates.

[BibT_eX]

[DOI]

Efi Saat

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.

[BibT_eX]

[DOI]

Katia Patkin

Proceedings of the Structural Information and Communication Complexity, 2015

TimeFlip: Scheduling network updates with timestamp-based TCAM ranges.

[BibT_eX]

[DOI]

Ori Rottenstreich

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Analyzing Isochronic Forks with Potential Causality.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

2014

A Procedural Characterization of Solution Concepts in Games.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

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

[BibT_eX]

[DOI]

J. ACM, 2014

ReversePTP: a software defined networking approach to clock synchronization.

[BibT_eX]

[DOI]

Proceedings of the third workshop on Hot topics in software defined networking, 2014

On the Necessity of Time-based Updates in SDN.

[BibT_eX]

[DOI]

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

2013

A Knowledge-based Treatment of Human-Automation Systems.

[BibT_eX]

[DOI]

Marcia Kuskin Shamo

CoRR, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

Timely Common Knowledge.

[BibT_eX]

[DOI]

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

The Shape of Reactive Coordination Tasks.

[BibT_eX]

[DOI]

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

Time-based updates in software defined networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Agent-Time Epistemics and Coordination.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

An Optimal Self-Stabilizing Firing Squad.

[BibT_eX]

[DOI]

Danny Dolev

Ezra N. Hoch

SIAM J. Comput., 2012

No double discount: Condition-based simultaneity yields limited gain.

[BibT_eX]

[DOI]

Michel Raynal

Inf. Comput., 2012

Knowledge as a Window into Distributed Coordination.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2012

2011

On interactive knowledge with bounded communication.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Known unknowns: time bounds and knowledge of ignorance.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Coordinated consensus in dynamic networks.

[BibT_eX]

[DOI]

Fabian Kuhn

Rotem Oshman

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.

[BibT_eX]

[DOI]

Maurice Herlihy

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

2010

Continuous consensus with ambiguous failures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize.

[BibT_eX]

[DOI]

SIGACT News, 2010

Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

2009

Revisiting simultaneous consensus with crash failures.

[BibT_eX]

[DOI]

Michel Raynal

J. Parallel Distributed Comput., 2009

Causing communication closure: safe program composition with reliable non-FIFO channels.

[BibT_eX]

[DOI]

Distributed Comput., 2009

Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

2008

Reasoning about Knowledge and Belief.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Single-bit messages are insufficient for data link over duplicating channels.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

Continuous consensus via common knowledge.

[BibT_eX]

[DOI]

Distributed Comput., 2008

Continuous Consensus with Failures and Recoveries.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

2007

Centralized and Distributed Multi-view Correspondence.

[BibT_eX]

[DOI]

Shai Avidan

Yael Moses

Int. J. Comput. Vis., 2007

Long Live Continuous Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Characterizing Solution Concepts in Games Using Knowledge-Based Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

A New Proof of the GHS Minimum Spanning Tree Algorithm.

[BibT_eX]

[DOI]

Benny Shimony

Proceedings of the Distributed Computing, 20th International Symposium, 2006

2005

Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2005

Single-Bit Messages Are Insufficient in the Presence of Duplication.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2005

2004

Algorithm visualization for distributed environments.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2004

Using counterfactuals in knowledge-based programming.

[BibT_eX]

[DOI]

Distributed Comput., 2004

Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server.

[BibT_eX]

[DOI]

Shai Avidan

Yael Moses

Proceedings of the Computer Vision, 2004

2002

A Layered Analysis of Consensus.

[BibT_eX]

[DOI]

Sergio Rajsbaum

SIAM J. Comput., 2002

2001

A Characterization of Eventual Byzantine Agreement.

[BibT_eX]

[DOI]

Orli Waarts

SIAM J. Comput., 2001

A Refinement Theory that Supports Reasoning About Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

2000

Issues in the Refinement of Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

On Refinement and Temporal Annotations.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

A Program Refinement Framework Supporting Reasoning about Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Common Knowledge Revisited.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1999

1998

Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds.

[BibT_eX]

[DOI]

Juan A. Garay

SIAM J. Comput., 1998

Top-Down Considerations on Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 12th International Symposium, 1998

Knowledge and the Logic of Local Propositions.

[BibT_eX]

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

The Unified Structure of Consensus: A Layered Analysis Approach.

[BibT_eX]

[DOI]

Sergio Rajsbaum

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

1997

Reasoning about Knowledge: A Response by the Authors.

[BibT_eX]

[DOI]

Minds Mach., 1997

Applications of a logic of knowledge to motion planning under uncertainty.

[BibT_eX]

[DOI]

J. ACM, 1997

Knowledge-Based Programs.

[BibT_eX]

[DOI]

Distributed Comput., 1997

1996

Off-Line Reasoning for On-Line Efficiency: Knowledge Bases.

[BibT_eX]

[DOI]

Artif. Intell., 1996

1995

Artificial Social Systems.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1995

Reasoning About Knowledge.

[BibT_eX]

[DOI]

MIT Press, ISBN: 9780262562003, 1995

1994

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

[BibT_eX]

[DOI]

Orli Waarts

J. Algorithms, 1994

Algorithmic Knowledge.

[BibT_eX]

Moshe Y. Vardi

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

Knowledge as a Tool in Motion Planning and Uncertainty.

[BibT_eX]

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

Knowledge, Timed Precedence and Clocks (Preliminary Report).

[BibT_eX]

[DOI]

Ben Bloom

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

An Operational Semantics for Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Belief as Defeasible Knowledge.

[BibT_eX]

[DOI]

Yoav Shoham

Artif. Intell., 1993

Fully polynomial Byzantine agreement in t+1 rounds.

[BibT_eX]

[DOI]

Juan A. Garay

Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

Knowledge-Oriented Programming (Extended Abstract).

[BibT_eX]

[DOI]

Orit Kislev

Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

Multi-entity Models.

[BibT_eX]

Proceedings of the Machine Intelligence 14, 1993

Off-line Reasoning for On-line Efficiency.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Knowledge and Communication.

[BibT_eX]

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

1990

Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures

[BibT_eX]

[DOI]

Cynthia Dwork

Inf. Comput., October, 1990

Knowledge and Common Knowledge in a Distributed Environment

[BibT_eX]

[DOI]

J. ACM, July, 1990

Agreeing to Disagree After All.

[BibT_eX]

Gal Nachum

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

Distributed Variable Server for Atomic Unification.

[BibT_eX]

[DOI]

Alon Kleinman

Ehud Shapiro

Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989

On Reliable Message Diffusion.

[BibT_eX]

[DOI]

Gil Roth

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

On Cooperation in a Multi-Entity Model.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Programming Simultaneous Actions Using Common Knowledge.

[BibT_eX]

[DOI]

Algorithmica, 1988

Resource-bounded Knowledge.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

1986

Knowledge in a distributed environment.

[BibT_eX]

[DOI]

PhD thesis, 1986

Taken by surprise: The paradox of the surprise test revisited.

[BibT_eX]

[DOI]

J. Philos. Log., 1986

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

[BibT_eX]

[DOI]

Danny Dolev

Distributed Comput., 1986

Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures.

[BibT_eX]

Cynthia Dwork

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Programming Simultaneous Actions Using Common Knowledge: Preliminary Version

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Danny Dolev

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.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Towards a Theory of Knowledge and Ignorance: Preliminary Report.

[BibT_eX]

[DOI]