Rajagopal Nagarajan

Cited by

	All	Since 2019
Citations	1278	425
h-index	18	11
i10-index	27	13

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 16 25 25 8 37 10 8 13 16 21 32 40 38 39 43 43 35 51 56 63 84 52 23 60 58 54 82 63 77 88

Public access

View all

8 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Ebrahim Ardeshir-LarijaniAssistant Professor, Iran University of Science and TechnologyVerified email at ipm.ir
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt
Nick PapanikolaouExaminer of Computer-Implemented Inventions at European Patent OfficeVerified email at epo.org
Wayne LukProfessor of Computer Engineering, Imperial College LondonVerified email at imperial.ac.uk
Vlatko VedralProfessor of Quantum Information, University of OxfordVerified email at physics.ox.ac.uk
David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk
Markus P. MüllerResearch Group Leader, Institute for Quantum Optics and Quantum Information (IQOQI) ViennaVerified email at oeaw.ac.at

Rajagopal Nagarajan

Professor of Foundations of Computing, Middlesex University

Verified email at mdx.ac.uk - Homepage

Foundations of Programming Languages Formal Methods Security and Cryptography Quantum Information Processing Financial Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interaction categories and the foundations of typed concurrent programming S Abramsky, S Gay, R Nagarajan NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152, 35-114, 1996	191	1996
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005	181	2005
QMC: A Model Checker for Quantum Systems: Tool Paper SJ Gay, R Nagarajan, N Papanikolaou Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	105	2008
Property-based testing of quantum programs in Q# S Honarvar, MR Mousavi, R Nagarajan Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020	73	2020
Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005	60	2005
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006	53	2006
Specification structures and propositions-as-types for concurrency S Abramsky, S Gay, R Nagarajan Logics for Concurrency: Structure versus Automata, 5-40, 1996	52	1996
Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	40	2013
Verification of concurrent quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	39	2014
Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015	34	2015
An automated analysis of the security of quantum key distribution R Nagarajan, N Papanikolaou, G Bowen, S Gay arXiv preprint cs/0502048, 2005	31	2005
Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020	29	2020
Model Checking for Communicating Quantum Processes. TAS Davidson, SJ Gay, H Mlnarik, R Nagarajan, N Papanikolaou Int. J. Unconv. Comput. 8 (1), 73-98, 2012	28	2012
Formal verification of quantum protocols R Nagarajan, S Gay arXiv preprint quant-ph/0203086, 2002	28	2002
Specification and verification of quantum protocols SJ Gay, R Nagarajan, N Papanikolaou Semantic Techniques in Quantum Computation 1, 414-472, 2010	27	2010
On feedback and the classical capacity of a noisy quantum channel G Bowen, R Nagarajan IEEE transactions on information theory 51 (1), 320-324, 2005	25	2005
Simulating and compiling code for the sequential quantum random access machine R Nagarajan, N Papanikolaou, D Williams Electronic Notes in Theoretical Computer Science 170, 101-124, 2007	24	2007
A typed calculus of synchronous processes S Gay, R Nagarajan Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995	22	1995
A proof-theoretic trust and reputation model for VANET G Primiero, F Raimondi, T Chen, R Nagarajan 2017 IEEE European symposium on security and privacy workshops (EuroS&PW …, 2017	18	2017
Analysis of a quantum error correcting code using quantum process calculus TAS Davidson, SJ Gay, R Nagarajan, IV Puthoor arXiv preprint arXiv:1210.0614, 2012	18	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors