Accéder directement au contenu

Renaud Vilmart

25
Documents

Publications

Image document

Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing

Renaud Vilmart
Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/LMCS-20(1:20)2024⟩
Article dans une revue hal-04496100v1
Image document

Completeness of Graphical Languages for Mixed State Quantum Mechanics

Titouan Carette , Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
ACM 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-Calculus

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
Logical 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
Image document

Quantum Circuit Completeness: Extensions and Simplifications

Alexandre Clément , Noé Delorme , Simon Perdrix , Renaud Vilmart
International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
Communication dans un congrès hal-04016498v3
Image document

Compositionality of planar perfect matchings

Titouan Carette , Etienne Moutot , Thomas Perez , Renaud Vilmart
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.120:1--120:17, ⟨10.4230/LIPIcs.ICALP.2023.120⟩
Communication dans un congrès hal-04002282v1
Image document

Complete Graphical Language for Hermiticity-Preserving Superoperators

Titouan Carette , Timothée Hoffreumon , Émile Larroque , Renaud Vilmart
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023, Jun 2023, Boston, United States. pp.1-22, ⟨10.1109/LICS56636.2023.10175712⟩
Communication dans un congrès hal-04001823v1
Image document

Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation

Renaud Vilmart
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩
Communication dans un congrès hal-03654438v2
Image document

Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

Aleks Kissinger , Renaud Vilmart , John van de Wetering
17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022), Jul 2022, Urbana-Champaign, United States. pp.5:1 - 5:13, ⟨10.4230/LIPIcs.TQC.2022.5⟩
Communication dans un congrès hal-03606226v1
Image document

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart
TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Communication dans un congrès lirmm-03272411v1
Image document

The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford

Renaud Vilmart
Foundations of Software Science and Computation Structures (FoSSaCS) 2021, Mar 2021, Luxembourg, Luxembourg. pp.531-550, ⟨10.1007/978-3-030-71995-1_27⟩
Communication dans un congrès hal-02651473v1
Image document

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Renaud Vilmart
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⟩
Communication dans un congrès hal-03277262v1
Image document

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart
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⟩
Communication dans un congrès hal-03154573v1
Image document

A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Renaud Vilmart
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
Communication dans un congrès hal-01963426v1
Image document

Completeness of Graphical Languages for Mixed States Quantum Mechanics

Titouan Carette , Simon Perdrix , Renaud Vilmart , Emmanuel Jeandel
ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Communication dans un congrès hal-02025720v1
Image document

A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
LICS 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
Image document

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
The 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
Image document

A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond

Renaud Vilmart
QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩
Communication dans un congrès hal-01762264v1
Image document

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
The 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
Image document

Y-Calculus: A language for real Matrices derived from the ZX-Calculus

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Communication dans un congrès hal-01445948v1
Image document

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics

Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart , Quanlong Wang
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Communication dans un congrès hal-01445707v2
Image document

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dong Ho Lee , Benoît Valiron , Renaud Vilmart
Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656
Chapitre d'ouvrage cea-04479879v1

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dongho Lee , Benoît Valiron , Renaud Vilmart
Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
Chapitre d'ouvrage hal-04311441v1
Image document

ZX-Calculi for Quantum Computing and their Completeness

Renaud Vilmart
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
Thèse tel-02395443v1