| Interaction categories and the foundations of typed concurrent programming S Abramsky, S Gay, R Nagarajan NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152, 35-114, 1996 | 204* | 1996 |
| Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005 | 193 | 2005 |
| QMC: A model checker for quantum systems: Tool paper SJ Gay, R Nagarajan, N Papanikolaou International Conference on Computer Aided Verification, 543-547, 2008 | 112 | 2008 |
| Property-based testing of quantum programs in Q# S Honarvar, MR Mousavi, R Nagarajan Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | 98 | 2020 |
| Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005 | 66 | 2005 |
| Specification structures and propositions-as-types for concurrency S Abramsky, S Gay, R Nagarajan Logics for Concurrency: Structure versus Automata, 5-40, 2005 | 58 | 2005 |
| Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006 | 56 | 2006 |
| Verification of concurrent quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan International Conference on Tools and Algorithms for the Construction and …, 2014 | 40 | 2014 |
| Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan International Conference on Tools and Algorithms for the Construction and …, 2013 | 40 | 2013 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 39 | 2020 |
| Formalization of quantum protocols using Coq J Boender, F Kammüller, R Nagarajan arXiv preprint arXiv:1511.01568, 2015 | 34 | 2015 |
| An automated analysis of the security of quantum key distribution R Nagarajan, N Papanikolaou, G Bowen, S Gay arXiv preprint cs/0502048, 2005 | 32 | 2005 |
| Model Checking for Communicating Quantum Processes. TAS Davidson, SJ Gay, H Mlnarik, R Nagarajan, N Papanikolaou Int. J. Unconv. Comput. 8 (1), 73-98, 2012 | 29 | 2012 |
| Specification and verification of quantum protocols SJ Gay, R Nagarajan, N Papanikolaou Semantic Techniques in Quantum Computation 1, 414-472, 2010 | 29 | 2010 |
| On feedback and the classical capacity of a noisy quantum channel G Bowen, R Nagarajan IEEE Transactions on Information Theory 51 (1), 320-324, 2005 | 29 | 2005 |
| Formal verification of quantum protocols R Nagarajan, S Gay arXiv preprint quant-ph/0203086, 2002 | 29 | 2002 |
| Simulating and compiling code for the sequential quantum random access machine R Nagarajan, N Papanikolaou, D Williams Electronic Notes in Theoretical Computer Science 170, 101-124, 2007 | 25 | 2007 |
| A typed calculus of synchronous processes S Gay, R Nagarajan Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995 | 23 | 1995 |
| Analysis of a quantum error correcting code using quantum process calculus TAS Davidson, SJ Gay, R Nagarajan, IV Puthoor arXiv preprint arXiv:1210.0614, 2012 | 19 | 2012 |
| A proof-theoretic trust and reputation model for VANET G Primiero, F Raimondi, T Chen, R Nagarajan 2017 IEEE European symposium on security and privacy workshops (EuroS&PW …, 2017 | 18 | 2017 |
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
