| 2008 |
|---|
| 21 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
QMC: A Model Checker for Quantum Systems.
CAV 2008: 543-547 |
| 2007 |
|---|
| 20 | EE | Rajagopal Nagarajan,
Nikolaos Papanikolaou,
David Williams:
Simulating and Compiling Code for the Sequential Quantum Random Access Machine.
Electr. Notes Theor. Comput. Sci. 170: 101-124 (2007) |
| 19 | EE | Pedro Baltazar,
Paulo Mateus,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
Exogenous Probabilistic Computation Tree Logic.
Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007) |
| 18 | EE | Ranko Lazic,
Rajagopal Nagarajan:
Guest Editorial.
Formal Asp. Comput. 19(3): 275 (2007) |
| 2006 |
|---|
| 17 | EE | Ranko Lazic,
Rajagopal Nagarajan:
Preface.
Electr. Notes Theor. Comput. Sci. 145: 1-2 (2006) |
| 16 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Types and typechecking for Communicating Quantum Processes.
Mathematical Structures in Computer Science 16(3): 375-406 (2006) |
| 2005 |
|---|
| 15 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Communicating quantum processes.
POPL 2005: 145-157 |
| 14 | EE | Rajagopal Nagarajan,
Nikolaos Papanikolaou,
Garry Bowen,
Simon J. Gay:
An Automated Analysis of the Security of Quantum Key Distribution
CoRR abs/cs/0502048: (2005) |
| 13 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
Probabilistic Model-Checking of Quantum Protocols
CoRR abs/quant-ph/0504007: (2005) |
| 12 | EE | Garry Bowen,
Rajagopal Nagarajan:
On feedback and the classical capacity of a noisy quantum channel.
IEEE Transactions on Information Theory 51(1): 320-324 (2005) |
| 2003 |
|---|
| 11 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Intensional and Extensional Semantics of Dataflow Programs.
Formal Asp. Comput. 15(4): 299-318 (2003) |
| 2002 |
|---|
| 10 | EE | Chris Hankin,
Rajagopal Nagarajan,
Prahladavaradan Sampath:
Flow Analysis: Games and Nets.
The Essence of Computation 2002: 135-156 |
| 1999 |
|---|
| 9 | EE | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
A Specification Structure for Deadlock-Freedom of Synchronous Processes.
Theor. Comput. Sci. 222(1-2): 1-53 (1999) |
| 1997 |
|---|
| 8 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.
TACS 1997: 295-320 |
| 1996 |
|---|
| 7 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
Interaction categories and the foundations of typed concurrent programming.
NATO ASI DPD 1996: 35-113 |
| 1995 |
|---|
| 6 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994
Imperial College Press 1995 |
| 5 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
Specification Structures and Propositions-as-Types for Concurrency.
Banff Higher Order Workshop 1995: 5-40 |
| 4 | | Simon J. Gay,
Rajagopal Nagarajan:
A Typed Calculus of Synchronous Processes
LICS 1995: 210-220 |
| 1994 |
|---|
| 3 | | Roy L. Crole,
Simon J. Gay,
Rajagopal Nagarajan:
An Internal Language for Interaction Categories.
Theory and Formal Methods 1994: 85-104 |
| 2 | | Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan:
Preface.
Theory and Formal Methods 1994 |
| 1993 |
|---|
| 1 | | Simon J. Gay,
Rajagopal Nagarajan:
Modelling SIGNAL in Interaction Categories.
Theory and Formal Methods 1993: 148-158 |
