Graph realization of distance sets.
Theor. Comput. Sci., 2024
Composed Degree-Distance Realizations of Graphs.
Algorithmica, March, 2023
Proof-labeling schemes: Broadcast, unicast and in between.
Theor. Comput. Sci., 2022
Redundancy in distributed proofs.
Distributed Comput., 2021
Relaxed and Approximate Graph Realizations.
Proceedings of the Combinatorial Algorithms - 32nd International Workshop, 2021
Approximate proof-labeling schemes.
Theor. Comput. Sci., 2020
Randomized proof-labeling schemes.
Distributed Comput., 2019
Space-Time Tradeoffs for Distributed Verification.
Proceedings of the Structural Information and Communication Complexity, 2017
Brief Announcement: Space-Time Tradeoffs for Distributed Verification.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016