| Publication | Date of Publication | Type |
|---|
Load balancing: An exercise in constrained convergence
Distributed Algorithms | 2023-12-01 | Paper |
The triumph and tribulation of system stabilization
Distributed Algorithms | 2023-12-01 | Paper |
Policy expressions and the bottom-up design of computing policies
Computing | 2021-01-15 | Paper |
The implication problem of computing policies
Lecture Notes in Computer Science | 2020-01-14 | Paper |
Token systems that self-stabilize
IEEE Transactions on Computers | 2018-09-14 | Paper |
A Stabilizing Deactivation/Reactivation Protocol
IEEE Transactions on Computers | 2018-06-12 | Paper |
Truth in advertising, lightweight verification of route integrity
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing | 2014-03-13 | Paper |
The alternator
Distributed Computing | 2013-06-20 | Paper |
A state-based model of sensor protocols
Theoretical Computer Science | 2012-11-08 | Paper |
Stabilization of max-min fair networks without per-flow state
Theoretical Computer Science | 2011-10-10 | Paper |
Nash equilibria in stabilizing systems
Theoretical Computer Science | 2011-07-22 | Paper |
On the power of non-spoofing adversaries
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Hop chains: Secure routing and the establishment of distinct identities
Theoretical Computer Science | 2009-03-02 | Paper |
Stabilizing Certificate Dispersal
Lecture Notes in Computer Science | 2007-09-25 | Paper |
SPP: An anti-phishing single password protocol
Computer Networks | 2007-08-23 | Paper |
Structured firewall design
Computer Networks | 2007-02-20 | Paper |
Data and Applications Security XIX
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Key bundles and parcels: secure communication in many groups
Computer Networks | 2006-10-10 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Hop integrity in the internet. A defense against denial-of-service attacks.
Advances in Information Security | 2005-09-20 | Paper |
Optimal Dispersal of Certificate Chains
Lecture Notes in Computer Science | 2005-08-17 | Paper |
The Austin Protocol Compiler.
Advances in Information Security | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2061535 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 2061547 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 2036573 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 2036569 (Why is no real title available?) | 2004-02-02 | Paper |
| scientific article; zbMATH DE number 2036574 (Why is no real title available?) | 2004-02-02 | Paper |
Distributed reset
IEEE Transactions on Computers | 2003-10-16 | Paper |
A secure address resolution protocol.
Computer Networks | 2003-08-07 | Paper |
Stabilization of general loop-free routing
Journal of Parallel and Distributed Computing | 2002-10-16 | Paper |
Elements of security: Closure, convergence, and protection
Information Processing Letters | 2002-07-25 | Paper |
Memory requirements for silent stabilization
Acta Informatica | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1332667 (Why is no real title available?) | 1999-09-08 | Paper |
The stabilizing token ring in three bits
Journal of Parallel and Distributed Computing | 1996-11-25 | Paper |
Stabilizing observers
Information Processing Letters | 1995-09-19 | Paper |
The elusive atomic register
Journal of the ACM | 1994-06-29 | Paper |
Rankers: A classification of synchronization problems
Science of Computer Programming | 1994-02-17 | Paper |
Convergence of iteration systems
Distributed Computing | 1994-01-06 | Paper |
Stabilization and pseudo-stabilization
Distributed Computing | 1994-01-06 | Paper |
A criterion for atomicity
Formal Aspects of Computing | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 17805 (Why is no real title available?) | 1992-06-26 | Paper |
On the minimum requirements for independent recovery in distributed systems
Information Processing Letters | 1991-01-01 | Paper |
A new explanation of the glitch phenomenon
Acta Informatica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4209563 (Why is no real title available?) | 1990-01-01 | Paper |
Stabilizing unison
Information Processing Letters | 1990-01-01 | Paper |
The instability of self-stabilization
Acta Informatica | 1990-01-01 | Paper |
Atomic semantics of nonatomic programs
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4043216 (Why is no real title available?) | 1987-01-01 | Paper |
Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems | 1986-01-01 | Paper |
Priority Networks of Communicating Finite State Machines
SIAM Journal on Computing | 1985-01-01 | Paper |
Protocol validation by fair progress state exploration
Computer Networks and ISDN Systems | 1985-01-01 | Paper |
On "A Simple Protocol Whose Proof Isńt": The State Machine Approach
IEEE Transactions on Communications | 1985-01-01 | Paper |
Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3881887 (Why is no real title available?) | 1984-01-01 | Paper |
Closed Covers: To Verify Progress for Communicating Finite State Machines
IEEE Transactions on Software Engineering | 1984-01-01 | Paper |
On the progress of communication between two finite state machines
Information and Control | 1984-01-01 | Paper |
Synthesis of Communicating Finite-State Machines with Guaranteed Progress
IEEE Transactions on Communications | 1984-01-01 | Paper |
Unboundedness detection for a class of communicating finite-state machines
Information Processing Letters | 1983-01-01 | Paper |
Deadlock Detection for a Class of Communicating Finite State Machines
IEEE Transactions on Communications | 1982-01-01 | Paper |
