Pattern graph rewrite systems
Kissinger, A
Merry, A
Soloviev, M
Electronic Proceedings in Theoretical Computer Science
volume 143
54-66
(29 Mar 2014)
Completely positive projections and biproducts
Heunen, C
Kissinger, A
Selinger, P
Electronic Proceedings in Theoretical Computer Science
volume 171
71-83
(27 Dec 2014)
A first-order logic for string diagrams
Kissinger, A
Quick, D
Leibniz International Proceedings in Informatics, LIPIcs
volume 35
171-189
(01 Oct 2015)
Preface
Heußner, A
Kissinger, A
Wijs, A
Electronic Proceedings in Theoretical Computer Science, EPTCS
volume 231
(04 Dec 2016)
A Categorical Semantics for Causal Structure
Kissinger, A
Uijlen, S
1-12
(01 Jun 2017)
Causal Inference by String Diagram Surgery
Jacobs, B
Kissinger, A
Zanasi, F
Lecture Notes in Computer Science
volume 11425
313-329
(05 Apr 2019)
PyZX: Large Scale Automated Diagrammatic Reasoning
Kissinger, A
van de Wetering, J
Electronic Proceedings in Theoretical Computer Science
volume 318
229-241
(01 May 2020)
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Lemonnier, L
van de Wetering, J
Kissinger, A
Electronic Proceedings in Theoretical Computer Science
volume 340
188-212
(06 Sep 2021)
Tensor Network Rewriting Strategies for Satisfiability and Counting
de Beaudrap, N
Kissinger, A
Meichanetzidis, K
Electronic Proceedings in Theoretical Computer Science
volume 340
46-59
(06 Sep 2021)
Causal inference via string diagram surgery
Jacobs, B
Kissinger, A
Zanasi, F
Mathematical Structures in Computer Science
volume 31
issue 5
553-574
(16 May 2021)