Renaud Vilmart

Publications

Article dans une revue (4)

The Many-Worlds Calculus Kostia Chardonnet,Marc de Visme,Benoît Valiron,Renaud Vilmart Logical Methods in Computer Science, 2025, 21 (2), ⟨10.46298/lmcs-21(2:13)2025⟩ Article dans une revue hal-03654190v4
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
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

Communication dans un congrès (19)

Numerical experiments using block-diagonalization technique for solving Poisson’s equation Chetra Mang,Sunheang Ty,Axel Tahmasebimoradi,Renaud Vilmart,Rim Kaddah Quantum Engineering Sciences & Technologies for Industry & Services (QUEST), Dec 2025, Saclay, France Communication dans un congrès hal-05269586v1
Minimality in Finite-Dimensional ZW-Calculi Marc de Visme,Renaud Vilmart Computer Science Logic (CSL), Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.49⟩ Communication dans un congrès hal-04496193v2
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (1)

Formal Methods for Quantum Algorithms Christophe Chareton,Sébastien Bardin,Dong Ho Lee,Benoît Valiron,Renaud Vilmartet al. Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩ Chapitre d'ouvrage cea-04479879v1

Pré-publication, Document de travail (3)

Resource-Efficient Synthesis of Sparse Quantum States Renaud Vilmart,Sunheang Ty,Chetra Mang 2025 Pré-publication, Document de travail hal-05210973v1
The Tensor-Plus Calculus Kostia Chardonnet,Marc de Visme,Benoît Valiron,Renaud Vilmart 2026 Pré-publication, Document de travail hal-05447300v1
Double-Logarithmic Depth Block-Encodings of Simple Finite Difference Method's Matrices Sunheang Ty,Renaud Vilmart,Axel Tahmasebimoradi,Chetra Mang 2024 Pré-publication, Document de travail hal-04725154v1

Thèse (1)

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