- Sagoo, Ravjit S., Hutchinson, Charles E., Wright, Alex, Handford, Charles, Parsons, Helen, Sherwood, Victoria, Wayte, Sarah C., Nagarajaan, Sanjoy, NgAndwe, Eddie, Wilson, Mark H., 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
- Davidson, T., Gay, S. J., Mlnarík, H., Nagarajan, Rajagopal, Papanikolaou, Nikolaos K., 2012. Model checking for communicating quantum processes. International Journal of Unconventional Computing, Vol.8 (No.1), pp. 73-98
- Rogers, C. (Caroline), Nagarajan, Rajagopal, 2011. Lossless quantum data compression and quantum Kolmogorov complexity. International Journal of Quantum Information, 9 (2), pp. 637-650
- Gay, Simon J., Nagarajan, Rajagopal, 2010. Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3), pp. 375-406
- Müller, Markus, Rogers, C. (Caroline), Nagarajan, Rajagopal, 2009. Lossless quantum prefix compression for communication channels that are always open. Physical Review A (Atomic, Molecular and Optical Physics), 79 (1)
- Rogers, C. (Caroline), Vedral, Vlatko, Nagarajan, Rajagopal, 2008. Second quantized Kolmogorov complexity. International Journal of Quantum Information, 6 (4), pp. 907-928
- Ardeshir-Larijani, Ebrahim, Gay, Simon J., Nagarajan, Rajagopal, 2014. Verification of concurrent quantum protocols by equivalence checking. In Ábrahám, Erika; Havelund, Klaus (eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, pp. 500-514
- Gay, Simon J., Nagarajan, Rajagopal, Papanikolaou, N. K., 2010. Specification and verification of quantum protocols. In Gay, Simon J.; Mackie, I. (eds.), Semantic techniques in quantum computation, USA, Cambridge University Press, pp. 414-472
- Ardeshir-Larijani, Ebrahim, Gay, Simon J., Nagarajan, Rajagopal, 2013. Equivalence checking of quantum protocols. 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, pp. 478-492
- Maad, Soha, Mccarthy, J. B., Garbaya, S., Beynon, Meurig, Nagarajan, Rajagopal, 2010. Service software engineering for innovative infrastructure for global financial services. 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
- Gay, Simon J., Nagarajan, Rajagopal, Papanikolaou, Nikolaos K., 2008. QMC : a model checker for quantum systems. 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, pp. 543-547
- Gay, Simon J., Nagarajan, Rajagopal, 2006. Types and typechecking for communicating quantum processes. 2nd International Workshop on Quantum Programming Languages (QPL 2004), Turku, Finland, 12-13 July, 2004
- Gay, S. J., Nagarajan, Rajagopal, 2005. Communicating quantum processes. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, CA, 12-14 Jan 2005, Published in ACM SIGPLAN Notices, pp. 145-157
- Gay, S. J., Nagarajan, Rajagopal, Papanikolaou, N. K., 2007. QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science
Title | Funder | Award start | Award end |
---|---|---|---|
Formal verification of quantum cryptographic protocols | EPSRC | 01 Apr 2003 | 31 Mar 2005 |