Renaud Vilmart

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 28

Top Venues

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Quantum Circuit Completeness: Extensions and Simplifications. CSL (2024)
Renaud Vilmart
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. Log. Methods Comput. Sci. 20 (1) (2024)
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators. LICS (2023)
Renaud Vilmart
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. CoRR (2023)
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace. CoRR (2023)
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators. CoRR (2023)
Renaud Vilmart
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. CSL (2023)
Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. ICALP (2023)
Renaud Vilmart
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy. CoRR (2022)
Aleks Kissinger, John van de Wetering, Renaud Vilmart
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC (2022)
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
The Many-Worlds Calculus: Representing Quantum Control. CoRR (2022)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. CoRR (2022)
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
Formal Methods for Quantum Programs: A Survey. CoRR (2021)
Renaud Vilmart
Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. CoRR (2021)
Renaud Vilmart
Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. MFCS (2021)
Renaud Vilmart
The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. FoSSaCS (2021)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. MFCS (2021)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of the ZX-Calculus. Log. Methods Comput. Sci. 16 (2) (2020)
Renaud Vilmart
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS (2019)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS (2019)
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP (2019)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of the ZX-Calculus. CoRR (2019)
Renaud Vilmart
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. QPL (2018)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS (2018)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS (2018)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. MFCS (2017)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive. CoRR (2017)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. QPL (2017)

Renaud Vilmart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Renaud Vilmart