Publications

Cette page recense les publications attachées au projet SoftQPro

2018
  • Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle and Benoit Valiron. Toward certified quantum programming. IWQC 2018. Accessible sur hal-02175112
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS’18
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS’18
  • Miriam Backens, Simon Perdrix, Quanlong Wang. Towards a Minimal Stabilizer ZX-calculus. arXiv:1709.08903.
  • Renaud Vilmart. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. QPL’18.
  • Emmanuel Jeandel. The rational fragment of the ZX-calculus. arXiv:1810.05377.
2019
  • Timothée Goubault de Brugière, Marc Baboulin, Benoı̂t Valiron and Cyril Allouche. Synthesizing quantum circuits via numerical optimization. ICCS 2019. Accessible sur hal-02174967.
  • Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle and Benoit Valiron. Qbricks, un environnement pour la vérification formelle en informatique quantique. AFADL 2019. Accessible sur hal-02175079
  • Alejandro Dı́az-Caro, Mauricio Guillermo, Alexandre Miquel and Benoı̂t Valiron. Realizability in the Unitary Sphere. LICS 2019. Accessible sur hal-02175168.
  • Titouan Carette, Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. Completeness of Graphical Languages for Mixed States Quantum Mechanics, ICALP’19.
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness, LICS 2019.
  • Renaud Vilmart. A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS 2019.
  • Titouan Carette, Dominic Horsman, Simon Perdrix. SZX-calculus: Scalable Graphical Quantum Reasoning. MFCS’19.
  • Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix. Pauli Fusion: a computational model to realise quantum transformations from ZX terms. QPL’19.
  • Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering. Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. arXiv:1902.03178.
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Completeness of the ZX-Calculus. arXiv:1903.06035
  • Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev. Inductive Datatypes for Quantum Programming. ACT’19.