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: Nagarajan:Rajagopal
Contributed to:
20142013
2008
2007
2005
1995Wrote 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.