| Publication | Date of Publication | Type |
|---|
Stochastic coordination in heterogeneous load balancing systems
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
scientific article; zbMATH DE number 7774308 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
| Distributed dispatching in the parallel server model | 2023-11-02 | Paper |
Stochastic coordination in heterogeneous load balancing systems
Distributed Computing | 2023-09-11 | Paper |
| scientific article; zbMATH DE number 7650867 (Why is no real title available?) | 2023-02-07 | Paper |
| Information Flow Guided Synthesis | 2022-12-07 | Paper |
Off-line reasoning for on-line efficiency: knowledge bases
Artificial Intelligence | 2022-09-23 | Paper |
Unbeatable consensus
Distributed Computing | 2022-04-01 | Paper |
| Relating knowledge and coordinated action: the knowledge of preconditions principle | 2021-12-07 | Paper |
Relating knowledge and coordinated action: the knowledge of preconditions principle
(available as arXiv preprint) | 2021-12-07 | Paper |
Optimistically tuning synchronous Byzantine consensus: another win for null messages
Distributed Computing | 2021-11-08 | Paper |
Brief Announcement: On Using Null Messages in a Byzantine Setting
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Probably Approximately Knowing
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Using counterfactuals in knowledge-based programming
Distributed Computing | 2020-12-04 | Paper |
Knowledge-based programs
Distributed Computing | 2020-12-02 | Paper |
Silence
Journal of the ACM | 2020-11-11 | Paper |
| Known unknowns: time bounds and knowledge of ignorance | 2020-07-24 | Paper |
Silence
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing | 2019-09-19 | Paper |
Mutual exclusion as a matter of priority
Theoretical Computer Science | 2018-11-29 | Paper |
On using time without clocks via zigzag causality
Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
Knowledge-oriented programming
Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93 | 2017-09-29 | Paper |
Knowledge-based programs
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
Knowledge, timed precedence and clocks (preliminary report)
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Unbeatable set consensus via topological and combinatorial reasoning
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
Characterizing solution concepts in terms of common knowledge of rationality
International Journal of Game Theory | 2017-08-15 | Paper |
The unified structure of consensus, a layered analysis approach
Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98 | 2016-03-02 | Paper |
Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
Structural Information and Communication Complexity | 2016-01-08 | Paper |
Coordinated consensus in dynamic networks
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-09-11 | Paper |
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-09-11 | Paper |
Fully polynomial Byzantine agreement in t + 1 rounds
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 | 2015-05-07 | Paper |
Agent-time epistemics and coordination
Logic and Its Applications | 2015-01-06 | Paper |
Beyond Lamport's Happened-before
Journal of the ACM | 2014-09-12 | Paper |
A Procedural Characterization of Solution Concepts in Games
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
Causing communication closure: safe program composition with reliable non-FIFO channels
Distributed Computing | 2013-06-28 | Paper |
Continuous consensus via common knowledge
Distributed Computing | 2013-06-20 | Paper |
An optimal self-stabilizing firing squad
SIAM Journal on Computing | 2012-08-10 | Paper |
On interactive knowledge with bounded communication
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
No double discount: condition-based simultaneity yields limited gain
Information and Computation | 2012-05-24 | Paper |
A refinement theory that supports reasoning about knowledge and time for synchronous agents
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Continuous consensus with ambiguous failures
Theoretical Computer Science | 2010-08-11 | Paper |
Single-bit messages are insufficient for data link over duplicating channels
Information Processing Letters | 2010-04-19 | Paper |
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle
Lecture Notes in Computer Science | 2009-11-19 | Paper |
No Double Discount: Condition-Based Simultaneity Yields Limited Gain
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Continuous Consensus with Failures and Recoveries
Lecture Notes in Computer Science | 2008-11-20 | Paper |
A New Proof of the GHS Minimum Spanning Tree Algorithm
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Continuous Consensus with Ambiguous Failures
Distributed Computing and Networking | 2008-03-06 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Distributed Computing – IWDC 2005
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Distributed Computing – IWDC 2005
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Computer Vision - ECCV 2004
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2149446 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 1696493 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1696507 (Why is no real title available?) | 2002-06-17 | Paper |
A layered analysis of consensus
SIAM Journal on Computing | 2002-04-23 | Paper |
A characterization of eventual Byzantine agreement
SIAM Journal on Computing | 2002-04-23 | Paper |
| scientific article; zbMATH DE number 1512613 (Why is no real title available?) | 2000-10-03 | Paper |
Common knowledge revisited
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds
SIAM Journal on Computing | 1998-05-10 | Paper |
Applications of a logic of knowledge to motion planning under uncertainty
Journal of the ACM | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 795590 (Why is no real title available?) | 1995-09-11 | Paper |
Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time
Journal of Algorithms | 1994-09-08 | Paper |
Belief as defeasible knowledge
Artificial Intelligence | 1994-05-26 | Paper |
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence | 1992-09-27 | Paper |
Knowledge and common knowledge in a distributed environment
Journal of the ACM | 1990-01-01 | Paper |
Knowledge and common knowledge in a Byzantine environment: Crash failures
Information and Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4174371 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4185061 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4197469 (Why is no real title available?) | 1988-01-01 | Paper |
Programming simultaneous actions using common knowledge
Algorithmica | 1988-01-01 | Paper |
Cheating husbands and other stories: A case study of knowledge, action, and communication
Distributed Computing | 1986-01-01 | Paper |
Taken by surprise: the paradox of the surprise test revisited
Journal of Philosophical Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3930375 (Why is no real title available?) | 1985-01-01 | Paper |
On the Encoding of Relations by Graphs
SIAM Journal on Algebraic Discrete Methods | 1984-01-01 | Paper |
