Rajagopal Nagarajan

	2008
21		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
	2007
20		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		Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
18		Ranko Lazic, Rajagopal Nagarajan: Guest Editorial. Formal Asp. Comput. 19(3): 275 (2007)
	2006
17		Ranko Lazic, Rajagopal Nagarajan: Preface. Electr. Notes Theor. Comput. Sci. 145: 1-2 (2006)
16		Simon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)
	2005
15		Simon J. Gay, Rajagopal Nagarajan: Communicating quantum processes. POPL 2005: 145-157
14		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		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
12		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		Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)
	2002
10		Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath: Flow Analysis: Games and Nets. The Essence of Computation 2002: 135-156
	1999
9		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

Coauthor Index

1	Samson Abramsky	[5] [7] [8] [9]
2	Pedro Baltazar	[19]
3	Garry Bowen	[12] [14]
4	Roy L. Crole	[3]
5	Simon J. Gay	[1] [3] [4] [5] [7] [8] [9] [11] [13] [14] [15] [16] [21]
6	Chris Hankin	[2] [6] [10]
7	Ranko Lazic (R. S. Lazic)	[17] [18]
8	Ian Mackie	[2] [6]
9	Paulo Mateus	[19]
10	Nikolaos Papanikolaou (Nick Papanikolaou)	[13] [14] [19] [20] [21]
11	Prahladavaradan Sampath	[10]
12	David Williams	[20]

Colors in the list of coauthors