Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bob Coecke
2010 – today
- 2013
[j20]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh: Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Logic 164(11): 1079-1100 (2013)- [j19]Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic: Information Security as a Resource. Inf. Comput. 226: 1-2 (2013)
- [c11]Bob Coecke, Chris Heunen, Aleks Kissinger: Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations 2013: 21-36
- [p2]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
- [e2]Bob Coecke, Luke Ong, Prakash Panangaden (Eds.): Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8
- [i12]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh: Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus. CoRR abs/1302.0393 (2013)
- [i11]Stephen Clark, Bob Coecke, Edward Grefenstette, Stephen Pulman, Mehrnoosh Sadrzadeh: A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure. CoRR abs/1305.0556 (2013)
- 2012
- [j18]Bob Coecke, Robert W. Spekkens: Picturing classical and quantum Bayesian inference. Synthese 186(3): 651-696 (2012)
- [c10]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang: Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254
- [c9]
- [i10]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang: Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012)
- [i9]
- 2011
- [j17]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)
- [j16]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011)
- [j15]Bob Coecke, Bill Edwards: Toy Quantum Categories (Extended Abstract). Electr. Notes Theor. Comput. Sci. 270(1): 29-40 (2011)
- [j14]Bob Coecke, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(2): 1-2 (2011)
- [j13]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)
- [j12]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)
- [i8]Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman: Concrete Sentence Spaces for Compositional Distributional Models of Meaning. CoRR abs/1101.0309 (2011)
- [i7]Bob Coecke, Robert W. Spekkens: Picturing classical and quantum Bayesian inference. CoRR abs/1102.2368 (2011)
- 2010
- [j11]Bob Coecke, Simon Perdrix: Environment and classical channels in categorical quantum mechanics. Logical Methods in Computer Science 8(4) (2010)
- [c8]Bob Coecke, Simon Perdrix: Environment and Classical Channels in Categorical Quantum Mechanics. CSL 2010: 230-244
- [c7]Bob Coecke, Aleks Kissinger: The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) 2010: 297-308
- [c6]
- [c5]Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy: The GHZ/W-calculus contains rational arithmetic. HPC 2010: 34-48
- [e1]Farid M. Ablayev, Bob Coecke, Alexander Vasiliev (Eds.): Proceedings CSR 2010 Workshop on High Productivity Computations. EPTCS 52, 2010
- [i6]Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark: Mathematical Foundations for a Compositional Distributional Model of Meaning. CoRR abs/1003.4394 (2010)
2000 – 2009
- 2009
- [i5]
- 2008
- [j10]Bob Coecke: Axiomatic Description of Mixed States From Selinger's CPM-construction. Electr. Notes Theor. Comput. Sci. 210: 3-13 (2008)
- [j9]Bob Coecke, Éric Oliver Paquette: POVMs and Naimark's Theorem Without Sums. Electr. Notes Theor. Comput. Sci. 210: 15-31 (2008)
- [j8]Bob Coecke, Simon Perdrix, Éric Oliver Paquette: Bases in Diagrammatic Quantum Protocols. Electr. Notes Theor. Comput. Sci. 218: 131-152 (2008)
- [c4]
- 2007
- [j7]Bob Coecke: De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. Electr. Notes Theor. Comput. Sci. 170: 49-72 (2007)
- [j6]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh: Epistemic Actions as Resources. J. Log. Comput. 17(3): 555-585 (2007)
- [c3]Bob Coecke: Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic. AAAI Spring Symposium: Quantum Interaction 2007: 31-38
- 2006
- [j5]Bob Coecke: Strongly Compact Closed Semantics. Electr. Notes Theor. Comput. Sci. 155: 331-340 (2006)
- 2005
- [j4]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh: Algebra and Sequent Calculus for Epistemic Actions. Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005)
- [c2]Samson Abramsky, Bob Coecke: Discrete classical vs. continuous quantum data in abstract quantum mechanics. Spatial Representation 2005
- 2004
- [c1]
- [p1]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
- [i4]
- [i3]Samson Abramsky, Bob Coecke: A categorical semantics of quantum protocols. CoRR quant-ph/0402130 (2004)
- 2003
- [i2]
- 2002
- [j3]Samson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing. Electr. Notes Theor. Comput. Sci. 69: 1-22 (2002)
- [j2]
- [j1]
- [i1]Samson Abramsky, Bob Coecke: Physical Traces: Quantum vs. Classical Information Processing. CoRR cs.CG/0207057 (2002)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team