Hector Miller-Bakewell

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Finitely Representable

Top Venues

Publications

Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering
There and back again: A circuit extraction tale. Quantum 5 (2021)
Stephen Marsh, Tosan Atele-Williams, Anirban Basu, Natasha Dwyer, Peter R. Lewis, Hector Miller-Bakewell, Jeremy Pitt
Thinking about Trust: People, Process, and Place. Patterns 1 (3) (2020)
Hector Miller-Bakewell
Finite Verification of Infinite Families of Diagram Equations. QPL (2019)