| 2026 | LICS | Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi. | Dichuan Gao, Razin A. Shaikh, Aleks Kissinger |
| 2025 | CSL | Quantum and Classical Markovian Graphical Causal Models and Their Identification. | Jonathan Barrett, Isaac Friend, Aleks Kissinger |
| 2025 | RC | Approximate Optimisation of Quantum Circuits Using the ZX Calculus with Phase Squashing. | Thomas Kelly, Aleks Kissinger |
| 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 |
| 2022 | ICALP | Circuit Extraction for ZX-Diagrams Can Be #P-Hard. | Niel de Beaudrap, Aleks Kissinger, John van de Wetering |
| 2022 | MFCS | Higher-Order Causal Theories Are Models of BV-Logic. | Will Simmons, Aleks Kissinger |
| 2019 | FOSSACS | Causal Inference by String Diagram Surgery. | Bart Jacobs, Aleks Kissinger, Fabio Zanasi |
| 2018 | DIAGRAMS | Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. | Bob Coecke, Aleks Kissinger |
| 2018 | LICS | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | ESOP | Confluence of Graph Rewriting with Interfaces. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | LICS | A categorical semantics for causal structure. | Aleks Kissinger, Sander Uijlen |
| 2016 | LICS | Rewriting modulo symmetric monoidal structure. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2015 | CADE | Quantomatic: A Proof Assistant for Diagrammatic Reasoning. | Aleks Kissinger, Vladimir Zamdzhiev |
| 2015 | CALCO | A First-order Logic for String Diagrams. | Aleks Kissinger, David Quick |
| 2013 | LPAR | A Graphical Language for Proof Strategies. | Gudmund Grov, Aleks Kissinger, Yuhui Lin |
| 2012 | CADE | Synthesising Graphical Theories. | Aleks Kissinger |
| 2012 | LICS | Strong Complementarity and Non-locality in Categorical Quantum Mechanics. | Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang |
| 2010 | ICALP | The Compositional Structure of Multipartite Quantum Entanglement. | Bob Coecke, Aleks Kissinger |