Alexandre Clément, Noé Delorme and Simon Perdrix, Minimal Equational Theories for Quantum Circuits. LICS ’24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2024, Tallinn, Estonia. [HAL][doi][arXiv]
Alexandre Clément, Noé Delorme, Simon Perdrix and Renaud Vilmart, Quantum Circuit Completeness: Extensions and Simplifications. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), February 2024, Naples, Italy. pp.20:1-20:23 [HAL][doi][arXiv]
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix and Benoît Valiron, A Complete Equational Theory for Quantum Circuits. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), June 2023, Boston, MA, United States. [HAL][doi][arXiv]
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix and Benoît Valiron, LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), August 2022, Vienna, Austria. pp.35:1-35:16 [HAL][doi][arXiv]
Alexandre Clément and Simon Perdrix, Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), August 2022, Vienna, Austria. pp.36:1-36:15 [HAL][doi][arXiv]
Cyril Branciard, Alexandre Clément, Mehdi Mhalla and Simon Perdrix, Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), August 2021, Tallinn, Estonia (hybrid event). pp.22:1-22:20 [HAL] [doi] [arXiv] [Bibtex (corrected)].
Alexandre Clément and Simon Perdrix, PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), August 2020, Prague, Czech Republic (held online). pp.24:1-24:14 [HAL] [doi] [arXiv] [Bibtex (corrected)].
