 |
 Distributed Certification for Classes of Dense GraphsInternational Symposium on Distributed Computing (DISC), 2023 |
 Distributed Quantum Interactive ProofsSymposium on Theoretical Aspects of Computer Science (STACS), 2022 |
 Distributed Merlin-Arthur Synthesis of Quantum States and Its
ApplicationsInternational Symposium on Mathematical Foundations of Computer Science (MFCS), 2022 |
 Local certification of graph decompositions and applications to
minor-free classesInternational Conference on Principles of Distributed Systems (OPODIS), 2021 Nicolas Bousquet Laurent Feuilloley Théo Pierron |
