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
1751996
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
1282005
QMC: A model checker for quantum systems
SJ Gay, R Nagarajan, N Papanikolaou
International Conference on Computer Aided Verification, 543-547, 2008
852008
Interaction categories
S Abramsky
Theory and Formal Methods 1993, 57-69, 1993
781993
Probabilistic Model--Checking of Quantum Protocols
S Gay, R Nagarajan, N Papanikolaou
arXiv preprint quant-ph/0504007, 2005
472005
Specification structures and propositions-as-types for concurrency
S Abramsky, S Gay, R Nagarajan
Logics for Concurrency, 5-40, 1996
471996
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
452006
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
International Conference on Tools and Algorithms for the Construction and …, 2013
302013
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
252014
Specification and verification of quantum protocols
S Gay, R Nagarajan, N Papanikolaou
Cambridge University Press, 2010
242010
Augmented reality
S Maad
BoD–Books on Demand, 2010
242010
An automated analysis of the security of quantum key distribution
R Nagarajan, N Papanikolaou, G Bowen, S Gay
arXiv preprint cs/0502048, 2005
242005
Formal verification of quantum protocols
R Nagarajan, S Gay
arXiv preprint quant-ph/0203086, 2002
242002
A typed calculus of synchronous processes
S Gay, R Nagarajan
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995
231995
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
202005
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
192007
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
182012
A type-theoretic approach to deadlock-freedom of asynchronous systems
S Abramsky, S Gay, R Nagarajan
International Symposium on Theoretical Aspects of Computer Software, 295-320, 1997
171997
Incremental Development of Hardware Packet Filters
W Luk, S Yusuf, R Nagarajan
Proc. International Conference on Engineering of Reconfigurable Systems and …, 2001
162001
Games for recursive types, BCS Distinguished Dissertation
G McCusker
Cambridge University Press, 1998
161998
The system can't perform the operation now. Try again later.
Articles 1–20