2016

Sagoo, Ravjit S., Hutchinson, Charles, Wright, Alex, Handford, Charles, Parsons, Helen (Researcher in medicine), Sherwood, Victoria, Wayte, Sarah C. , Nagarajaan, Sanjoy, NgAndwe, Eddie, Wilson, Mark H. and Imray, C. (Chris). (2016) Magnetic resonance investigation into the mechanisms involved in the development of high-altitude cerebral edema. Journal of Cerebral Blood Flow & Metabolism . ISSN 0271-678X (In Press)

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.

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. 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. 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

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. 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. 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.

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

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.