@inproceedings{alex2020pbscalculus,
	address = {Dagstuhl, Germany},
	archiveprefix = {arXiv},
	author = {Alexandre Cl{\'e}ment and Simon Perdrix},
	booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)},
	doi = {10.4230/LIPIcs.MFCS.2020.24},
	COMMENTeditor = {Javier Esparza and Daniel Kr{\'a}{\v l}},
	editor = {Javier Esparza and Daniel Kr{\'a}ľ},
	eprint = {2002.09387},
	arxiv_long = {https://arxiv.org/abs/2002.09387},
	hal_id = {hal-02929291},
	hal_version = {v1},
	isbn = {978-3-95977-159-7},
	issn = {1868-8969},
	keywords = {Quantum Computing ; Diagrammatic Language ; Completeness ; Quantum Control ; Polarising Beam Splitter ; Categorical Quantum Mechanics ; Quantum Switch},
	month = Aug,
	pages = {24:1--24:14},
	primaryclass = {quant-ph},
	publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	title = {{PBS}-Calculus: A Graphical Language for Coherent Control of Quantum Computations},
	url = {https://hal.science/hal-02929291},
	urn = {urn:nbn:de:0030-drops-126921},
	volume = {170},
	year = {2020}}

@inproceedings{branciard2021coherent,
	address = {Dagstuhl, Germany},
	archiveprefix = {arXiv},
	author = {Branciard, Cyril and Cl{\'e}ment, Alexandre and Mhalla, Mehdi and Perdrix, Simon},
	booktitle = {46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)},
	doi = {10.4230/LIPIcs.MFCS.2021.22},
	editor = {Bonchi, Filippo and Puglisi, Simon J.},
	eprint = {2103.02073},
	arxiv_long = {https://arxiv.org/abs/2103.02073},
	hal_id = {hal-03325456},
	hal_version = {v1},
	isbn = {978-3-95977-201-3},
	issn = {1868-8969},
	keywords = {Quantum Computing ; Diagrammatic Language ; Quantum Control ; Polarising Beam Splitter ; Categorical Quantum Mechanics ; Quantum Switch},
	month = Aug,
	pages = {22:1--22:20},
	primaryclass = {quant-ph},
	publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	title = {Coherent Control and Distinguishability of Quantum Channels via {PBS}-Diagrams},
	url = {https://hal.science/hal-03325456},
	urn = {urn:nbn:de:0030-drops-144629},
	volume = {202},
	year = {2021}}


@InProceedings{clement2022minimising,
  author =	{Cl\'{e}ment, Alexandre and Perdrix, Simon},
  title =	{Resource Optimisation of Coherently Controlled Quantum Computations with the {PBS}-Calculus},
  booktitle =	{47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)},
  pages =	{36:1--36:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-256-3},
  ISSN =	{1868-8969},
  year =	{2022},
  month =	aug,
  volume =	{241},
  editor =	{Szeider, Stefan and Ganian, Robert and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL={https://hal.science/hal-03926639},
  URN =		{urn:nbn:de:0030-drops-168348},
  doi =		{10.4230/LIPIcs.MFCS.2022.36},
  annote =	{Keywords: Quantum computing, Graphical language, Coherent control, Completeness, Resource optimisation, NP-hardness},
  eprint={2202.05260},
  arxiv_long = {https://arxiv.org/abs/2202.05260}}

@InProceedings{clement2022LOv,
  author =	{Cl\'{e}ment, Alexandre and Heurtel, Nicolas and Mansfield, Shane and Perdrix, Simon and Valiron, Beno\^{i}t},
  title =	{LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits},
  COMMENTtitle =	{$\textup{LO}_\textup{v}$-Calculus: A Graphical Language for Linear Optical Quantum Circuits},
  booktitle =	{47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)},
  pages =	{35:1--35:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-256-3},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{241},
  editor =	{Szeider, Stefan and Ganian, Robert and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URN =		{urn:nbn:de:0030-drops-168334},
  doi =		{10.4230/LIPIcs.MFCS.2022.35},
  annote =	{Keywords: Quantum Computing, Graphical Language, Linear Optical Circuits, Linear Optical Quantum Computing, Completeness},
  eprint={2204.11787},
  arxiv_long = {https://arxiv.org/abs/2204.11787},
  URL = {https://hal.science/hal-03926660},
  HAL_ID = {hal-03926660},
  HAL_VERSION = {v1}}

@inproceedings{CHMPV,
  TITLE = {A Complete Equational Theory for Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre and Heurtel, Nicolas and Mansfield, Shane and Perdrix, Simon and Valiron, Beno{\^i}t},
  URL = {https://hal.science/hal-03926757},
  BOOKTITLE = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  ADDRESS = {Boston, United States},
  PUBLISHER = {{IEEE}},
  PAGES = {1-13},
  YEAR = {2023},
  MONTH = Jun,
  DOI = {10.1109/LICS56636.2023.10175801},
  HAL_ID = {hal-03926757},
  HAL_VERSION = {v1},
  eprint={2206.10577},
  arxiv_long = {https://arxiv.org/abs/2206.10577}}

@inproceedings{CDPV,
  TITLE = {Quantum Circuit Completeness: Extensions and Simplifications},
  AUTHOR = {Cl{\'e}ment, Alexandre and Delorme, No{\'e} and Perdrix, Simon and Vilmart, Renaud},
  URL = {https://hal.science/hal-04016498},
  BOOKTITLE = {{32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}},
  ADDRESS = {Naples, Italy},
  YEAR = {2024},
  MONTH = Feb,
  KEYWORDS = {Completeness ; Graphical Language ; Quantum Circuits},
  PDF = {https://hal.science/hal-04016498v3/file/main.pdf},
  HAL_ID = {hal-04016498},
  HAL_VERSION = {v3},
  eprint={2303.03117},
  arxiv_long = {https://arxiv.org/abs/2303.03117},
  doi={10.4230/LIPIcs.CSL.2024.20}}

@inproceedings{CDP,
  TITLE = {Minimal Equational Theories for Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre and Delorme, No{\'e} and Perdrix, Simon},
  URL = {https://hal.science/hal-04399210},
  commentBOOKTITLE = {{LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science}},
  BOOKTITLE = {{LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science}},
  ADDRESS = {Tallinn, Estonia},
  PUBLISHER = {{ACM}},
  commentSERIES = {Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science},
  NUMBER = {27},
  PAGES = {1-14},
  YEAR = {2024},
  MONTH = Jul,
  DOI = {10.1145/3661814.3662088},
  HAL_ID = {hal-04399210},
  HAL_VERSION = {v1},
  eprint={2311.07476},
  arxiv_long = {https://arxiv.org/abs/2311.07476}}

@PHDTHESIS{clem2023,
url = "http://www.theses.fr/2023LORR0093",
title= "Graphical Languages for Quantum Control and Linear Optics",
FRENCHtitle = "Langages graphiques pour le contr{\^o}le quantique et l'optique lin{\'e}aire",
author = "Cl{\'e}ment, Alexandre",
year = "2023",
type = "{PhD} thesis",
School = {Universit{\'e} de Lorraine},
pdf = "http://www.theses.fr/2023LORR0093/document",
month=may}

@inproceedings{clement2026RCCH,
  TITLE = {A Complete Equational Theory for Real-{C}lifford+{CH} Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre},
  URL = {https://hal.science/hal-05487235},
  BOOKTITLE = {{41st Annual Symposium on Logic in Computer Science (LICS 2026)}},
  ADDRESS = {Lisbon, Portugal},
  PUBLISHER = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
  SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
  VOLUME = {380},
  PAGES = {28:1--28:26},
  YEAR = {2026},
  MONTH = Jul,
  DOI = {10.4230/LIPIcs.LICS.2026.28},
  KEYWORDS = {graphical language ; completeness ; Quantum circuits},
  PDF = {https://hal.science/hal-05487235v1/file/TEC-real-Clifford%2BCH-HALv1.pdf},
  HAL_ID = {hal-05487235},
  HAL_VERSION = {v1},
  ISBN =	{978-3-95977-434-5},
  ISSN =	{1868-8969},
  editor =	{Faggian, Claudia and Katoen, Joost-Pieter},
  eprint={2602.06644},
  arxiv_long = {https://arxiv.org/abs/2602.06644}
}