Rajagopal Nagarajan
发表
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,
Nikolaos Papanikolaou,
2005,
ArXiv.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2004,
POPL '05.
Jan Bouda,
Rajagopal Nagarajan,
Stephan Jank,
2006
.
Rajagopal Nagarajan,
Simon J. Gay,
Timothy A. S. Davidson,
2011,
ICE.
Rajagopal Nagarajan,
Simon Gay University of Warwick,
University of Glasgow,
2002
.
Rajagopal Nagarajan,
Simon J. Gay,
Nick Papanikolaou,
2012,
Int. J. Unconv. Comput..
Rajagopal Nagarajan,
David Williams,
Nikolaos Papanikolaou,
2007,
QPL.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2013,
Computation, Logic, Games, and Quantum Foundations.
Rajagopal Nagarajan,
Ranko Lazic,
2006,
Electron. Notes Theor. Comput. Sci..
Rajagopal Nagarajan,
Simon J. Gay,
Garry Bowen,
2005,
ArXiv.
Roy L. Crole,
Rajagopal Nagarajan,
Simon J. Gay,
1994,
Theory and Formal Methods.
Rajagopal Nagarajan,
Nikolaos Papanikolaou,
R. Nagarajan,
2005
.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
Banff Higher Order Workshop.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2018,
ACM Trans. Comput. Log..
David Windridge,
Rajagopal Nagarajan,
2016,
QI.
Rajagopal Nagarajan,
Simon J. Gay,
Timothy A. S. Davidson,
2011,
QPL.
Rajagopal Nagarajan,
Paulo Mateus,
Nikolaos Papanikolaou,
2007,
QAPL.
Rajagopal Nagarajan,
Florian Kammüller,
Jaap Boender,
2015,
QPL.
Chris Hankin,
Rajagopal Nagarajan,
Ian J. Mackie,
1995,
Theory and Formal Methods.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2013,
TACAS.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2003,
Formal Aspects of Computing.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1999,
Theor. Comput. Sci..
Rajagopal Nagarajan,
Mohammad Reza Mousavi,
Shahin Honarvar,
2020,
ICSE.
Rajagopal Nagarajan,
Paulo Mateus,
Pedro Baltazar,
2013,
FLAIRS.
Rajagopal Nagarajan,
Simon J. Gay,
Nikolaos Papanikolaou,
2007,
CAV.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1997,
TACS.
David Windridge,
Rajagopal Nagarajan,
Alessandra Di Pierro,
2017,
TPNC.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1993,
Theory and Formal Methods.
Giuseppe Primiero,
Rajagopal Nagarajan,
Taolue Chen,
2017,
2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2013,
ArXiv.
Rajagopal Nagarajan,
Samson Abramsky,
Simon J. Gay,
1996,
NATO ASI DPD.
Chris Hankin,
Rajagopal Nagarajan,
Prahladavaradan Sampath,
2002,
The Essence of Computation.
Rajagopal Nagarajan,
Ranko Lazic,
2007,
Formal Aspects of Computing.
Rajagopal Nagarajan,
Garry Bowen,
2005,
IEEE Transactions on Information Theory.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
2022
.
Rajagopal Nagarajan,
Simon J. Gay,
Ebrahim Ardeshir-Larijani,
2014,
TACAS.
Jan Bouda,
Rajagopal Nagarajan,
Stephan Jank,
2006
.
Rajagopal Nagarajan,
Jaap Boender,
Florian Kammueller,
2014
.
Rajagopal Nagarajan,
Nikolaos Papanikolaou,
2010
.
Rajagopal Nagarajan,
Simon J. Gay,
R. Nagarajan,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rajagopal Nagarajan,
Caroline Rogers,
Markus P. Mueller,
2008
.
Rajagopal Nagarajan,
Garry Bowen,
2004,
International Symposium onInformation Theory, 2004. ISIT 2004. Proceedings..
Rajagopal Nagarajan,
1992
.
Rajagopal Nagarajan,
Caroline Rogers,
Markus P. Mueller,
2009
.
Rajagopal Nagarajan,
Vlatko Vedral,
Caroline Rogers,
2008,
0809.2642.