Finite Verification of Infinite Families of Diagram Equations. - Hector Miller-Bakewell (QPL, 2019)

Thinking about Trust: People, Process, and Place. - Stephen Marsh 001; Tosan Atele-Williams; Anirban Basu 001; Natasha Dwyer; Peter R. Lewis 001; Hector Miller-Bakewell; Jeremy Pitt (Patterns, 2020)

Graphical calculi and their conjecture synthesis. - Hector Miller-Bakewell (2020)

There and back again: A circuit extraction tale. - Miriam Backens; Hector Miller-Bakewell; Giovanni de Felice; Leo Lobski; John van de Wetering (Quantum, 2021)

Completeness of the ZH-calculus. - Miriam Backens; Aleks Kissinger; Hector Miller-Bakewell; John van de Wetering; Sal Wolffs (Compositionality, 2023)