Australian Research Council (ARC)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492. ISBN 9783642367410. doi:10.1007/978-3-642-36742-7_33 ISSN 0302-9743.

EU Sixth Framework Programme (FP6)

Gay, Simon J. and Nagarajan, Rajagopal (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. doi:10.1017/S0960129506005263 ISSN 0960-1295.

Engineering and Physical Sciences Research Council (EPSRC)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy, 16-24 March 2013. Published in: Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, Volume 7795 pp. 478-492. ISBN 9783642367410. doi:10.1007/978-3-642-36742-7_33 ISSN 0302-9743.

Rogers, C. (Caroline) and Nagarajan, Rajagopal (2011) Lossless quantum data compression and quantum Kolmogorov complexity. International Journal of Quantum Information, Volume 9 (Number 2). pp. 637-650. doi:10.1142/S0219749911007848 ISSN 0219-7499.

Gay, Simon J. and Nagarajan, Rajagopal (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. doi:10.1017/S0960129506005263 ISSN 0960-1295.

Müller, Markus, Rogers, C. (Caroline) and Nagarajan, Rajagopal (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A (Atomic, Molecular and Optical Physics) , Volume 79 (Number 1). Article number 012302. doi:10.1103/PhysRevA.79.012302 ISSN 1050-2947.

Rogers, C. (Caroline), Vedral, Vlatko and Nagarajan, Rajagopal (2008) Second quantized Kolmogorov complexity. International Journal of Quantum Information, Volume 6 (Number 4). pp. 907-928. doi:10.1142/S021974990800375X ISSN 0219-7499.

Gay, S. J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2007) QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science. (Unpublished)

European Commission (EC)

Gay, S. J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2007) QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science. (Unpublished)

Royal Society (Great Britain)

Rogers, C. (Caroline), Vedral, Vlatko and Nagarajan, Rajagopal (2008) Second quantized Kolmogorov complexity. International Journal of Quantum Information, Volume 6 (Number 4). pp. 907-928. doi:10.1142/S021974990800375X ISSN 0219-7499.

Sixth Framework Programme (European Commission) (FP6)

Müller, Markus, Rogers, C. (Caroline) and Nagarajan, Rajagopal (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A (Atomic, Molecular and Optical Physics) , Volume 79 (Number 1). Article number 012302. doi:10.1103/PhysRevA.79.012302 ISSN 1050-2947.

Wolfson Foundation

Rogers, C. (Caroline), Vedral, Vlatko and Nagarajan, Rajagopal (2008) Second quantized Kolmogorov complexity. International Journal of Quantum Information, Volume 6 (Number 4). pp. 907-928. doi:10.1142/S021974990800375X ISSN 0219-7499.