51 citations · 83 across the 5 of their papers we have counts for
Showing 2005 · quant-phShow all
2 papers · 2 filters
quant-ph2005★ 2 cited
Lossless Quantum Compression
Caroline Rogers, Rajagopal Nagarajan
We describe lossless quantum compression of unknown mixtures (of non-orthogonal states) and give an expression of the optimal rate of compression.
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…