
The Library
Browse by Warwick Author
![]() | Up a level |
Number of items: 14.
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
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. ISSN 0302-9743. doi:10.1007/978-3-642-36742-7_33
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.
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
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
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 ISSN 9781902316802. doi:10.1016/j.csda.2012.01.003
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
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
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. ISSN 9783540705437 . doi:10.1007/978-3-540-70545-1_51
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.
This list was generated on Sun Jan 29 13:16:21 2023 GMT.