R. Nagarajan
发表
Rajagopal Nagarajan,
Paulo Mateus,
Pedro Baltazar,
2013,
FLAIRS.
R. Nagarajan,
Caroline Rogers,
2011
.
Rajagopal Nagarajan,
Vlatko Vedral,
Caroline Rogers,
2008,
0809.2642.
Rajagopal Nagarajan,
Caroline Rogers,
Markus P. Mueller,
2009
.
R. Nagarajan,
2006
.
R. Nagarajan,
G. Bowen,
2003,
IEEE Transactions on Information Theory.
Chris Hankin,
Rajagopal Nagarajan,
Ian J. Mackie,
1995,
Theory and Formal Methods.
R. Nagarajan,
U. Glasgow,
Simon Gay University of Warwick,
2002,
quant-ph/0203086.
R. Nagarajan,
Caroline Rogers,
2005,
quant-ph/0508170.
Rajagopal Nagarajan,
Paulo Mateus,
Nikolaos Papanikolaou,
2007,
QAPL.
Rajagopal Nagarajan,
Simon J. Gay,
Nikolaos Papanikolaou,
2007,
CAV.
David Windridge,
Rajagopal Nagarajan,
Alessandra Di Pierro,
2017,
TPNC.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2014,
TACAS.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2018,
ACM Trans. Comput. Log..
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
NATO ASI DPD.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1993,
Theory and Formal Methods.
Rajagopal Nagarajan,
Simon J. Gay,
Nick Papanikolaou,
2012,
Int. J. Unconv. Comput..
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2022
.
Rajagopal Nagarajan,
Nikolaos Papanikolaou,
R. Nagarajan,
2005
.
Rajagopal Nagarajan,
Mohammad Reza Mousavi,
Shahin Honarvar,
2020,
ICSE.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2004,
POPL '05.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1999,
Theor. Comput. Sci..
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1997,
TACS.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
Banff Higher Order Workshop.
Rajagopal Nagarajan,
Florian Kammüller,
Jaap Boender,
2015,
QPL.
Rajagopal Nagarajan,
David Williams,
Nikolaos Papanikolaou,
2007,
QPL.
Rajagopal Nagarajan,
Simon J. Gay,
Nikolaos Papanikolaou,
2005,
ArXiv.
Robert Glück,
Ivan Lanese,
Jarkko Kari,
2020,
Selected Results of the COST Action IC1405.
Rajagopal Nagarajan,
Richard Bornat,
Jaap Boender,
2020,
TACAS.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2013,
TACAS.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2003,
Formal Aspects of Computing.
Soha Maad,
Meurig Beynon,
Samir Garbaya,
2010
.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2013,
Computation, Logic, Games, and Quantum Foundations.
Nikolaos Papanikolaou,
R. Nagarajan,
S. Gay,
2006
.