1. Fault-Tolerant Broadcast Algorithm for Tree Networks;2023 15th International Conference on Computer and Automation Engineering (ICCAE);2023-03-03
2. Bisection Value Iteration;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
3. Safety and Observibility of Distributed Broadcast Algorithms;2022 6th European Conference on Electrical Engineering & Computer Science (ELECS);2022-12
4. Self-stabilizing c-wave algorithms for arbitrary networks;Computing;2022-08-16
5. Nondeterminism and Guarded Commands;Edsger Wybe Dijkstra;2022-07-12