Rajagopal Nagarajan

According to our database, Rajagopal Nagarajan authored at least 36 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Describing and Simulating Concurrent Quantum Systems.

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Property-based Testing of Quantum Programs in Q#.

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2018

Automated Equivalence Checking of Concurrent Quantum Systems.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

ACM Trans. Comput. Log., 2018

2017

Hamming Distance Kernelisation via Topological Quantum Computation.

Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan, David Windridge

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

A Proof-Theoretic Trust and Reputation Model for VANET.

Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

2016

Quantum Bootstrap Aggregation.

David Windridge, Rajagopal Nagarajan

Proceedings of the Quantum Interaction - 10th International Conference, 2016

2015

Formalization of Quantum Protocols using Coq.

Jaap Boender, Florian Kammüller, Rajagopal Nagarajan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

2014

Verification of Concurrent Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Automated Verification of Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

CoRR, 2013

Equivalence Checking of Quantum Protocols.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

A Temporal Logic for Planning under Uncertainty.

Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

Techniques for Formal Modelling and Analysis of Quantum Systems.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Model Checking for Communicating Quantum Processes.

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou

Int. J. Unconv. Comput., 2012

2011

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Formal Analysis of Quantum Systems using Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2008

QMC: A Model Checker for Quantum Systems.

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Guest Editorial.

Ranko Lazic, Rajagopal Nagarajan

Formal Aspects Comput., 2007

Exogenous Probabilistic Computation Tree Logic.

Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

2006

Types and typechecking for Communicating Quantum Processes.

Simon J. Gay, Rajagopal Nagarajan

Math. Struct. Comput. Sci., 2006

2005

On feedback and the classical capacity of a noisy quantum channel.

Garry Bowen, Rajagopal Nagarajan

IEEE Trans. Inf. Theory, 2005

Simulating and Compiling Code for the Sequential Quantum Random Access Machine.

Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Preface.

Ranko Lazic, Rajagopal Nagarajan

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Probabilistic Model-Checking of Quantum Protocols

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

CoRR, 2005

An Automated Analysis of the Security of Quantum Key Distribution

Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay

CoRR, 2005

Communicating quantum processes.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2003

Intensional and Extensional Semantics of Dataflow Programs.

Simon J. Gay, Rajagopal Nagarajan

Formal Aspects Comput., 2003

2002

Flow Analysis: Games and Nets.

Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

1999

A Specification Structure for Deadlock-Freedom of Synchronous Processes.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Theor. Comput. Sci., 1999

1997

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Interaction categories and the foundations of typed concurrent programming.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

A Typed Calculus of Synchronous Processes

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings, 1995

Specification Structures and Propositions-as-Types for Concurrency.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Logics for Concurrency, 1995

1994

Preface.

Chris Hankin, Ian Mackie, Rajagopal Nagarajan

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

An Internal Language for Interaction Categories.

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

Modelling SIGNAL in Interaction Categories.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Theory and Formal Methods 1993, 1993