Modelling SIGNAL in Interaction Categories. - Simon J. Gay; Rajagopal Nagarajan (Theory and Formal Methods, 1993)

An Internal Language for Interaction Categories. - Roy L. Crole; Simon J. Gay; Rajagopal Nagarajan (Theory and Formal Methods, 1994)

Preface. - Chris Hankin; Ian Mackie; Rajagopal Nagarajan (Theory and Formal Methods, 1994)

Specification Structures and Propositions-as-Types for Concurrency. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (Banff Higher Order Workshop, 1995)

A Typed Calculus of Synchronous Processes - Simon J. Gay; Rajagopal Nagarajan (LICS, 1995)

Interaction categories and the foundations of typed concurrent programming. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (NATO ASI DPD, 1996)

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (TACS, 1997)

A Specification Structure for Deadlock-Freedom of Synchronous Processes. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (Theor. Comput. Sci., 1999)

Flow Analysis: Games and Nets. - Chris Hankin; Rajagopal Nagarajan; Prahladavaradan Sampath (The Essence of Computation, 2002)

Intensional and Extensional Semantics of Dataflow Programs. - Simon J. Gay; Rajagopal Nagarajan (Formal Aspects Comput., 2003)

Communicating quantum processes. - Simon J. Gay; Rajagopal Nagarajan (POPL, 2005)

An Automated Analysis of the Security of Quantum Key Distribution - Rajagopal Nagarajan; Nikolaos Papanikolaou 001; Garry Bowen; Simon J. Gay (CoRR, 2005)

Probabilistic Model-Checking of Quantum Protocols - Simon J. Gay; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (CoRR, 2005)

Preface. - Ranko Lazic 001; Rajagopal Nagarajan (AVoCS, 2005)

Simulating and Compiling Code for the Sequential Quantum Random Access Machine. - Rajagopal Nagarajan; Nikolaos Papanikolaou 001; David Williams (QPL, 2005)

On feedback and the classical capacity of a noisy quantum channel. - Garry Bowen; Rajagopal Nagarajan (IEEE Trans. Inf. Theory, 2005)

Types and typechecking for Communicating Quantum Processes. - Simon J. Gay; Rajagopal Nagarajan (Math. Struct. Comput. Sci., 2006)

Exogenous Probabilistic Computation Tree Logic. - Pedro Baltazar; Paulo Mateus; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (QAPL, 2007)

Guest Editorial. - Ranko Lazic 001; Rajagopal Nagarajan (Formal Aspects Comput., 2007)

QMC: A Model Checker for Quantum Systems. - Simon J. Gay; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (CAV, 2008)

Formal Analysis of Quantum Systems using Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan (ICE, 2011)

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan; Ittoop Vergheese Puthoor (QPL, 2011)

Model Checking for Communicating Quantum Processes. - Timothy A. S. Davidson; Simon J. Gay; Hynek Mlnarik; Rajagopal Nagarajan; Nick Papanikolaou 001 (Int. J. Unconv. Comput., 2012)

Techniques for Formal Modelling and Analysis of Quantum Systems. - Simon J. Gay; Rajagopal Nagarajan (Computation, Logic, Games, and Quantum Foundations, 2013)

A Temporal Logic for Planning under Uncertainty. - Manuel Biscaia; Pedro Baltazar; Paulo Mateus; Rajagopal Nagarajan (FLAIRS, 2013)

Equivalence Checking of Quantum Protocols. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2013)

Automated Verification of Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (CoRR, 2013)

Verification of Concurrent Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2014)

Formalization of Quantum Protocols using Coq. - Jaap Boender; Florian Kammüller; Rajagopal Nagarajan (QPL, 2015)

Quantum Bootstrap Aggregation. - David Windridge; Rajagopal Nagarajan (QI, 2016)

A Proof-Theoretic Trust and Reputation Model for VANET. - Giuseppe Primiero; Franco Raimondi; Taolue Chen 001; Rajagopal Nagarajan (EuroS&P Workshops, 2017)

Hamming Distance Kernelisation via Topological Quantum Computation. - Alessandra Di Pierro; Riccardo Mengoni; Rajagopal Nagarajan; David Windridge (TPNC, 2017)

Automated Equivalence Checking of Concurrent Quantum Systems. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (ACM Trans. Comput. Log., 2018)

Property-based Testing of Quantum Programs in Q#. - Shahin Honarvar; Mohammad Reza Mousavi 001; Rajagopal Nagarajan (ICSE (Workshops), 2020)

Describing and Simulating Concurrent Quantum Systems. - Richard Bornat; Jaap Boender; Florian Kammueller; Guillaume Poly; Rajagopal Nagarajan (TACAS (2), 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf. - Florian Kammüller; Luca Piras 003; Bob Fields; Rajagopal Nagarajan (ESORICS Workshops (2), 2024)