Bornat, Richard and Boender, Jaap and Kammueller, Florian and Poly, Guillaume and Nagarajan, Rajagopal (2020) 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.
Amtoft, Torben and Androutsopoulos, Kelly and Clark, David (2020) Correctly slicing extended finite state machines. In: From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement. Di Pierro, Alessandra and Malacaria, Pasquale and Nagarajan, Rajagopal , eds. Theoretical Computer Science and General Issues (12065). Springer International Publishing, Switzerland, pp. 149-197. ISBN 9783030411022
Windridge, David and Mengoni, Riccardo and Nagarajan, Rajagopal (2018) Quantum error-correcting output codes. International Journal of Quantum Information , 16 (8). p. 1840003. ISSN 1793-6918
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. 1-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.
