Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Gay, S. and Mackie, I. (Eds.) (2010) Semantic techniques in Quantum Computation. Cambridge University Press: Cambridge. ISBN 9780521513746

Mueller, M., Rogers, C. and Nagarajan, R. (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A: Atomic, Molecular and Optical Physics, 79(1), (doi: 10.1103/PhysRevA.79.012302)

Gay, S. , Nagarajan, R. and Papanikolaou, N. (2008) QMC: A Model Checker for Quantum Systems. Lecture Notes in Computer Science, 5123, pp. 543-547. (doi: 10.1007/978-3-540-70545-1_51)

This list was generated on Sun Sep 24 22:41:22 2023 BST.