research
∙
09/06/2021
Gottesman Types for Quantum Programs
The Heisenberg representation of quantum operators provides a powerful t...
share
research
∙
01/22/2021
Static Analysis of Quantum Programs via Gottesman Types
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
10/23/2018
A belief propagation algorithm based on domain decomposition
This note provides a detailed description and derivation of the domain d...
research
∙
10/10/2018
