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
Vinogradov’s theorem with Fouvry–Iwaniecprimes
Grimmelt, L
Algebra & Number Theory
volume 16
issue 7
1705-1776
(16 Oct 2022)