
Renaud Vilmart
25
Documents
Publications
Publications
|
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum ComputingLogical Methods in Computer Science, 2024, 20 (1), ⟨10.46298/LMCS-20(1:20)2024⟩
Article dans une revue
hal-04496100
v1
|
|
Completeness of Graphical Languages for Mixed State Quantum MechanicsACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩
Article dans une revue
hal-04082921
v1
|
|
Completeness of the ZX-CalculusLogical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
Article dans une revue
hal-02400081
v1
|
|
Quantum Circuit Completeness: Extensions and SimplificationsInternational Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
Communication dans un congrès
hal-04016498
v3
|
|
Compositionality of planar perfect matchings50th 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-04002282
v1
|
|
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum ComputationCSL 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-03654438
v2
|
|
Complete Graphical Language for Hermiticity-Preserving Superoperators38th 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-04001823
v1
|
|
Classical simulation of quantum circuits with partial and graphical stabiliser decompositions17th 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-03606226
v1
|
|
Geometry of Interaction for ZX-DiagramsMFCS 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-03154573
v1
|
|
Quantum Multiple-Valued Decision Diagrams in Graphical CalculiMFCS 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-03277262
v1
|
|
The Structure of Sum-Over-Paths, its Consequences, and Completeness for CliffordFoundations 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-02651473
v1
|
|
Geometry of Interaction for ZX-DiagramsTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Communication dans un congrès
lirmm-03272411
v1
|
|
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum MechanicsLICS 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-01963426
v1
|
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Communication dans un congrès
hal-02025720
v1
|
|
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle CompletenessLICS 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-01791791
v1
|
|
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and BeyondQPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩
Communication dans un congrès
hal-01762264
v1
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsThe 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-01716501
v1
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsThe 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-01529623
v2
|
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Communication dans un congrès
hal-01445948
v1
|
|
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanicsMFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Communication dans un congrès
hal-01445707
v2
|
|
Formal Methods for Quantum AlgorithmsHandbook 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-04479879
v1
|
|
The Many-Worlds Calculus2025
Pré-publication, Document de travail
hal-03654190
v3
|
|
Double-Logarithmic Depth Block-Encodings of Simple Finite Difference Method's Matrices2024
Pré-publication, Document de travail
hal-04725154
v1
|
|
Minimality in Finite-Dimensional ZW-Calculi2024
Pré-publication, Document de travail
hal-04496193
v1
|
|
ZX-Calculi for Quantum Computing and their CompletenessLogic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
Thèse
tel-02395443
v1
|
Chargement...
Chargement...