The ZX-calculus is complete for stabilizer quantum mechanics

Physical Review Letters

Robert Raussendorf & Hans J. Briegel (2001): A One-Way Quantum Computer · 2001

Earlier work this paper cites.

Physical Review A

Scott Aaronson & Daniel Gottesman (2004): Improved simulation of stabilizer circuits · 2004

Earlier work this paper cites.

In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04)

Samson Abramsky & Bob Coecke (2004): A categorical semantics of quantum protocols · 2004

Earlier work this paper cites.

Physical Review A

Maarten Van den Nest, Jeroen Dehaene & Bart De Moor (2004): Graphical description of the action of local Clifford transformations on graph states · 2004

Earlier work this paper cites.

Physical Review A

Simon Anders & Hans J. Briegel (2006): Fast simulation of stabilizer circuits using a graph-state representation · 2006

Earlier work this paper cites.

Electronic Notes in Theoretical Computer Science

Peter Selinger (2007): Dagger Compact Closed Categories and Completely Positive Maps (Extended Abstract) · 2006

Earlier work this paper cites.

Physical Review A

Robert W. Spekkens (2007): Evidence for the epistemic view of quantum states: A toy theory · 2007

Cited alongside, same era.

In: Automata, Languages and Programming

Bob Coecke & Ross Duncan (2008): Interacting Quantum Observables · 2008

Cited alongside, same era.

Physical Review A

Matthew B. Elliott, Bryan Eastin & Carlton M. Caves (2008): Graphical description of the action of Clifford operators on stabilizer states · 2008

Cited alongside, same era.

In: Mathematical Theory and Computational Practice

Ross Duncan & Simon Perdrix (2009): Graph States and the Necessity of Euler Decomposition · 2009

Cited alongside, same era.

In: Automata, Languages and Programming

Ross Duncan & Simon Perdrix (2010): Rewriting Measurement-Based Quantum Computations with Generalised Flow · 2010

Cited alongside, same era.

Cambridge University Press, Cambridge

Michael A. Nielsen & Isaac L. Chuang (2010): Quantum Computation and Quantum Information · 2010

Cited alongside, same era.

New Journal of Physics

Bob Coecke & Ross Duncan (2011): Interacting quantum observables: categorical algebra and diagrammatics · 2011

Later among the works it cites.

Electronic Notes in Theoretical Computer Science

Bob Coecke, Bill Edwards & Robert W. Spekkens (2011): Phase Groups and the Origin of Non-locality for Qubits · 2011

Later among the works it cites.

New Journal of Physics

Clare Horsman (2011): Quantum picturalism for topological cluster-state computing · 2011

Later among the works it cites.

In: 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS)

Bob Coecke, Ross Duncan, Aleks Kissinger & Quanlong Wang (2012): Strong Complementarity and Non-locality in Categorical Quantum Mechanics · 2012

Later among the works it cites.

Foundations of Physics

Matthew F. Pusey (2012): Stabilizer Notation for Spekkens’ Toy Theory · 2012

Later among the works it cites.