Rajagopal Nagarajan

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 6

Top Topics

Automated Verification

Hamming Distance

Top Venues

ACM Trans. Comput. Log.

Publications

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan
Property-based Testing of Quantum Programs in Q#. ICSE (Workshops) (2020)
Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
Describing and Simulating Concurrent Quantum Systems. TACAS (2) (2020)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Equivalence Checking of Concurrent Quantum Systems. ACM Trans. Comput. Log. 19 (4) (2018)
Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan, David Windridge
Hamming Distance Kernelisation via Topological Quantum Computation. TPNC (2017)
Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops (2017)
David Windridge, Rajagopal Nagarajan
Quantum Bootstrap Aggregation. QI (2016)
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Formalization of Quantum Protocols using Coq. QPL (2015)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Verification of Concurrent Quantum Protocols by Equivalence Checking. TACAS (2014)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Equivalence Checking of Quantum Protocols. TACAS (2013)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Verification of Quantum Protocols by Equivalence Checking. CoRR (2013)
Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan
A Temporal Logic for Planning under Uncertainty. FLAIRS Conference (2013)
Simon J. Gay, Rajagopal Nagarajan
Techniques for Formal Modelling and Analysis of Quantum Systems. Computation, Logic, Games, and Quantum Foundations (2013)
Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. 8 (1) (2012)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus QPL (2011)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Formal Analysis of Quantum Systems using Process Calculus ICE (2011)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
QMC: A Model Checker for Quantum Systems. CAV (2008)
Ranko Lazic, Rajagopal Nagarajan
Guest Editorial. Formal Aspects Comput. 19 (3) (2007)
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
Exogenous Probabilistic Computation Tree Logic. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
Simulating and Compiling Code for the Sequential Quantum Random Access Machine. Electron. Notes Theor. Comput. Sci. 170 (2007)
Ranko Lazic, Rajagopal Nagarajan
Preface. Electron. Notes Theor. Comput. Sci. 145 (2006)
Simon J. Gay, Rajagopal Nagarajan
Types and typechecking for Communicating Quantum Processes. Math. Struct. Comput. Sci. 16 (3) (2006)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
Probabilistic Model-Checking of Quantum Protocols CoRR (2005)
Simon J. Gay, Rajagopal Nagarajan
Communicating quantum processes. POPL (2005)
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
An Automated Analysis of the Security of Quantum Key Distribution CoRR (2005)
Garry Bowen, Rajagopal Nagarajan
On feedback and the classical capacity of a noisy quantum channel. IEEE Trans. Inf. Theory 51 (1) (2005)
Garry Bowen, Rajagopal Nagarajan
On feedback and the classical capacity of a noisy quantum channel. ISIT (2004)
Simon J. Gay, Rajagopal Nagarajan
Intensional and Extensional Semantics of Dataflow Programs. Formal Aspects Comput. 15 (4) (2003)
Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
Flow Analysis: Games and Nets. The Essence of Computation (2002)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
A Specification Structure for Deadlock-Freedom of Synchronous Processes. Theor. Comput. Sci. 222 (1-2) (1999)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS (1997)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD (1996)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop (1995)
Simon J. Gay, Rajagopal Nagarajan
A Typed Calculus of Synchronous Processes LICS (1995)
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
An Internal Language for Interaction Categories. Theory and Formal Methods (1994)
Chris Hankin, Ian Mackie, Rajagopal Nagarajan
Preface. Theory and Formal Methods (1994)
Simon J. Gay, Rajagopal Nagarajan
Modelling SIGNAL in Interaction Categories. Theory and Formal Methods (1993)