Rajagopal Nagarajan

Cited by

	All	Since 2020
Citations	1309	398
h-index	18	11
i10-index	27	12

120

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 16 25 25 8 37 10 8 14 15 21 32 40 38 39 43 43 35 51 56 63 84 52 23 60 57 55 83 63 75 114 5

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
Markus P. MüllerResearch Group Leader, Institute for Quantum Optics and Quantum Information (IQOQI) ViennaVerified email at oeaw.ac.at
David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk

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	192	1996
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005	187	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	106	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	79	2020
Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005	61	2005
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006	55	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
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	41	2014
Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	41	2013
Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015	35	2015
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	33	2020
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
Formal verification of quantum protocols R Nagarajan, S Gay arXiv preprint quant-ph/0203086, 2002	29	2002
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
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