research
∙
07/31/2023
Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison
We present a self-stabilizing algorithm for the (asynchronous) unison pr...
share
research
∙
07/26/2023
Distributed Certification for Classes of Dense Graphs
A proof-labeling scheme (PLS) for a boolean predicate Π on labeled graph...
research
∙
07/13/2023
