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
1771996
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005
1352005
QMC: A model checker for quantum systems
SJ Gay, R Nagarajan, N Papanikolaou
International Conference on Computer Aided Verification, 543-547, 2008
932008
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
532005
Specification structures and propositions-as-types for concurrency
S Abramsky, S Gay, R Nagarajan
Logics for Concurrency, 5-40, 1996
531996
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
462006
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
International Conference on Tools and Algorithms for the Construction and …, 2013
322013
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
272014
Augmented reality
S Maad
BoD–Books on Demand, 2010
272010
Specification and verification of quantum protocols
S Gay, R Nagarajan, N Papanikolaou
Cambridge University Press, 2010
262010
An automated analysis of the security of quantum key distribution
R Nagarajan, N Papanikolaou, G Bowen, S Gay
arXiv preprint cs/0502048, 2005
262005
Formal verification of quantum protocols
R Nagarajan, S Gay
arXiv preprint quant-ph/0203086, 2002
252002
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
Formalization of quantum protocols using Coq
J Boender, F Kammüller, R Nagarajan
arXiv preprint arXiv:1511.01568, 2015
212015
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
212012
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
212007
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
212005
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