Follow
Rajagopal Nagarajan
Title
Cited by
Cited by
Year
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
1911996
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005
1762005
QMC: A Model Checker for Quantum Systems: Tool Paper
SJ Gay, R Nagarajan, N Papanikolaou
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1032008
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
652020
Probabilistic Model--Checking of Quantum Protocols
S Gay, R Nagarajan, N Papanikolaou
arXiv preprint quant-ph/0504007, 2005
602005
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
522006
Specification structures and propositions-as-types for concurrency
S Abramsky, S Gay, R Nagarajan
Logics for Concurrency: Structure versus Automata, 5-40, 1996
521996
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
382013
Verification of concurrent quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
372014
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
342015
An automated analysis of the security of quantum key distribution
R Nagarajan, N Papanikolaou, G Bowen, S Gay
arXiv preprint cs/0502048, 2005
312005
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
282020
Formal verification of quantum protocols
R Nagarajan, S Gay
arXiv preprint quant-ph/0203086, 2002
282002
Specification and verification of quantum protocols
SJ Gay, R Nagarajan, N Papanikolaou
Semantic Techniques in Quantum Computation 1, 414-472, 2010
272010
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
262012
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
252005
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
242007
A typed calculus of synchronous processes
S Gay, R Nagarajan
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995
221995
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
182017
A type-theoretic approach to deadlock-freedom of asynchronous systems
S Abramsky, S Gay, R Nagarajan
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
181997
The system can't perform the operation now. Try again later.
Articles 1–20