Bob Coecke

Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic: Information Security as a Resource. Inf. Comput. 226: 1-2 (2013)

John Mark Bishop, Slawomir J. Nasuto, Bob Coecke: 'Quantum Linguistics' and Searle's Chinese Room Argument. Philosophy and Theory of Artificial Intelligence 2013: 17-28

Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh: Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus. CoRR abs/1302.0393 (2013)

Bob Coecke, Robert W. Spekkens: Picturing classical and quantum Bayesian inference. Synthese 186(3): 651-696 (2012)

Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang: Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254

Bob Coecke, Ross Duncan: Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13

Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang: Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012)

Bob Coecke: The logic of quantum mechanics - Take II. CoRR abs/1204.3458 (2012)

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)

Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011)

Bob Coecke, Bill Edwards: Toy Quantum Categories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 270(1): 29-40 (2011)

Bob Coecke, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(2): 1-2 (2011)

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)

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)

Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman: Concrete Sentence Spaces for Compositional Distributional Models of Meaning. CoRR abs/1101.0309 (2011)

Bob Coecke, Robert W. Spekkens: Picturing classical and quantum Bayesian inference. CoRR abs/1102.2368 (2011)

Bob Coecke, Simon Perdrix: Environment and classical channels in categorical quantum mechanics. Logical Methods in Computer Science 8(4) (2010)

Bob Coecke, Simon Perdrix: Environment and Classical Channels in Categorical Quantum Mechanics. CSL 2010: 230-244

Bob Coecke, Aleks Kissinger: The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) 2010: 297-308

Bob Coecke, Bill Edwards: Three qubit entanglement within graphical Z/X-calculus. HPC 2010: 22-33

Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy: The GHZ/W-calculus contains rational arithmetic. HPC 2010: 34-48

Farid M. Ablayev, Bob Coecke, Alexander Vasiliev (Eds.): Proceedings CSR 2010 Workshop on High Productivity Computations. EPTCS 52, 2010

Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark: Mathematical Foundations for a Compositional Distributional Model of Meaning. CoRR abs/1003.4394 (2010)

Samson Abramsky, Bob Coecke: Abstract Physical Traces. CoRR abs/0910.3144 (2009)

Bob Coecke: Axiomatic Description of Mixed States From Selinger's CPM-construction. Electr. Notes Theor. Comput. Sci. 210: 3-13 (2008)

Bob Coecke, Éric Oliver Paquette: POVMs and Naimark's Theorem Without Sums. Electr. Notes Theor. Comput. Sci. 210: 15-31 (2008)

Bob Coecke, Simon Perdrix, Éric Oliver Paquette: Bases in Diagrammatic Quantum Protocols. Electr. Notes Theor. Comput. Sci. 218: 131-152 (2008)

Bob Coecke, Ross Duncan: Interacting Quantum Observables. ICALP (2) 2008: 298-310

Bob Coecke: De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. Electr. Notes Theor. Comput. Sci. 170: 49-72 (2007)

Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh: Epistemic Actions as Resources. J. Log. Comput. 17(3): 555-585 (2007)

Bob Coecke: Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic. AAAI Spring Symposium: Quantum Interaction 2007: 31-38

Bob Coecke: Strongly Compact Closed Semantics. Electr. Notes Theor. Comput. Sci. 155: 331-340 (2006)

Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh: Algebra and Sequent Calculus for Epistemic Actions. Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005)

Samson Abramsky, Bob Coecke: Discrete classical vs. continuous quantum data in abstract quantum mechanics. Spatial Representation 2005

Samson Abramsky, Bob Coecke: A Categorical Semantics of Quantum Protocols. LICS 2004: 415-425

Bob Coecke, David J. Moore, Sonja Smets: Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples. Logic, Epistemology, and the Unity of Science 2004: 527-555

Bob Coecke: The logic of entanglement. CoRR quant-ph/0402014 (2004)

Samson Abramsky, Bob Coecke: A categorical semantics of quantum protocols. CoRR quant-ph/0402130 (2004)

Bob Coecke, Keye Martin: Partiality in physics. CoRR quant-ph/0312044 (2003)

Samson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing. Electr. Notes Theor. Comput. Sci. 69: 1-22 (2002)

Bob Coecke: Quantum Logic in Intuitionistic Perspective. Studia Logica 70(3): 411-440 (2002)

Bob Coecke: Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71(1): 47-56 (2002)

Samson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing. CoRR cs.CG/0207057 (2002)