R. Nagarajan, N. Papanikolaou, G. Bowen and S. Gay. An Automated Analysis of the Security of Quantum Key Distribution.In Proc. 3rd International Workshop on Security Issues in Concurrency (SecCo'05). 2005.
R. Bornat, J. Boender, F. Kammueller, G. Poly and R. Nagarajan, Describing and Simulating Concurrent Quantum Systems, Tool Demonstration Paper, In TACAS ’20: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, April 25–30, 2020. Lecture Notes in Computer Science.
Arora Devanshi, et al., (2022). Experimental demonstration of a local homodyne measurement, IEICE Tech. Rep. Print edition: ISSN 0913-5685
S. Barik, A. Warke, B. Behera, P. K. Panigrahi, Deterministic hierarchical remote state preparation of a two-qubit entangled state using Brown et al. state in a noisy environment, IET Quantum Communication, Vol. 1, Issue 2, p. 49-54 (2020)
E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Automated Equivalence Checking of Concurrent Quantum Systems, ACM Transactions on Computational Logic, volume 19, issue 4, December 2018.
A. Warke, K. Thyagarajan, Direct generation of two-pair frequency entanglement via dual periodic poling in lithium niobate waveguides, Eur. Phys. J. Plus 137, 697 (2022).
A. Warke et al., Quantum Machine Learning: A Review and Current Status, Data Management, Analytics and Innovation, Springer Vol. 1175 (2019)
D. Windridge, R. Mengioni and R. Nagarajan, Quantum Error-Correcting Output Codes, International Journal of Quantum Information, Vol. 16, No. 08, 1840003 (2018).
Chaurasiya, R., Arora, D. (2022). Photonic Quantum Computing. In: Kumar, A., Gill, S.S., Abraham, A. (eds) Quantum and Blockchain for Modern Computing Systems: Vision and Advancements. Lecture Notes on Data Engineering and Communications Technologies, vol 133. Springer, Cham.
A. Warke, B. Behera, P. K. Panigrahi, Experimental Realization of Three Quantum Key Distribution Protocols, Quantum Inf. Process. Vol. 19, 407 (2020)
Coggins, Macauley & Arora, Devanshi. (2020). A Software Method For Mitigating Single Qubit Errors On Superconducting Quantum Devices. 10.31224/osf.io/s9kj4.
A. di Pierro, R.Mengoni, R. Nagarajan and D. Windridge, Hamming Distance Kernelisation via Topological Quantum Computation, TPNC ’17: 6th International Conference on Theory and Practice of Natural Computing, Prague, Czech Republic, December 2017, Springer-Verlag Lecture Notes in Computer Science.
D. Windridge and R. Nagarajan, Quantum Bootstrap Aggregation , QI ’16: 10th International Quantum Interaction Conference, San Francisco, July 2016, Springer-Verlag Lecture Notes in Computer Science, number 10106, 2017.
J. Boender, F. Kammueller and R. Nagarajan, Formalization of Quantum Protocols using Coq, QPL ’15: Proceedings of the 12th Workshop on Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, vol 195, 2015.
E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Verification of Concurrent Quantum Protocols by Equivalence Checking, TACAS ’14: Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014), Grenoble, France, April 2014.
E. Ardeshir-Larijani, S. J. Gay and R. Nagarajan, Equivalence Checking of Quantum Protocols, TACAS ’13: Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013), Rome, Italy, March 2013.
S. J. Gay and R. Nagarajan, Techniques for Formal Modelling and Analysis of Quantum Systems, In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky – Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday, (B. Coecke, L. Ong and P. Panangaden, eds)., Springer Lecture Notes in Computer Science, volume 7860, 2013.
T. Davidson, S. J. Gay, R. Nagarajan and I. V. Puthoor, Analysis of a Quantum Error Correcting Code using Quantum Process Calculus, In: Proceedings of the 8th Workshop on Quantum Physics and Logic (QPL ’11), Electronic Proceedings in Theoretical Computer Science
T. Davidson, S. J. Gay, H. Mlnařík, R. Nagarajan and N. Papanikolaou, Model Checking for Communicating Quantum Processes, International Journal of Unconventional Computing.
T. Davidson, S. J. Gay and R. Nagarajan, Formal Analysis of Quantum Systems using Process Calculus, In: Proceedings of the Workshop on Interaction and Concurrency Experience (ICE ’11). Electronic Proceedings in Theoretical Computer Science 59:104-110, 2011.
S. J. Gay, R. Nagarajan and N. Papanikolaou, Specification and Verification of Quantum Protocols, Semantic Techniques in Quantum Computation, 68 pages, Cambridge University Press, 2010.
Arora, D., Salomoni, M., Haddad, Y., Frank, I., Martinazzoli, L., Pizzichemi, M., Doser, M., Owari, M., & Auffray, E. (2024). Enhancing Energy Resolution and Particle Identification via Chromatic Calorimetry: A Concept Validation Study. arXiv:2411.03685.
M. Muller, C. Rogers, and R. Nagarajan, Lossless Quantum Prefix Compression for Communication Channels that are Always Open, Physical Review A, volume 79, issue 1, 2009.