Larijani, Ebrahim Ardeshir and Gay, Simon J. and Nagarajan, Rajagopal (2018) Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL) . ISSN 1529-3785 (Accepted/In press)
Di Pierro, Alessandra and Mengoni, Riccardo and Nagarajan, Rajagopal and Windridge, David (2017) Hamming distance kernelisation via topological quantum computation. In: 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017, 18-20 Dec 2017, Prague, Czech Republic. (Published online first)
Primiero, Giuseppe and Raimondi, Franco and Chen, Taolue and Nagarajan, Rajagopal (2017) A proof-theoretic trust and reputation model for VANET. In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France.
Gay, Simon J. and Nagarajan, Rajagopal (2013) Techniques for formal modelling and analysis of quantum systems. In: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Springer Verlag, pp. 264-276.