| 2023 | LICS | Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. | Boldizsr Por, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
| 2023 | QCE | Quantum Picturalism: Learning Quantum Theory in High School. | Selma Dndar-Coecke, Lia Yeh, Caterina Puca, Sieglinde M.-L. Pfaendler, Muhammad Hamza Waseem, Thomas Cervoni, Aleks Kissinger, Stefano Gogioso, Bob Coecke |
| 2019 | LICS | Categorical Semantics for Time Travel. | Nicola Pinzani, Stefano Gogioso, Bob Coecke |
| 2018 | DIAGRAMS | Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. | Bob Coecke, Aleks Kissinger |
| 2018 | RC | ZX-Rules for 2-Qubit Clifford+T Quantum Circuits. | Bob Coecke, Quanlong Wang |
| 2017 | WoLLIC | Generalized Relations in Linguistics and Cognition. | Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden |
| 2015 | CALCO | Open System Categorical Quantum Semantics in Natural Language Processing. | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
| 2012 | LICS | Strong Complementarity and Non-locality in Categorical Quantum Mechanics. | Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang |
| 2012 | RC | Tutorial: Graphical Calculus for Quantum Circuits. | Bob Coecke, Ross Duncan |
| 2010 | CSL | Environment and Classical Channels in Categorical Quantum Mechanics. | Bob Coecke, Simon Perdrix |
| 2010 | ICALP | The Compositional Structure of Multipartite Quantum Entanglement. | Bob Coecke, Aleks Kissinger |
| 2008 | ICALP | Interacting Quantum Observables. | Bob Coecke, Ross Duncan |
| 2004 | LICS | A Categorical Semantics of Quantum Protocols. | Samson Abramsky, Bob Coecke |
| 2003 | MFPS | Entropic Geometry from Logic. | Bob Coecke |