Publications

Export 4 results:
Filters: Author is Prakash Panangaden  [Clear All Filters]
2006
D'Hondt, E., and P. Panangaden, "Quantum weakest preconditions", Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 1–23, 2006.
2005
Danos, V., E. D'Hondt, E. Kashefi, and P. Panangaden, "Distributed measurement-based quantum computation", Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), vol. 170, pp. 73–94, 2005.
D'Hondt, E., and P. Panangaden, "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.
D'Hondt, E., and P. Panangaden, "The computational power of the W and GHZ states", Journal on Quantum Information & Computation, vol. 6, no. 2, pp. 173–183, 2005.