Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDBob Coecke
Person information
- affiliation: Oxford University, UK
- affiliation: Vrije Universiteit Brussel, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j31]Bob Coecke, Dominic Horsman, Aleks Kissinger
, Quanlong Wang:
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. Theor. Comput. Sci. 897: 1-22 (2022)- [i44]Giovanni de Felice, Bob Coecke:
Quantum Linear Optics via String Diagrams. CoRR abs/2204.12985 (2022) - 2021
- [j30]John H. Selby, Carlo Maria Scandolo, Bob Coecke:
Reconstructing quantum theory from diagrammatic postulates. Quantum 5: 445 (2021) - [i43]Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang:
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR abs/2102.10984 (2021) - [i42]Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke:
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer. CoRR abs/2102.12846 (2021) - [i41]Yu Zhang, Martijn Tennekes, Tim de Jong, Lyana Curier, Bob Coecke, Min Chen:
Using Simulation to Aid the Design and Optimization of Intelligent User Interfaces for Quality Assurance Processes in Machine Learning. CoRR abs/2104.01129 (2021) - [i40]Bob Coecke, Vincent Wang:
Grammar Equations. CoRR abs/2106.07485 (2021) - [i39]Camilo Miguel Signorelli, Quanlong Wang, Bob Coecke:
Reasoning about conscious experience with axiomatic and graphical mathematics. CoRR abs/2106.16061 (2021) - [i38]Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi:
How to make qubits speak. CoRR abs/2107.06776 (2021) - [i37]Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke:
Composing Conversational Negation. CoRR abs/2107.06820 (2021) - [i36]Vincent Wang-Mascianica, Bob Coecke:
Talking Space: inference from spatial linguistic meanings. CoRR abs/2109.06554 (2021) - [i35]Dimitri Kartsaklis, Ian Fan, Richie Yeung, Anna Pearson, Robin Lorenz, Alexis Toumi, Giovanni de Felice, Konstantinos Meichanetzidis, Stephen Clark, Bob Coecke:
lambeq: An Efficient High-Level Python Library for Quantum NLP. CoRR abs/2110.04236 (2021) - [i34]Bob Coecke:
Compositionality as we see it, everywhere around us. CoRR abs/2110.05327 (2021) - [i33]Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke:
A Quantum Natural Language Processing Approach to Musical Intelligence. CoRR abs/2111.06741 (2021) - 2020
- [j29]Bob Coecke, Konstantinos Meichanetzidis:
Meaning Updating of Density Matrices. FLAP 7(5): 745-770 (2020) - [c34]Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke:
Quantum Natural Language Processing on Near-Term Quantum Computers. QPL 2020: 213-229 - [e11]Bob Coecke, Matthew Leifer:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents] - [e10]John Baez, Bob Coecke:
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. EPTCS 323, 2020 [contents] - [i32]Bob Coecke, Konstantinos Meichanetzidis:
Meaning updating of density matrices. CoRR abs/2001.00862 (2020) - [i31]Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi:
Foundations for Near-Term Quantum Natural Language Processing. CoRR abs/2012.03755 (2020) - [i30]Konstantinos Meichanetzidis, Alexis Toumi, Giovanni de Felice, Bob Coecke:
Grammar-Aware Question-Answering on Quantum Computers. CoRR abs/2012.03756 (2020)
2010 – 2019
- 2019
- [c33]Nicola Pinzani, Stefano Gogioso, Bob Coecke:
Categorical Semantics for Time Travel. LICS 2019: 1-20 - [e9]Bob Coecke, Ariane Lambert-Mogiliansky:
Quantum Interaction - 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11690, Springer 2019, ISBN 978-3-030-35894-5 [contents] - [i29]Bob Coecke:
The Mathematics of Text Structure. CoRR abs/1904.03478 (2019) - 2018
- [j28]Dea Bankova, Bob Coecke, Martha Lewis, Dan Marsden:
Graded hyponymy for compositional distributional semantics. J. Lang. Model. 6(2): 225-260 (2018) - [j27]Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi:
Generalized relations in linguistics & cognition. Theor. Comput. Sci. 752: 104-115 (2018) - [c32]Bob Coecke, Aleks Kissinger:
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. Diagrams 2018: 28-31 - [c31]Bob Coecke, Quanlong Wang:
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits. RC 2018: 144-161 - [c30]Bob Coecke, Giovanni de Felice, Dan Marsden, Alexis Toumi:
Towards Compositional Distributional Discourse Analysis. CAPNS@QI 2018: 1-12 - [c29]Bob Coecke, Martha Lewis, Dan Marsden:
Internal Wiring of Cartesian Verbs and Prepositions. CAPNS@QI 2018: 75-88 - [e8]Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 [contents] - [e7]Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden:
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018. EPTCS 283, 2018 [contents] - 2017
- [b1]Bob Coecke, Aleks Kissinger:
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press 2017, ISBN 9781316219317 - [j26]John H. Selby, Bob Coecke:
Leaks: Quantum, Classical, Intermediate and More. Entropy 19(4): 174 (2017) - [c28]Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden:
Generalized Relations in Linguistics and Cognition. WoLLIC 2017: 256-270 - [p3]Bob Coecke:
From Quantum Foundations via Natural Language Meaning to a Theory of Everything. The Incomputable 2017: 63-80 - [e6]Jose Acacio de Barros, Bob Coecke, Emmanuel M. Pothos:
Quantum Interaction - 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10106, Springer 2017, ISBN 978-3-319-52288-3 [contents] - [i28]Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu:
Interacting Conceptual Spaces I : Grammatical Composition of Concepts. CoRR abs/1703.08314 (2017) - 2016
- [j25]Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. Inf. Comput. 250: 50-58 (2016) - [j24]Bob Coecke, Tobias Fritz, Robert W. Spekkens:
A mathematical theory of resources. Inf. Comput. 250: 59-86 (2016) - [j23]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings II: possessive relative pronouns. J. Log. Comput. 26(2): 785-815 (2016) - [j22]Bob Coecke:
Terminality Implies No-signalling ...and Much More Than That. New Gener. Comput. 34(1-2): 69-85 (2016) - [j21]Bob Coecke, Chris Heunen, Aleks Kissinger:
Categories of quantum and classical channels. Quantum Inf. Process. 15(12): 5179-5209 (2016) - [c27]Yaared Al-Mehairi, Bob Coecke, Martha Lewis:
Categorical Compositional Cognition. QI 2016: 122-134 - [c26]Daniela Ashoush, Bob Coecke:
Dual Density Operators and Natural Language Meaning. SLPCS@QPL 2016: 1-10 - [c25]Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu:
Interacting Conceptual Spaces. SLPCS@QPL 2016: 11-19 - [c24]William Zeng, Bob Coecke:
Quantum Algorithms for Compositional Natural Language Processing. SLPCS@QPL 2016: 67-75 - [i27]Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden:
Graded Entailment for Compositional Distributional Semantics. CoRR abs/1601.04908 (2016) - [i26]Martha Lewis, Bob Coecke:
Harmonic Grammar in a DisCo Model of Meaning. CoRR abs/1602.02089 (2016) - [i25]Bob Coecke:
From quantum foundations via natural language meaning to a theory of everything. CoRR abs/1602.07618 (2016) - [i24]Yaared Al-Mehairi, Bob Coecke, Martha Lewis:
Compositional Distributional Cognition. CoRR abs/1608.03785 (2016) - 2015
- [c23]Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh:
Open System Categorical Quantum Semantics in Natural Language Processing. CALCO 2015: 270-289 - [c22]Bob Coecke, Martha Lewis:
A Compositional Explanation of the 'Pet Fish' Phenomenon. QI 2015: 179-192 - [c21]Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke:
Distributional Sentence Entailment Using Density Matrices. TTCS 2015: 1-22 - [i23]Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh:
Open System Categorical Quantum Semantics in Natural Language Processing. CoRR abs/1502.00831 (2015) - [i22]Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke:
Distributional Sentence Entailment Using Density Matrices. CoRR abs/1506.06534 (2015) - [i21]Bob Coecke, Martha Lewis:
A Compositional Explanation of the Pet Fish Phenomenon. CoRR abs/1509.06594 (2015) - 2014
- [c20]Bob Coecke:
The Logic of Entanglement. Horizons of the Mind 2014: 250-267 - [c19]Bob Coecke:
Terminality implies non-signalling. QPL 2014: 27-35 - [e5]Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott:
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Lecture Notes in Computer Science 8222, Springer 2014, ISBN 978-3-642-54788-1 [contents] - [e4]Bob Coecke, Matty J. Hoban:
Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013. EPTCS 171, 2014 [contents] - [e3]Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - [i20]Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke:
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras. CoRR abs/1401.5980 (2014) - [i19]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. CoRR abs/1404.5278 (2014) - [i18]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings II: possessive relative pronouns. CoRR abs/1406.4690 (2014) - [i17]Bob Coecke, Tobias Fritz, Robert W. Spekkens:
A mathematical theory of resources. CoRR abs/1409.5531 (2014) - 2013
- [j20]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh:
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Log. 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) - [j18]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. J. Log. Comput. 23(6): 1293-1317 (2013) - [j17]Bob Coecke, Dusko Pavlovic, Jamie Vicary:
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23(3): 555-567 (2013) - [c18]Bob Coecke, Chris Heunen, Aleks Kissinger:
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations 2013: 21-36 - [c17]Stephen Clark, Bob Coecke, Mehrnoosh Sadrzadeh:
The Frobenius Anatomy of Relative Pronouns. MOL 2013: 41-51 - [p2]Bob Coecke:
An alternative Gospel of structure: order, composition, processes. Quantum Physics and Linguistics 2013: 1-21 - [e2]Bob Coecke, Luke Ong, Prakash Panangaden:
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 [contents] - [i16]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh:
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus. CoRR abs/1302.0393 (2013) - [i15]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) - [i14]Bob Coecke:
An alternative Gospel of structure: order, composition, processes. CoRR abs/1307.4038 (2013) - 2012
- [j16]Bob Coecke, Robert W. Spekkens:
Picturing classical and quantum Bayesian inference. Synth. 186(3): 651-696 (2012) - [c16]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254 - [c15]Bob Coecke, Ross Duncan:
Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13 - [c14]Bob Coecke, Chris Heunen, Aleks Kissinger:
Categories of Quantum and Classical Channels (extended abstract). QPL 2012: 1-14 - [i13]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012) - [i12]Bob Coecke:
The logic of quantum mechanics - Take II. CoRR abs/1204.3458 (2012) - 2011
- [j15]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. Computer 44(10): 84-87 (2011) - [j14]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. Electron. Notes Theor. Comput. Sci. 270(1): 1-2 (2011) - [j13]Bob Coecke, Bill Edwards:
Toy Quantum Categories (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270(1): 29-40 (2011) - [j12]Bob Coecke, Prakash Panangaden, Peter Selinger:
Preface. Electron. Notes Theor. Comput. Sci. 270(2): 1-2 (2011) - [j11]Bob Coecke, Bill Edwards, Robert W. Spekkens:
Phase Groups and the Origin of Non-locality for Qubits. Electron. Notes Theor. Comput. Sci. 270(2): 15-36 (2011) - [j10]Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang:
Graphical Calculus for Quantum Key Distribution (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270(2): 231-249 (2011) - [c13]Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman:
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. IWCS 2011 - [c12]John Mark Bishop, Slawomir J. Nasuto, Bob Coecke:
'Quantum Linguistics' and Searle's Chinese Room Argument. PT-AI 2011: 17-28 - [i11]Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman:
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. CoRR abs/1101.0309 (2011) - [i10]Bob Coecke, Robert W. Spekkens:
Picturing classical and quantum Bayesian inference. CoRR abs/1102.2368 (2011) - [i9]Alex Lang, Bob Coecke:
Trichromatic Open Digraphs for Understanding Qubits. CoRR abs/1110.2613 (2011) - 2010
- [j9]Bob Coecke, Simon Perdrix:
Environment and classical channels in categorical quantum mechanics. Log. Methods Comput. Sci. 8(4) (2010) - [c11]Bob Coecke, Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics. CSL 2010: 230-244 - [c10]Bob Coecke, Aleks Kissinger:
The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) 2010: 297-308 - [c9]Bob Coecke, Bill Edwards:
Three qubit entanglement within graphical Z/X-calculus. HPC 2010: 22-33 - [c8]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:
Proceedings CSR 2010 Workshop on High Productivity Computations, HPC 2010, Kazan, Russia, June 21-22, 2010. EPTCS 52, 2010 [contents] - [i8]Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark:
Mathematical Foundations for a Compositional Distributional Model of Meaning. CoRR abs/1003.4394 (2010)
2000 – 2009
- 2009
- [i7]Bob Coecke, Ross Duncan:
Interacting Quantum Observables: Categorical Algebra and Diagrammatics. CoRR abs/0906.4725 (2009) - [i6]Samson Abramsky, Bob Coecke:
Abstract Physical Traces. CoRR abs/0910.3144 (2009) - 2008
- [j8]Bob Coecke:
Axiomatic Description of Mixed States From Selinger's CPM-construction. Electron. Notes Theor. Comput. Sci. 210: 3-13 (2008) - [j7]Bob Coecke, Éric Oliver Paquette:
POVMs and Naimark's Theorem Without Sums. Electron. Notes Theor. Comput. Sci. 210: 15-31 (2008) - [c7]Bob Coecke, Ross Duncan:
Interacting Quantum Observables. ICALP (2) 2008: 298-310 - [c6]Bob Coecke, Simon Perdrix, Éric Oliver Paquette:
Bases in Diagrammatic Quantum Protocols. MFPS 2008: 131-152 - 2007
- [j6]Bob Coecke:
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. Electron. Notes Theor. Comput. Sci. 170: 49-72 (2007) - [j5]Samson Abramsky, Bob Coecke:
Physics from Computer Science: a Position Statement. Int. J. Unconv. Comput. 3(3): 179-197 (2007) - [j4]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources. J. Log. Comput. 17(3): 555-585 (2007) - [c5]Bob Coecke:
Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic. AAAI Spring Symposium: Quantum Interaction 2007: 31-38 - 2005
- [j3]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions. Electron. Notes Theor. Comput. Sci. 126: 27-52 (2005) - [c4]Bob Coecke:
Strongly Compact Closed Semantics. MFPS 2005: 331-340 - [i5]Samson Abramsky, Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics. Spatial Representation 2005 - 2004
- [c3]Samson Abramsky, Bob Coecke:
A Categorical Semantics of Quantum Protocols. LICS 2004: 415-425 - [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]Bob Coecke:
The logic of entanglement. CoRR quant-ph/0402014 (2004) - [i3]Samson Abramsky, Bob Coecke:
A categorical semantics of quantum protocols. CoRR quant-ph/0402130 (2004) - 2003
- [c2]Bob Coecke:
Entropic Geometry from Logic. MFPS 2003: 39-53 - [i2]Bob Coecke, Keye Martin:
Partiality in physics. CoRR quant-ph/0312044 (2003) - 2002
- [j2]Bob Coecke:
Quantum Logic in Intuitionistic Perspective. Stud Logica 70(3): 411-440 (2002) - [j1]Bob Coecke:
Disjunctive Quantum Logic in Dynamic Perspective. Stud Logica 71(1): 47-56 (2002) - [c1]Samson Abramsky, Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing. CTCS 2002: 1-22 - [i1]Samson Abramsky, Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing. CoRR cs.CG/0207057 (2002)