8 citations · 17 across the 6 of their papers we have counts for
4 papers · 1 filter
Reasoning about quantum knowledge
Ellie D'Hondt, Prakash Panangaden
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, w…
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…
Quantum Weakest Preconditions
Ellie D'Hondt, Prakash Panangaden
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between t…
The Computational Power of the W and GHZ states
Ellie D'Hondt, Prakash Panangaden
It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their mul…