Publications
Export 4 results:
Filters: Author is Prakash Panangaden [Clear All Filters]
"Quantum weakest preconditions", Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 1–23, 2006.
, "Distributed measurement-based quantum computation", Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), vol. 170, pp. 73–94, 2005.
, "Reasoning about quantum knowledge", Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 3821: Springer Berlin / Heidelberg, pp. 553–564, 2005.
, "The computational power of the W and GHZ states", Journal on Quantum Information & Computation, vol. 6, no. 2, pp. 173–183, 2005.
,