NEWS
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries!
Find a Professional
Print Your Certificate
New! Young University / Institution Rankings 2025
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
Highly Cited Researchers 2025
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Reports
person
Find a Professional
Rajagopal Nagarajan
Middlesex University - London / United Kingdom
Natural Sciences / Physics
AD Scientific Index ID: 1359515
Registration, Add Profile,
Premium Membership
Print Your Certificate
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Rajagopal Nagarajan's MOST POPULAR ARTICLES
1-)
Interaction categories and the foundations of typed concurrent programmingS Abramsky, S Gay, R NagarajanNATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152, 35-114, 19961891996
2-)
Communicating quantum processesSJ Gay, R NagarajanProceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 20051722005
3-)
QMC: A Model Checker for Quantum Systems: Tool PaperSJ Gay, R Nagarajan, N PapanikolaouComputer Aided Verification: 20th International Conference, CAV 2008 …, 20081022008
4-)
Property-based testing of quantum programs in Q#S Honarvar, MR Mousavi, R NagarajanProceedings of the IEEE/ACM 42nd International Conference on Software …, 2020762020
5-)
Probabilistic Model--Checking of Quantum ProtocolsS Gay, R Nagarajan, N PapanikolaouarXiv preprint quant-ph/0504007, 2005602005
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept