Rajagopal Nagarajan

Cited by

	All	Since 2016
Citations	1091	297
h-index	18	9
i10-index	26	9

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020214 12 30 31 32 10 44 16 12 15 18 26 35 42 41 38 43 44 40 57 57 58 78 57 28 62 69 62 19

Co-authors

Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Samson AbramskyProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Ebrahim Ardeshir-LarijaniInstitute for Research in Fundamental Sciences (IPM)Verified email at ipm.ir
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
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
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	175	1996
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005	133	2005
QMC: A model checker for quantum systems SJ Gay, R Nagarajan, N Papanikolaou International Conference on Computer Aided Verification, 543-547, 2008	87	2008
Interaction categories S Abramsky Theory and Formal Methods 1993, 57-69, 1993	78	1993
Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005	51	2005
Specification structures and propositions-as-types for concurrency S Abramsky, S Gay, R Nagarajan Logics for Concurrency, 5-40, 1996	51	1996
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006	46	2006
Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan International Conference on Tools and Algorithms for the Construction and …, 2013	31	2013
Verification of concurrent quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan International Conference on Tools and Algorithms for the Construction and …, 2014	27	2014
Augmented reality S Maad BoD–Books on Demand, 2010	26	2010
An automated analysis of the security of quantum key distribution R Nagarajan, N Papanikolaou, G Bowen, S Gay arXiv preprint cs/0502048, 2005	26	2005
Specification and verification of quantum protocols S Gay, R Nagarajan, N Papanikolaou Cambridge University Press, 2010	25	2010
Formal verification of quantum protocols R Nagarajan, S Gay arXiv preprint quant-ph/0203086, 2002	24	2002
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
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	21	2005
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	20	2012
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	20	2007
Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015	18	2015
Incremental Development of Hardware Packet Filters W Luk, S Yusuf, R Nagarajan Proc. International Conference on Engineering of Reconfigurable Systems and …, 2001	16	2001
Games for recursive types, BCS Distinguished Dissertation G McCusker Cambridge University Press, 1998	16	1998

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

Upload PDF

Follow this author

Cited by

Co-authors