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)
The CBH characterisation theorem beyond algebraic quantum theory
Heunen, C
Kissinger, A
Information and Computation
volume 285
104828
(May 2022)
Circuit Extraction for ZX-Diagrams Can Be #P-Hard
de Beaudrap, N
Kissinger, A
van de Wetering, J
Leibniz International Proceedings in Informatics, LIPIcs
volume 229
(01 Jul 2022)
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions
Kissinger, A
van de Wetering, J
Vilmart, R
Leibniz International Proceedings in Informatics, LIPIcs
volume 232
(01 Jul 2022)
Higher-Order Causal Theories Are Models of BV-Logic
Simmons, W
Kissinger, A
Leibniz International Proceedings in Informatics, LIPIcs
volume 241
(01 Aug 2022)
High infectiousness immediately before COVID-19 symptom onset highlights the importance of contact tracing
Hart, W
Maini, P
Thompson, R
Inference of SARS-CoV-2 generation times using UK household data
Hart, W
Abbott, S
Endo, A
Hellewell, J
Miller, E
Andrews, N
Maini, P
Funk, S
Thompson, R