Concepedia

Rajagopal Nagarajan

RN

18

Publications

542

Citations

14

H-Index

1995

Active since

Affiliations

University of Warwick(Current)

University of Glasgow

Middlesex University

University of Cambridge

Rajagopal Nagarajan is an author at University of Warwick specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsQuantum ScienceQuantum ComputingQuantum EntanglementQuantum InformationQuantum ProtocolsQuantum Error Correction

Publications per year

1995–2020

18

Publications

18

Communicating quantum processes

Simon J. Gay, Rajagopal Nagarajan · 2005 · 133 citations

Engineering, Communication, Formal Verification +17

Property-based Testing of Quantum Programs in Q#

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan · 2020 · 72 citations

Quantum Science, Program Specifications, Engineering +14

Probabilistic Model--Checking of Quantum Protocols

Simon J. Gay, Rajagopal Nagarajan, Nickolas Papanikolaou · ArXiv.org · 2005 · 50 citations · Full text

Quantum Science, Quantum Cryptography, Quantum Security +14

Types and typechecking for Communicating Quantum Processes

Simon J. Gay, Rajagopal Nagarajan · Mathematical Structures in Computer Science · 2006 · 43 citations

Quantum Science, Quantum Logic, Engineering +13

Formal Verification of Quantum Protocols

Rajagopal Nagarajan · ArXiv.org · 2002 · 23 citations · Full text

Quantum Science, Quantum Cryptography, Quantum Security +15

Rows per page

1–5 of 18