Filter your results
- 20
- 1
- 15
- 3
- 2
- 1
- 20
- 20
- 4
- 2
- 5
- 1
- 4
- 3
- 2
- 21
- 12
- 12
- 10
- 10
- 3
- 1
- 1
- 1
- 1
- 21
- 9
- 8
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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⟩
Conference papers
hal-03606226v1
|
||
|
ZX-Calculi for Quantum Computing and their CompletenessLogic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
Theses
tel-02395443v1
|
||
|
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⟩
Conference papers
hal-01963426v1
|
||
|
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⟩
Conference papers
hal-01529623v2
|
||
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Conference papers
hal-01445948v1
|
||
|
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⟩
Conference papers
hal-04002282v1
|
||
|
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⟩
Conference papers
hal-03277262v1
|
||
|
The Many-Worlds Calculus2022
Preprints, Working Papers, ...
hal-03654190v2
|
||
|
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
Conference papers
hal-01445707v2
|
||
|
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⟩
Journal articles
hal-04082921v1
|
||
|
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⟩
Conference papers
hal-02651473v1
|
||
|
Geometry of Interaction for ZX-DiagramsTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Conference papers
lirmm-03272411v1
|
||
|
Completeness of the ZX-CalculusLogical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
Journal articles
hal-02400081v1
|
||
|
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⟩
Conference papers
hal-01791791v1
|
||
|
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⟩
Conference papers
hal-03654438v2
|
||
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Conference papers
hal-02025720v1
|
||
|
Complete Graphical Language for Hermiticity-Preserving Superoperators2023
Preprints, Working Papers, ...
hal-04001823v1
|
||
|
Quantum Circuit Completeness: Extensions and Simplifications2023
Preprints, Working Papers, ...
hal-04016498v2
|
||
|
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⟩
Conference papers
hal-03154573v1
|
||
|
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⟩
Conference papers
hal-01762264v1
|
||
|
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⟩
Conference papers
hal-01716501v1
|