Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes

von Jauregui, Benjamin
Veröffentlicht in SIROCCO (29. : 2022 : Paderborn) Structural information and communication complexity (2022)

Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs

von Montealegre, Pedro
Veröffentlicht in SSS (23. : 2021 : Online) Stabilization, Safety, and Security of Distributed Systems (2021)

A Meta-Theorem for Distributed Certification

von Fraigniaud, Pierre
Veröffentlicht in SIROCCO (29. : 2022 : Paderborn) Structural information and communication complexity (2022)

On the Impact of Treewidth in the Computational Complexity of Freezing Dynamics

von Goles, Eric
Veröffentlicht in CiE (17. : 2021 : Gent, online) Connecting with Computability (2021)

Local Certification of Majority Dynamics

von Maldonado, Diego
Veröffentlicht in SOFSEM (49. : 2024 : Cochem) SOFSEM 2024: theory and practice of computer science (2024)