Hector Miller-Bakewell

According to our database, Hector Miller-Bakewell authored at least 4 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

There and back again: A circuit extraction tale.

Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering

Quantum, 2021

2020

Graphical calculi and their conjecture synthesis.

Hector Miller-Bakewell

PhD thesis, 2020

Thinking about Trust: People, Process, and Place.

Stephen Marsh, Tosan Atele-Williams, Anirban Basu, Natasha Dwyer, Peter R. Lewis, Hector Miller-Bakewell, Jeremy Pitt

Patterns, 2020

2019

Finite Verification of Infinite Families of Diagram Equations.

Hector Miller-Bakewell

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019