2024
Journal articles
- auteur
- Renaud Vilmart
- titre
- Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
- article
- Logical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/LMCS-20(1:20)2024⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
- titre
- Quantum Circuit Completeness: Extensions and Simplifications
- article
- International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Renaud Vilmart, Marc de Visme
- titre
- Minimality in Finite-Dimensional ZW-Calculi
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Conference papers
- auteur
- Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
- titre
- Compositionality of planar perfect matchings
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- auteur
- Renaud Vilmart
- titre
- Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- auteur
- Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
- titre
- Complete Graphical Language for Hermiticity-Preserving Superoperators
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Book sections
- auteur
- Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
- titre
- Formal Methods for Quantum Algorithms
- article
- Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656
- Accès au texte intégral et bibtex
-
- auteur
- Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
- titre
- Formal Methods for Quantum Algorithms
- article
- Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
- Accès au bibtex
-
2022
Conference papers
- auteur
- Aleks Kissinger, Renaud Vilmart, John van de Wetering
- titre
- Classical simulation of quantum circuits with partial and graphical stabiliser decompositions
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
- titre
- The Many-Worlds Calculus
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- auteur
- Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- Completeness of Graphical Languages for Mixed State Quantum Mechanics
- article
- ACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Renaud Vilmart
- titre
- Quantum Multiple-Valued Decision Diagrams in Graphical Calculi
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- auteur
- Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
- titre
- Geometry of Interaction for ZX-Diagrams
- article
- TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
- Accès au texte intégral et bibtex
-
- auteur
- Renaud Vilmart
- titre
- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford
- article
- Foundations of Software Science and Computation Structures (FoSSaCS) 2021, Mar 2021, Luxembourg, Luxembourg. pp.531-550, ⟨10.1007/978-3-030-71995-1_27⟩
- Accès au texte intégral et bibtex
-
- auteur
- Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
- titre
- Geometry of Interaction for ZX-Diagrams
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2020
Journal articles
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- Completeness of the ZX-Calculus
- article
- Logical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
- Accès au bibtex
-
2019
Conference papers
- auteur
- Renaud Vilmart
- titre
- A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
- article
- LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
- Accès au texte intégral et bibtex
-
- auteur
- Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel
- titre
- Completeness of Graphical Languages for Mixed States Quantum Mechanics
- article
- ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
- Accès au texte intégral et bibtex
-
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
- article
- LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
- Accès au texte intégral et bibtex
-
Theses
- auteur
- Renaud Vilmart
- titre
- ZX-Calculi for Quantum Computing and their Completeness
- article
- Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
- Accès au texte intégral et bibtex
-
2018
Conference papers
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- auteur
- Renaud Vilmart
- titre
- A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
- article
- QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩
- Accès au texte intégral et bibtex
-
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
- article
- The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩
- Accès au texte intégral et bibtex
-
2017
Conference papers
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- titre
- Y-Calculus: A language for real Matrices derived from the ZX-Calculus
- article
- International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
- titre
- ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
- article
- MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
- Accès au texte intégral et bibtex
-