2024
- titre
- Minimal Equational Theories for Quantum Circuits
- auteur
- Alexandre Clément, Noé Delorme, Simon Perdrix
- article
- LICS ’24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-14, ⟨10.1145/3661814.3662088⟩
- DOI
- DOI : 10.1145/3661814.3662088
- Accès au bibtex
-
- titre
- Quantum Circuit Completeness: Extensions and Simplifications
- auteur
- Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
- article
- International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
- DOI
- DOI : 10.4230/LIPIcs.CSL.2024.20
- Accès au texte intégral et bibtex
-
2023
- titre
- A Complete Equational Theory for Quantum Circuits
- auteur
- Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
- article
- 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
- Accès au bibtex
-
- titre
- A Complete Equational Theory for Quantum Circuits
- auteur
- Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
- article
- 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩
- DOI
- DOI : 10.1109/LICS56636.2023.10175801
- Accès au texte intégral et bibtex
-
- titre
- Graphical Languages for Quantum Control and Linear Optics
- auteur
- Alexandre Clément
- article
- Systems and Control [cs.SY]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0093⟩
- Accès au texte intégral et bibtex
-
2022
- titre
- LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits
- auteur
- Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
- article
- MFCS 2022 – 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1–35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2022.35
- Accès au bibtex
-
- titre
- Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus
- auteur
- Alexandre Clément, Simon Perdrix
- article
- MFCS 2022 – 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienne, Austria. ⟨10.4230/LIPIcs.MFCS.2022.36⟩
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2022.36
- Accès au bibtex
-
2021
- titre
- Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams
- auteur
- Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
- article
- MFCS 2021 – 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.22:1-22:20, ⟨10.4230/LIPIcs.MFCS.2021.22⟩
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2021.22
- Accès au bibtex
-
2020
- titre
- PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations
- auteur
- Alexandre Clément, Simon Perdrix
- article
- 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. pp.24:1-24:14, ⟨10.4230/LIPIcs.MFCS.2020.24⟩
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2020.24
- Accès au bibtex
-
