Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal (2014) Verification of concurrent quantum protocols by equivalence checking. In: Ábrahám, Erika and Havelund, Klaus, (eds.) Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, Volume 8413 . Springer Berlin Heidelberg, pp. 500-514. ISBN 9783642548611

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.

Davidson, T., Gay, S. J., Mlnařík, H., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K., 1982-. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, Vol.8 (No.1). pp. 73-98. ISSN 1548-7199

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. 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. ISSN 0960-1295

Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2010) Specification and verification of quantum protocols. In: Gay, Simon J. and Mackie, I., (eds.) Semantic techniques in quantum computation. USA: Cambridge University Press, pp. 414-472. ISBN 9780521513746

Maad, Soha, Mccarthy, J. B., Garbaya, S., Beynon, Meurig and Nagarajan, Rajagopal (2010) Service software engineering for innovative infrastructure for global financial services. In: 7th European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2010, Abu-Dhabi, 12-13 Apr 2010. Published in: Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems: Global Information Systems Challenges in Management, EMCIS 2010

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. 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. ISSN 0219-7499

Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K., 1982- (2008) QMC : a model checker for quantum systems. In: 20th International Conference on Computer Aided Verification, Princeton, USA, 7-14 Jul 2008. Published in: CAV '08 Proceedings of the 20th international conference on Computer Aided Verification, Vol.5123 pp. 543-547.

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)

Gay, Simon J. and Nagarajan, Rajagopal (2006) Types and typechecking for communicating quantum processes. In: 2nd International Workshop on Quantum Programming Languages (QPL 2004), Turku, Finland, 12-13 July, 2004

Gay, S. J. and Nagarajan, Rajagopal (2005) Communicating quantum processes. In: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, CA, 12-14 Jan 2005. Published in: ACM SIGPLAN Notices, Volume 40 (Number 1). pp. 145-157.