194 citations · 1.2k across the 78 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
math.CT2010★ 10 cited
Open Graphs and Monoidal Theories
Lucas Dixon, Aleks Kissinger
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of…
cs.LO2010★ 6 cited
Open Graphs and Computational Reasoning
Lucas Dixon, Ross Duncan, Aleks Kissinger
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented…
quant-ph2010★ 16 cited
The compositional structure of multipartite quantum entanglement
Bob Coecke, Aleks Kissinger
While multipartite quantum states constitute a (if not the) key resource for quantum computations and protocols, obtaining a high-level, structural understanding of entanglement in…