Rajagopal Nagarajan

	2012
23		Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou: Model Checking for Communicating Quantum Processes. IJUC 8(1): 73-98 (2012)
	2011
22		Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan: Formal Analysis of Quantum Systems using Process Calculus ICE 2011: 104-110
	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	Timothy A. S. Davidson	[22] [23]
6	Simon J. Gay	[1] [3] [4] [5] [7] [8] [9] [11] [13] [14] [15] [16] [21] [22] [23]
7	Chris Hankin	[2] [6] [10]
8	Ranko Lazic (R. S. Lazic)	[17] [18]
9	Ian Mackie	[2] [6]
10	Paulo Mateus	[19]
11	Hynek Mlnarik	[23]
12	Nikolaos Papanikolaou (Nick Papanikolaou)	[13] [14] [19] [20] [21] [23]
13	Prahladavaradan Sampath	[10]
14	David Williams	[20]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page