Bornat, Richard and Boender, Jaap and Kammueller, Florian and Poly, Guillaume and Nagarajan, Rajagopal (2019) Describing and simulating concurrent quantum systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. (Accepted/In press)
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.