Quanlong Wang

Richie Yeung

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Differentiating and Integrating ZX Diagrams.

[BibT_eX]

[DOI]

Richie Yeung

CoRR, 2022

2021

A Compositional Model of Consciousness Based on Consciousness-Only.

[BibT_eX]

[DOI]

Camilo Miguel Signorelli

Ilyas Khan

Entropy, 2021

Representing Matrices Using Algebraic ZX-calculus.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning about conscious experience with axiomatic and graphical mathematics.

[BibT_eX]

[DOI]

Camilo Miguel Signorelli

Bob Coecke

CoRR, 2021

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).

[BibT_eX]

[DOI]

CoRR, 2021

2020

Towards a Minimal Stabilizer ZX-calculus.

[BibT_eX]

[DOI]

Miriam Backens

Simon Perdrix

Log. Methods Comput. Sci., 2020

An Algebraic Axiomatisation of ZX-calculus.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness.

[BibT_eX]

[DOI]

Anthony Munson

Bob Coecke

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Impossibility of Quantum Bit Commitment, a Categorical Perspective.

[BibT_eX]

[DOI]

Xin Sun

Feifei He

Axioms, 2020

Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities.

[BibT_eX]

[DOI]

Niel de Beaudrap

Proceedings of the 15th Conference on the Theory of Quantum Computation, 2020

2019

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic.

[BibT_eX]

[DOI]

Entropy, 2019

Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus.

[BibT_eX]

[DOI]

Niel de Beaudrap

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

2018

Completeness of the ZX-calculus.

[BibT_eX]

[DOI]

PhD thesis, 2018

Quantum technique for access control in cloud computing II: Encryption and key distribution.

[BibT_eX]

[DOI]

Arcangelo Castiglione

J. Netw. Comput. Appl., 2018

A Simple Voting Protocol on Quantum Blockchain.

[BibT_eX]

[DOI]

Xin Sun

Piotr Kulicki

CoRR, 2018

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin.

[BibT_eX]

[DOI]

CoRR, 2018

ZX-Rules for 2-Qubit Clifford+T Quantum Circuits.

[BibT_eX]

[DOI]

Bob Coecke

Proceedings of the Reversible Computation - 10th International Conference, 2018

Two complete axiomatisations of pure-state qubit quantum computing.

[BibT_eX]

[DOI]

Amar Hadzihasanovic

Kang Feng Ng

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

A universal completion of the ZX-calculus.

[BibT_eX]

[DOI]

Kang Feng Ng

CoRR, 2017

Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive.

[BibT_eX]

[DOI]

CoRR, 2017

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

A Simplified Stabilizer ZX-calculus.

[BibT_eX]

[DOI]

Miriam Backens

Simon Perdrix

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Supplementarity is Necessary for Quantum Diagram Reasoning.

[BibT_eX]

[DOI]

Simon Perdrix

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

Graphical Calculus for Qutrit Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

2014

Qutrit Dichromatic Calculus and Its Universality.

[BibT_eX]

[DOI]

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2012

Strong Complementarity and Non-locality in Categorical Quantum Mechanics.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2009

Graphical Calculus for Quantum Key Distribution (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2007

On optimal simultaneous rational approximation to (omega, omega2)tau with omega being some kind of cubic algebraic function.

[BibT_eX]

[DOI]

Kunpeng Wang

J. Approx. Theory, 2007

2006

Implementation of Multi-continued Fraction Algorithm and Application to Multi-sequence Linear Synthesis.

[BibT_eX]

[DOI]

Kunpeng Wang

Proceedings of the Sequences and Their Applications, 2006

2005

Multi-sequences with d-perfect property.

[BibT_eX]

[DOI]

Xiutao Feng

J. Complex., 2005

2004

Multi-sequences with d-perfect property.

[BibT_eX]

[DOI]

Xiutao Feng

IACR Cryptol. ePrint Arch., 2004

Multisequences with d-perfect property.

[BibT_eX]

[DOI]

Xiutao Feng

Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

2003

On Linear Complexity of Kronecker Sequences.

[BibT_eX]

[DOI]

Lei Hu