| t| ket⟩: a retargetable compiler for NISQ devices S Sivarajah, S Dilkes, A Cowtan, W Simmons, A Edgington, R Duncan Quantum Science and Technology 6 (1), 014003, 2020 | 366 | 2020 |
| On the qubit routing problem C Alexander, S Dilkes, R Duncan, K Alexandre, W Simmons, S Sivarajah 14th Conf. on the Theory of Quantum Computation, Communication and …, 2019 | 169* | 2019 |
| Phase gadget synthesis for shallow circuits A Cowtan, S Dilkes, R Duncan, W Simmons, S Sivarajah arXiv preprint arXiv:1906.01734, 2019 | 124 | 2019 |
| A generic compilation strategy for the unitary coupled cluster ansatz A Cowtan, W Simmons, R Duncan arXiv preprint arXiv:2007.10515, 2020 | 45 | 2020 |
| Relating Measurement Patterns to Circuits via Pauli Flow W Simmons arXiv preprint arXiv:2109.05654, 2021 | 16 | 2021 |
| Higher-order causal theories are models of BV-logic W Simmons, A Kissinger arXiv preprint arXiv:2205.11219, 2022 | 12 | 2022 |
| A complete logic for causal consistency W Simmons, A Kissinger arXiv preprint arXiv:2403.09297, 2024 | | 2024 |
