MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Rajagopal Nagarajan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Simulating and compiling code for the Sequential quantum random access machine
by Rajagopal Nagarajan — 2005 — Proc. 3rd Int. Workshop on Quantum Programming Languages
…Simulating and Compiling Code for the Sequential Quantum Random Access Machine Rajagopal Nagarajan…
Cited by 2 (0 self) – Add To MetaCart

Typed Concurrent Programs: Specification & Verification
by Rajagopal Nagarajan — 1998
… Typed Concurrent Programs: Specification & Verification RAJAGOPAL NAGARAJAN A thesis submitted…
Cited by 2 (2 self) – Add To MetaCart

Classical Security Protocols for QKD Systems Abstract
by Nikolaos Papanikolaou, Rajagopal Nagarajan
…Classical Security Protocols for QKD Systems Abstract Nikolaos Papanikolaou Rajagopal Nagarajan…
Add To MetaCart

An internal language for interaction categories
by Simon Gay, Rajagopal Nagarajan — 1995 — In Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial
…-mail: rlc3@(email omitted); SIMON GAY RAJAGOPAL NAGARAJAN Department of Computing, Imperial College 180 Queen…
Cited by 3 (0 self) – Add To MetaCart

A Typed Calculus of Synchronous Processes
by Simon Gay, Rajagopal Nagarajan — 1995 — In Proceedings of IEEE Symposium on Logic in Computer Science
… Calculus of Synchronous Processes Simon Gay Rajagopal Nagarajan !sjg3@(email omitted);? !rn4@doc…
Cited by 56 (4 self) – Add To MetaCart

An automated analysis of the security of quantum key distribution. CoRR Preprint cs.CR/0502048, available at www.arxiv.org
by Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon Gay
… Nagarajan 1,3 Department of Computer Science University of Warwick United Kingdom Nikolaos Papanikolaou 1…
Cited by 2 (1 self) – Add To MetaCart

Possibilistic Information Flow is safe for Probabilistic Non-Interference
by David Clark, Chris Hankin, Sebastian Hunt, Rajagopal Nagarajan — 2000 — In Proc. WITS, 2000. www.doc.ic.ac.uk/ ˜clh/Papers/witscnh.ps.gz
…) David Clark 1 , Chris Hankin 1 , Sebastian Hunt 2 , and Rajagopal Nagarajan 1 1 Introduction…
Cited by 4 (0 self) – Add To MetaCart

Probabilistic model–checking of quantum protocols. Quantum Physics Repository Preprint quant-ph/0504007, available at www.arxiv.org
by Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou — 2005 — DCM 2006: Proceedings of the 2nd International Workshop on Developments in Computational Models
… of Computing Science University of Glasgow Rajagopal Nagarajan 2,4 Nikolaos Papanikolaou 3,4 Department…
Cited by 3 (2 self) – Add To MetaCart

A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems
by Samson Abramsky, Simon Gay, Rajagopal Nagarajan — 1997 — In Proc. TACS
… University of Edinburgh Royal Holloway, University of London Rajagopal Nagarajan University of California…
Cited by 8 (1 self) – Add To MetaCart

Specification Structures and Propositions-as-Types for Concurrency
by Samson Abramsky, Simon Gay, Rajagopal Nagarajan — 1995 — Logics for Concurrency: Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science
… Rajagopal Nagarajan Department of Computing, Imperial College of Science, Technology and Medicine, London…
Cited by 19 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB