 | 2012 |
| 36 |  | Bob Coecke,
Ross Duncan,
Aleks Kissinger,
Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics
CoRR abs/1203.4988: (2012) |
| 35 |  | Bob Coecke:
The logic of quantum mechanics - Take II
CoRR abs/1204.3458: (2012) |
| 2011 |
| 34 |  | Edward Grefenstette,
Mehrnoosh Sadrzadeh,
Stephen Clark,
Bob Coecke,
Stephen Pulman:
Concrete Sentence Spaces for Compositional Distributional Models of Meaning
CoRR abs/1101.0309: (2011) |
| 33 |  | Bob Coecke,
Robert W. Spekkens:
Picturing classical and quantum Bayesian inference
CoRR abs/1102.2368: (2011) |
| 32 |  | Bob Coecke,
Ian Mackie,
Prakash Panangaden,
Peter Selinger:
Preface.
Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011) |
| 31 |  | Bob Coecke,
Bill Edwards:
Toy Quantum Categories (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 270(1): 29-40 (2011) |
| 30 |  | Bob Coecke,
Prakash Panangaden,
Peter Selinger:
Preface.
Electr. Notes Theor. Comput. Sci. 270(2): 1-2 (2011) |
| 29 |  | Bob Coecke,
Bill Edwards,
Robert W. Spekkens:
Phase Groups and the Origin of Non-locality for Qubits.
Electr. Notes Theor. Comput. Sci. 270(2): 15-36 (2011) |
| 28 |  | Bob Coecke,
Quanlong Wang,
Baoshan Wang,
Yongjun Wang,
Qiye Zhang:
Graphical Calculus for Quantum Key Distribution (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 270(2): 231-249 (2011) |
| 27 |  | Min Chen,
Anne E. Trefethen,
René Bañares-Alcántara,
Marina Jirotka,
Bob Coecke,
Thomas Ertl,
Albrecht Schmidt:
From Data Analysis and Visualization to Causality Discovery.
IEEE Computer 44(10): 84-87 (2011) |
| 2010 |
| 26 |  | Farid M. Ablayev,
Bob Coecke,
Alexander Vasiliev:
Proceedings CSR 2010 Workshop on High Productivity Computations
HPC 2010 |
| 25 |  | Bob Coecke,
Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics.
CSL 2010: 230-244 |
| 24 |  | Bob Coecke,
Bill Edwards:
Three qubit entanglement within graphical Z/X-calculus
HPC 2010: 22-33 |
| 23 |  | Bob Coecke,
Aleks Kissinger,
Alex Merry,
Shibdas Roy:
The GHZ/W-calculus contains rational arithmetic
HPC 2010: 34-48 |
| 22 |  | Bob Coecke,
Aleks Kissinger:
The Compositional Structure of Multipartite Quantum Entanglement.
ICALP (2) 2010: 297-308 |
| 21 |  | Bob Coecke,
Mehrnoosh Sadrzadeh,
Stephen Clark:
Mathematical Foundations for a Compositional Distributional Model of Meaning
CoRR abs/1003.4394: (2010) |
| 20 |  | Bob Coecke,
Simon Perdrix:
Environment and classical channels in categorical quantum mechanics
CoRR abs/1004.1598: (2010) |
| 2009 |
| 19 |  | Samson Abramsky,
Bob Coecke:
Abstract Physical Traces
CoRR abs/0910.3144: (2009) |
| 2008 |
| 18 |  | Bob Coecke,
Ross Duncan:
Interacting Quantum Observables.
ICALP (2) 2008: 298-310 |
| 17 |  | Bob Coecke,
Éric Oliver Paquette:
POVMs and Naimark's Theorem Without Sums.
Electr. Notes Theor. Comput. Sci. 210: 15-31 (2008) |
| 16 |  | Bob Coecke:
Axiomatic Description of Mixed States From Selinger's CPM-construction.
Electr. Notes Theor. Comput. Sci. 210: 3-13 (2008) |
| 15 |  | Bob Coecke,
Simon Perdrix,
Éric Oliver Paquette:
Bases in Diagrammatic Quantum Protocols.
Electr. Notes Theor. Comput. Sci. 218: 131-152 (2008) |
| 2007 |
| 14 |  | Bob Coecke:
Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic.
AAAI Spring Symposium: Quantum Interaction 2007: 31-38 |
| 13 |  | Bob Coecke:
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure.
Electr. Notes Theor. Comput. Sci. 170: 49-72 (2007) |
| 12 |  | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources.
J. Log. Comput. 17(3): 555-585 (2007) |
| 2006 |
| 11 |  | Bob Coecke:
Strongly Compact Closed Semantics.
Electr. Notes Theor. Comput. Sci. 155: 331-340 (2006) |
| 2005 |
| 10 |  | Samson Abramsky,
Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics.
Spatial Representation 2005 |
| 9 |  | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions.
Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005) |
| 2004 |
| 8 |  | Samson Abramsky,
Bob Coecke:
A Categorical Semantics of Quantum Protocols.
LICS 2004: 415-425 |
| 7 |  | Bob Coecke:
The logic of entanglement
CoRR quant-ph/0402014: (2004) |
| 6 |  | Samson Abramsky,
Bob Coecke:
A categorical semantics of quantum protocols
CoRR quant-ph/0402130: (2004) |
| 2003 |
| 5 |  | Bob Coecke,
Keye Martin:
Partiality in physics
CoRR quant-ph/0312044: (2003) |
| 2002 |
| 4 |  | Samson Abramsky,
Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing
CoRR cs.CG/0207057: (2002) |
| 3 |  | Samson Abramsky,
Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing.
Electr. Notes Theor. Comput. Sci. 69: 1-22 (2002) |
| 2 |  | Bob Coecke:
Quantum Logic in Intuitionistic Perspective.
Studia Logica 70(3): 411-440 (2002) |
| 1 |  | Bob Coecke:
Disjunctive Quantum Logic in Dynamic Perspective.
Studia Logica 71(1): 47-56 (2002) |