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
Subscribe to