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)
doi:10.4204/eptcs.318.14
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)
doi:10.4204/eptcs.340.10
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)
doi:10.4204/eptcs.340.3
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)
doi:10.1017/s096012952100027x
The CBH characterisation theorem beyond algebraic quantum theory
Heunen, C
Kissinger, A
Information and Computation
volume 285
104828
(May 2022)
doi:10.1016/j.ic.2021.104828
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)
doi:10.4230/LIPIcs.ICALP.2022.119
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)
doi:10.4230/LIPIcs.TQC.2022.5
Higher-Order Causal Theories Are Models of BV-Logic
Simmons, W
Kissinger, A
Leibniz International Proceedings in Informatics, LIPIcs
volume 241
(01 Aug 2022)
doi:10.4230/LIPIcs.MFCS.2022.80
High infectiousness immediately before COVID-19 symptom onset highlights the importance of contact tracing
Hart, W
Maini, P
Thompson, R
doi:10.1101/2020.11.20.20235754
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
doi:10.1101/2021.05.27.21257936