1 paper
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice +2
Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use o…