| 2008 |
|---|
| 17 | EE | Bob Coecke,
Ross Duncan:
Interacting Quantum Observables.
ICALP (2) 2008: 298-310 |
| 16 | EE | Bob Coecke,
Éric Oliver Paquette:
POVMs and Naimark's Theorem Without Sums.
Electr. Notes Theor. Comput. Sci. 210: 15-31 (2008) |
| 15 | EE | Bob Coecke:
Axiomatic Description of Mixed States From Selinger's CPM-construction.
Electr. Notes Theor. Comput. Sci. 210: 3-13 (2008) |
| 14 | EE | Bob Coecke,
Simon Perdrix,
Éric Oliver Paquette:
Bases in Diagrammatic Quantum Protocols.
Electr. Notes Theor. Comput. Sci. 218: 131-152 (2008) |
| 2007 |
|---|
| 13 | EE | Bob Coecke:
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure.
Electr. Notes Theor. Comput. Sci. 170: 49-72 (2007) |
| 12 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Epistemic Actions as Resources.
J. Log. Comput. 17(3): 555-585 (2007) |
| 2006 |
|---|
| 11 | EE | Bob Coecke:
Strongly Compact Closed Semantics.
Electr. Notes Theor. Comput. Sci. 155: 331-340 (2006) |
| 2005 |
|---|
| 10 | EE | Samson Abramsky,
Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics.
Spatial Representation 2005 |
| 9 | EE | Alexandru Baltag,
Bob Coecke,
Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions.
Electr. Notes Theor. Comput. Sci. 126: 27-52 (2005) |
| 2004 |
|---|
| 8 | EE | Samson Abramsky,
Bob Coecke:
A Categorical Semantics of Quantum Protocols.
LICS 2004: 415-425 |
| 7 | EE | Bob Coecke:
The logic of entanglement
CoRR quant-ph/0402014: (2004) |
| 6 | EE | Samson Abramsky,
Bob Coecke:
A categorical semantics of quantum protocols
CoRR quant-ph/0402130: (2004) |
| 2003 |
|---|
| 5 | EE | Bob Coecke,
Keye Martin:
Partiality in physics
CoRR quant-ph/0312044: (2003) |
| 2002 |
|---|
| 4 | EE | Samson Abramsky,
Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing
CoRR cs.CG/0207057: (2002) |
| 3 | EE | Samson Abramsky,
Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing.
Electr. Notes Theor. Comput. Sci. 69: (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) |
