| Publication | Date of Publication | Type |
|---|
| The triumph and tribulation of system stabilization | 2023-12-01 | Paper |
| Load balancing: An exercise in constrained convergence | 2023-12-01 | Paper |
| Policy expressions and the bottom-up design of computing policies | 2021-01-15 | Paper |
| The Implication Problem of Computing Policies | 2020-01-14 | Paper |
| Token systems that self-stabilize | 2018-09-14 | Paper |
| A Stabilizing Deactivation/Reactivation Protocol | 2018-06-12 | Paper |
| Truth in advertising | 2014-03-13 | Paper |
| The alternator | 2013-06-20 | Paper |
| A state-based model of sensor protocols | 2012-11-08 | Paper |
| Stabilization of max-min fair networks without per-flow state | 2011-10-10 | Paper |
| Nash equilibria in stabilizing systems | 2011-07-22 | Paper |
| On the Power of Non-spoofing Adversaries | 2010-09-10 | Paper |
| Hop chains: Secure routing and the establishment of distinct identities | 2009-03-02 | Paper |
| Stabilizing Certificate Dispersal | 2007-09-25 | Paper |
| SPP: An anti-phishing single password protocol | 2007-08-23 | Paper |
| Structured firewall design | 2007-02-20 | Paper |
| Data and Applications Security XIX | 2006-11-01 | Paper |
| Key bundles and parcels: secure communication in many groups | 2006-10-10 | Paper |
| Principles of Distributed Systems | 2005-12-15 | Paper |
| Principles of Distributed Systems | 2005-12-15 | Paper |
| Hop integrity in the internet. A defense against denial-of-service attacks. | 2005-09-20 | Paper |
| Optimal Dispersal of Certificate Chains | 2005-08-17 | Paper |
| The Austin Protocol Compiler. | 2005-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457211 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457230 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446599 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446603 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446604 | 2004-02-02 | Paper |
| Distributed reset | 2003-10-16 | Paper |
| A secure address resolution protocol. | 2003-08-07 | Paper |
| Stabilization of general loop-free routing | 2002-10-16 | Paper |
| Elements of security: Closure, convergence, and protection | 2002-07-25 | Paper |
| Memory requirements for silent stabilization | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259988 | 1999-09-08 | Paper |
| The stabilizing token ring in three bits | 1996-11-25 | Paper |
| Stabilizing observers | 1995-09-19 | Paper |
| The elusive atomic register | 1994-06-29 | Paper |
| Rankers: A classification of synchronization problems | 1994-02-17 | Paper |
| Stabilization and pseudo-stabilization | 1994-01-06 | Paper |
| Convergence of iteration systems | 1994-01-06 | Paper |
| A criterion for atomicity | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975147 | 1992-06-26 | Paper |
| On the minimum requirements for independent recovery in distributed systems | 1991-01-01 | Paper |
| A new explanation of the glitch phenomenon | 1991-01-01 | Paper |
| The instability of self-stabilization | 1990-01-01 | Paper |
| Stabilizing unison | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3357516 | 1990-01-01 | Paper |
| Atomic semantics of nonatomic programs | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780411 | 1987-01-01 | Paper |
| Proving liveness for networks of communicating finite state machines | 1986-01-01 | Paper |
| Priority Networks of Communicating Finite State Machines | 1985-01-01 | Paper |
| On "A Simple Protocol Whose Proof Isńt": The State Machine Approach | 1985-01-01 | Paper |
| Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines | 1985-01-01 | Paper |
| Protocol validation by fair progress state exploration | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216146 | 1984-01-01 | Paper |
| Synthesis of Communicating Finite-State Machines with Guaranteed Progress | 1984-01-01 | Paper |
| Closed Covers: To Verify Progress for Communicating Finite State Machines | 1984-01-01 | Paper |
| On the progress of communication between two finite state machines | 1984-01-01 | Paper |
| Unboundedness detection for a class of communicating finite-state machines | 1983-01-01 | Paper |
| Deadlock Detection for a Class of Communicating Finite State Machines | 1982-01-01 | Paper |
