| 2025 | CSL | Minimality in Finite-Dimensional ZW-Calculi. | Marc de Visme, Renaud Vilmart |
| 2024 | CSL | Quantum Circuit Completeness: Extensions and Simplifications. | Alexandre Clment, No Delorme, Simon Perdrix, Renaud Vilmart |
| 2023 | CSL | Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. | Renaud Vilmart |
| 2023 | ICALP | Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. | Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart |
| 2023 | LICS | Complete Graphical Language for Hermiticity-Preserving Superoperators. | Titouan Carette, Timothe Hoffreumon, mile Larroque, Renaud Vilmart |
| 2021 | FOSSACS | The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. | Renaud Vilmart |
| 2021 | MFCS | Geometry of Interaction for ZX-Diagrams. | Kostia Chardonnet, Benot Valiron, Renaud Vilmart |
| 2021 | MFCS | Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. | Renaud Vilmart |
| 2019 | ICALP | Completeness of Graphical Languages for Mixed States Quantum Mechanics. | Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | LICS | A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | LICS | A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. | Renaud Vilmart |
| 2018 | LICS | A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | LICS | Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2017 | MFCS | ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang |