Simon Perdrix
8
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
- 8
- 8
- 1
- 1
- 1
|
Completeness of Graphical Languages for Mixed State Quantum MechanicsACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩
Article dans une revue
hal-04082921v1
|
Completeness of the ZX-CalculusLogical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
Article dans une revue
hal-02400081v1
|
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Communication dans un congrès
hal-02025720v1
|
|
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle CompletenessLICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
Communication dans un congrès
hal-01791791v1
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsThe 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩
Communication dans un congrès
hal-01529623v2
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsThe 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩
Communication dans un congrès
hal-01716501v1
|
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Communication dans un congrès
hal-01445948v1
|
|
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanicsMFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Communication dans un congrès
hal-01445707v2
|