2017

Sagoo, Ravjit S., Hutchinson, Charles E., Wright, Alex, Handford, Charles, Parsons, Helen, Sherwood, Victoria, Wayte, Sarah C. , Nagarajaan, Sanjoy, NgAndwe, Eddie, Wilson, Mark H. and Imray, C. (Chris) (2017) Magnetic resonance investigation into the mechanisms involved in the development of high-altitude cerebral edema. Journal of Cerebral Blood Flow & Metabolism, 37 (1). pp. 319-331. doi:10.1177/0271678X15625350 ISSN 0271-678X.

2014

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

2013

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.

2012

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

2011

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.

2010

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.

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 doi:10.1016/j.csda.2012.01.003 ISSN 9781902316802.

2009

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.

2008

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, Simon J., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (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. doi:10.1007/978-3-540-70545-1_51 ISSN 9783540705437 .

2007

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)

2006

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 doi:10.1017/S0960129506005263

2005

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. ISSN 0362-1340.