Pages that link to "Item:Q5024672"
From MaRDI portal
The following pages link to Introduction to local certification (Q5024672):
Displaying 8 items.
- Compact distributed certification of planar graphs (Q2037111) (← links)
- Planarity can be verified by an approximate proof labeling scheme in constant-time (Q2154327) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Labeling schemes for deterministic radio multi-broadcast (Q2672450) (← links)
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Q5881540) (← links)
- Automated testing and interactive construction of unavoidable sets for graph classes of small path‐width (Q6094029) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
- Locally verifiable distributed SNARGs (Q6581783) (← links)