BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
3 × USA
Collaborated with:
S.J.Gay E.Ardeshir-Larijani N.Papanikolaou P.Baltazar P.Mateus
Talks about:
quantum (4) protocol (2) process (2) equival (2) check (2) probabilist (1) synchron (1) communic (1) calculus (1) concurr (1)

Person: Rajagopal Nagarajan

DBLP DBLP: Nagarajan:Rajagopal

Contributed to:

TACAS 20142014
TACAS 20132013
CAV 20082008
QAPL 20072007
POPL 20052005
LICS 19951995

Wrote 6 papers:

TACAS-2014-Ardeshir-LarijaniGN #concurrent #equivalence #protocol #quantum #verification
Verification of Concurrent Quantum Protocols by Equivalence Checking (EAL, SJG, RN), pp. 500–514.
TACAS-2013-Ardeshir-LarijaniGN #equivalence #protocol #quantum
Equivalence Checking of Quantum Protocols (EAL, SJG, RN), pp. 478–492.
CAV-2008-GayNP #model checking #named #quantum
QMC: A Model Checker for Quantum Systems (SJG, RN, NP), pp. 543–547.
QAPL-2007-BaltazarMNP #logic #probability
Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.
POPL-2005-GayN #communication #process #quantum
Communicating quantum processes (SJG, RN), pp. 145–157.
LICS-1995-GayN #calculus #process
A Typed Calculus of Synchronous Processes (SJG, RN), pp. 210–220.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.