| 2026 | LICS | A Complete Equational Theory for Real-Clifford+CH Quantum Circuits. | Alexandre Clment |
| 2024 | CSL | Quantum Circuit Completeness: Extensions and Simplifications. | Alexandre Clment, No Delorme, Simon Perdrix, Renaud Vilmart |
| 2024 | LICS | Minimal Equational Theories for Quantum Circuits. | Alexandre Clment, No Delorme, Simon Perdrix |
| 2023 | LICS | A Complete Equational Theory for Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | MFCS | LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | MFCS | Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus. | Alexandre Clment, Simon Perdrix |
| 2021 | MFCS | Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. | Cyril Branciard, Alexandre Clment, Mehdi Mhalla, Simon Perdrix |
| 2020 | MFCS | PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. | Alexandre Clment, Simon Perdrix |