Skip to Main content

Export Publications

Export the displayed publications:
Number of documents

14

Publications of Renaud Vilmart


Journal articles1 document

  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Completeness of the ZX-Calculus. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩. ⟨hal-02400081⟩

Conference papers12 documents

  • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩. ⟨hal-03154573⟩
  • Renaud Vilmart. The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. Foundations of Software Science and Computation Structures (FoSSaCS) 2021, Mar 2021, Luxembourg, Luxembourg. pp.531-550, ⟨10.1007/978-3-030-71995-1_27⟩. ⟨hal-02651473⟩
  • Renaud Vilmart. Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.89:1--89:15, ⟨10.4230/LIPIcs.MFCS.2021.89⟩. ⟨hal-03277262⟩
  • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams. TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy. ⟨lirmm-03272411⟩
  • Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩. ⟨hal-01963426⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩. ⟨hal-01791791⟩
  • Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel. Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩. ⟨hal-02025720⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩. ⟨hal-01716501⟩
  • Renaud Vilmart. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩. ⟨hal-01762264⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩. ⟨hal-01529623v2⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus. International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands. ⟨hal-01445948⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics. MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15. ⟨hal-01445707v2⟩

Theses1 document