194 citations · 1.2k across the 78 of their papers we have counts for
Showing 2012 · math.CTShow all
2 papers · 2 filters
math.CT2012★ 17 cited
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry, Matvey Soloviev
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger in…
math.CT2012★ 46 cited
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
Aleks Kissinger
This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applica…