×

Nagarajan, Rajagopal

Compute Distance To:
Author ID: nagarajan.rajagopal Recent zbMATH articles by "Nagarajan, Rajagopal"
Published as: Nagarajan, Rajagopal; Nagarajan, R.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 82 times in 57 Documents Cited by Year
Communicating quantum processes. Zbl 1369.68207
Gay, Simon J.; Nagarajan, Rajagopal
21
2005
Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
16
1996
Types and typechecking for communicating quantum processes. Zbl 1122.68059
Gay, Simon J.; Nagarajan, Rajagopal
11
2006
Specification and verification of quantum protocols. Zbl 1196.68135
Gay, Simon J.; Nagarajan, Rajagopal; Papanikolaou, Nikolaos
11
2010
Equivalence checking of quantum protocols. Zbl 1381.68144
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
5
2013
On feedback and the classical capacity of a noisy quantum channel. Zbl 1283.94034
Bowen, Garry; Nagarajan, Rajagopal
4
2005
A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
3
1997
Second quantized Kolmogorov complexity. Zbl 1153.81471
Rogers, Caroline; Vedral, Vlatko; Nagarajan, Rajagopal
3
2008
A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061
Abramsky, S.; Gay, S. J.; Nagarajan, R.
2
1999
Simulating and compiling code for the sequential quantum random access machine. Zbl 1277.68078
Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David
2
2007
Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
2
2018
An internal language for interaction categories. Zbl 0842.03047
Crole, Roy; Gay, Simon; Nagarajan, Rajagopal
1
1995
Optimal control of HIV-1 infection model with logistic growth using discrete delay. Zbl 1375.49003
Nagarajan, R.; Krishnan, K.; Krishnapriya, P.
1
2017
Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
2
2018
Optimal control of HIV-1 infection model with logistic growth using discrete delay. Zbl 1375.49003
Nagarajan, R.; Krishnan, K.; Krishnapriya, P.
1
2017
Equivalence checking of quantum protocols. Zbl 1381.68144
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
5
2013
Specification and verification of quantum protocols. Zbl 1196.68135
Gay, Simon J.; Nagarajan, Rajagopal; Papanikolaou, Nikolaos
11
2010
Second quantized Kolmogorov complexity. Zbl 1153.81471
Rogers, Caroline; Vedral, Vlatko; Nagarajan, Rajagopal
3
2008
Simulating and compiling code for the sequential quantum random access machine. Zbl 1277.68078
Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David
2
2007
Types and typechecking for communicating quantum processes. Zbl 1122.68059
Gay, Simon J.; Nagarajan, Rajagopal
11
2006
Communicating quantum processes. Zbl 1369.68207
Gay, Simon J.; Nagarajan, Rajagopal
21
2005
On feedback and the classical capacity of a noisy quantum channel. Zbl 1283.94034
Bowen, Garry; Nagarajan, Rajagopal
4
2005
A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061
Abramsky, S.; Gay, S. J.; Nagarajan, R.
2
1999
A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
3
1997
Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007
Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal
16
1996
An internal language for interaction categories. Zbl 0842.03047
Crole, Roy; Gay, Simon; Nagarajan, Rajagopal
1
1995
all top 5

Cited by 96 Authors

6 Feng, Yuan
6 Ying, Mingsheng
5 Nagarajan, Rajagopal
4 D’Hondt, Ellie
3 Abramsky, Samson
3 Deng, Yuxin
3 Fossati, Luca
3 Gay, Simon J.
2 Dai, Guiping
2 Danos, Vincent
2 Li, Yangjia
2 Varacca, Daniele
2 Yu, Nengkun
1 Adámek, Jiří
1 Adão, Pedro
1 Aguirre, Alejandro
1 Anticoli, Linda
1 Atkey, Robert
1 Bäuml, Stefan
1 Bennett, Charles Henry
1 Boender, Jaap P.
1 Cai, Yu
1 Campbell-Borges, Yuri Cassio
1 Carbone, Marco
1 Cockett, J. Robin B.
1 da Rocha Costa, Antônio Carlos
1 Dardha, Ornela
1 Devetak, Igor
1 Ding, Dawei
1 Dixon, Lucas
1 Du, Wenjie
1 Duan, Runyao
1 Duncan, Ross
1 Fu, Yuxi
1 Giachino, Elena
1 Gibbons, Jeremy
1 Hahn, Ernst Moritz
1 Hao, Yujie
1 Honda, Kentaro
1 Huang, Chengchao
1 Ji, Zhengfeng
1 Kakutani, Yoshihiko
1 Kammüller, Florian
1 Kashefi, Elham
1 Kato, Go
1 Katsumata, Shin-ya
1 Kawano, Yasuhito
1 Kubota, Takahiro
1 Laneve, Cosimo
1 Le, Huy Nguyen
1 Lee, Edward Ashford
1 Lindley, Sam
1 Liu, Junyi
1 Mateus, Paulo C.
1 Milius, Stefan
1 Miszczak, Jaroslaw Adam
1 Montesi, Fabrizio
1 Morris, J. Garrett
1 Moss, Lawrence S.
1 Panangaden, Prakash
1 Papanikolaou, Nikolaos I.
1 Perdrix, Simon
1 Pérez, Jorge A.
1 Piazza, Carla
1 Piqueira, José Roberto Castilho
1 Piróg, Maciej
1 Puthoor, Ittoop Vergheese
1 Qin, Xudong
1 Rasga, João
1 Ren, Xingtian
1 Rogers, Caroline
1 Sabry, Amr
1 Sadrzadeh, Mehrnoosh
1 Sakurada, Hideki
1 Scarani, Valerio
1 Schürmann, Carsten
1 Schweimeier, Ralf
1 Sernadas, Amilcar C.
1 Sernadas, Cristina S.
1 Shor, Peter Williston
1 Smolin, John A.
1 Spooner, David A.
1 Taglialegne, Leonardo
1 Turrini, Andrea
1 Vandriessche, Yves
1 Vizzotto, Juliana Kaizer
1 Wang, Qisheng
1 Wilde, Mark M.
1 Winter, Andreas
1 Worytkiewicz, Krzysztof
1 Xu, Ming
1 Yang, Fan
1 Yang, Guowu
1 Ying, Shenggang
1 Yoshida, Nobuko
1 Zuliani, Paolo

Citations by Year