1. From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. Self-stabilizing systems in spite of high dynamics;Theoretical Computer Science;2023-07
3. Self-stabilizing Systems in Spite of High Dynamics;International Conference on Distributed Computing and Networking 2021;2021-01-05
4. Generalised Dining Philosophers as Feedback Control;Distributed Computing and Internet Technology;2019-12-09
5. Introduction to Distributed Self-Stabilizing Algorithms;Synthesis Lectures on Distributed Computing Theory;2019-04-15