Accéder directement au contenu

Simon Perdrix

6
Documents

Présentation

I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).
I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).

Publications

benoit-valiron
Image document

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
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⟩
Communication dans un congrès hal-03926757v1

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
Communication dans un congrès hal-04318291v1

LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
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⟩
Communication dans un congrès hal-03926660v1

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

Agustín Borgna , Simon Perdrix , Benoît Valiron
APLAS 2021 - Asian Symposium on Programming Languages and Systems, Oct 2021, Chicago, United States. pp.121-139, ⟨10.1007/978-3-030-89051-3_8⟩
Communication dans un congrès hal-03539521v1

Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron
HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Communication dans un congrès hal-00924912v1