Completely positive projections and biproducts
Heunen, C
Kissinger, A
Selinger, P
(21 Aug 2013)
Tinker, tailor, solver, proof
Grov, G
Kissinger, A
Lin, Y
(29 Oct 2014)
Tensors, !-graphs, and non-commutative quantum structures
Kissinger, A
Quick, D
(29 Dec 2014)
!-Graphs with Trivial Overlap are Context-Free
Kissinger, A
Zamdzhiev, V
(24 Jan 2015)
Pattern graph rewrite systems
Kissinger, A
Merry, A
Soloviev, M
(30 Apr 2012)
Tensor Network Rewriting Strategies for Satisfiability and Counting
de Beaudrap, N
Kissinger, A
Meichanetzidis, K
(14 Apr 2020)
A Graphical Calculus for Lagrangian Relations
Comfort, C
Kissinger, A
(13 May 2021)
On the Pre- and Promonoidal Structure of Spacetime
Hefford, J
Kissinger, A
(20 Jun 2022)
Global Synthesis of CNOT Circuits with Holes
Murphy, E
Kissinger, A
(31 Aug 2023)
Identification of Causal Influences in Quantum Processes
Friend, I
Kissinger, A
(15 Nov 2023)