Ardeshir-Larijani, Ebrahim and Gay, Simon J. and Nagarajan, Rajagopal (2018) Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL) , 19 (4). pp. 28-32. ISSN 1529-3785
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.
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.