Edit Profile (opens in new tab) Nagarajan, Rajagopal Compute Distance To: Compute Author ID: nagarajan.rajagopal Published as: Nagarajan, Rajagopal; Nagarajan, R. External Links: MGP Documents Indexed: 28 Publications since 1995 3 Contributions as Editor Co-Authors: 22 Co-Authors with 23 Joint Publications 371 Co-Co-Authors all top 5 Co-Authors 1 single-authored 12 Gay, Simon J. 3 Abramsky, Samson 3 Papanikolaou, Nikolaos I. 2 Ardeshir-Larijani, Ebrahim 2 Chellappa, B. 2 Hankin, Chris L. 2 Rogers, Caroline 1 Baltazar, Pedro 1 Boender, Jaap P. 1 Bowen, Garry 1 Crole, Roy L. 1 Davidson, Timothy A. S. 1 Di Pierro, Alessandra 1 Kammüller, Florian 1 Krishnapriya, P. 1 Lazić, Ranko 1 Mackie, Ian 1 Malacaria, Pasquale 1 Mateus, Paulo C. 1 Mengoni, Riccardo 1 Puthoor, Ittoop Vergheese 1 Sampath, Prahladavaradan 1 Solairaju, A. 1 Vedral, Vlatko 1 Windridge, David all top 5 Serials 3 International Journal of Quantum Information 2 Applied Mathematical Sciences (Ruse) 1 IEEE Transactions on Information Theory 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 The Journal of Fuzzy Mathematics 1 Nonlinear Functional Analysis and Applications 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science 1 International Mathematical Forum 1 Advances in Fuzzy Sets and Systems 1 International Journal of Mathematical Analysis (Ruse) 1 Antarctica Journal of Mathematics all top 5 Fields 21 Computer science (68-XX) 13 Quantum theory (81-XX) 7 Mathematical logic and foundations (03-XX) 5 Group theory and generalizations (20-XX) 4 Information and communication theory, circuits (94-XX) 3 General and overarching topics; collections (00-XX) 3 Associative rings and algebras (16-XX) 2 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 82 times in 57 Documents Cited by ▼ Year ▼ Communicating quantum processes. Zbl 1369.68207Gay, Simon J.; Nagarajan, Rajagopal 21 2005 Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal 16 1996 Types and typechecking for communicating quantum processes. Zbl 1122.68059Gay, Simon J.; Nagarajan, Rajagopal 11 2006 Specification and verification of quantum protocols. Zbl 1196.68135Gay, Simon J.; Nagarajan, Rajagopal; Papanikolaou, Nikolaos 11 2010 Equivalence checking of quantum protocols. Zbl 1381.68144Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 5 2013 On feedback and the classical capacity of a noisy quantum channel. Zbl 1283.94034Bowen, Garry; Nagarajan, Rajagopal 4 2005 A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal 3 1997 Second quantized Kolmogorov complexity. Zbl 1153.81471Rogers, Caroline; Vedral, Vlatko; Nagarajan, Rajagopal 3 2008 A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061Abramsky, S.; Gay, S. J.; Nagarajan, R. 2 1999 Simulating and compiling code for the sequential quantum random access machine. Zbl 1277.68078Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David 2 2007 Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 2 2018 An internal language for interaction categories. Zbl 0842.03047Crole, Roy; Gay, Simon; Nagarajan, Rajagopal 1 1995 Optimal control of HIV-1 infection model with logistic growth using discrete delay. Zbl 1375.49003Nagarajan, R.; Krishnan, K.; Krishnapriya, P. 1 2017 Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 2 2018 Optimal control of HIV-1 infection model with logistic growth using discrete delay. Zbl 1375.49003Nagarajan, R.; Krishnan, K.; Krishnapriya, P. 1 2017 Equivalence checking of quantum protocols. Zbl 1381.68144Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 5 2013 Specification and verification of quantum protocols. Zbl 1196.68135Gay, Simon J.; Nagarajan, Rajagopal; Papanikolaou, Nikolaos 11 2010 Second quantized Kolmogorov complexity. Zbl 1153.81471Rogers, Caroline; Vedral, Vlatko; Nagarajan, Rajagopal 3 2008 Simulating and compiling code for the sequential quantum random access machine. Zbl 1277.68078Nagarajan, Rajagopal; Papanikolaou, Nikolaos; Williams, David 2 2007 Types and typechecking for communicating quantum processes. Zbl 1122.68059Gay, Simon J.; Nagarajan, Rajagopal 11 2006 Communicating quantum processes. Zbl 1369.68207Gay, Simon J.; Nagarajan, Rajagopal 21 2005 On feedback and the classical capacity of a noisy quantum channel. Zbl 1283.94034Bowen, Garry; Nagarajan, Rajagopal 4 2005 A specification structure for deadlock-freedom of synchronous processes. Zbl 0932.68061Abramsky, S.; Gay, S. J.; Nagarajan, R. 2 1999 A type-theoretic approach to deadlock-freedom of asynchronous systems. Zbl 0882.18002Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal 3 1997 Interaction categories and the foundations of typed concurrent programming. Zbl 0934.18007Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal 16 1996 An internal language for interaction categories. Zbl 0842.03047Crole, Roy; Gay, Simon; Nagarajan, Rajagopal 1 1995 all cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 6 International Journal of Theoretical Physics 4 Acta Informatica 4 Theoretical Computer Science 2 ACM Transactions on Computational Logic 2 International Journal of Quantum Information 1 Journal of Mathematical Physics 1 Problems of Information Transmission 1 Bulletin of the Polish Academy of Sciences. Technical Sciences 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 Studia Logica 1 Journal of Symbolic Computation 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Physical Review Letters 1 Natural Computing 1 Annalen der Physik 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 48 Computer science (68-XX) 36 Quantum theory (81-XX) 7 Information and communication theory, circuits (94-XX) 5 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) 1 Nonassociative rings and algebras (17-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year