51 citations · 191 across the 20 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2011
Stabilizer States as a Basis for Density Matrices
Simon J. Gay
We show that the space of density matrices for n-qubit states, considered as a (2^n)^2 dimensional real vector space, has a basis consisting of density matrices of stabilizer state…
quant-ph2005★ 51 cited
Probabilistic Model--Checking of Quantum Protocols
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
We establish fundamental and general techniques for formal verification of quantum protocols. Quantum protocols are novel communication schemes involving the use of quantum-mechani…