Browse by Research Project Code

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). ISSN 1050-2947 (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. ISSN 0302-9743 (doi:10.1007/978-3-540-70545-1_51)