James Riely
发表
Radha Jagadeesan,
James Riely,
R. Jagadeesan,
2014,
ICALP.
Radha Jagadeesan,
James Riely,
Brijesh Dongol,
2018,
VMCAI.
James Riely,
Andrew Cirillo,
J. Riely,
2009,
Formal Aspects in Security and Trust.
James Riely,
Matthew Hennessy,
1998,
ECOOP Workshops.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2006,
ICALP.
James Riely,
Matthew Hennessy,
2002,
Inf. Comput..
James Riely,
Matthew Hennessy,
M. Hennessy,
2002,
HLCL.
James Riely,
Matthew Hennessy,
1999,
POPL '99.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2010,
ESOP.
James Riely,
John H. Reif,
Lars S. Nyland,
1994,
Specification of Parallel Algorithms.
James Riely,
Matthew Hennessy,
1999,
Secure Internet Programming.
Radha Jagadeesan,
James Riely,
Brijesh Dongol,
2018,
Proc. ACM Program. Lang..
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2007,
LNCS Trans. Aspect Oriented Softw. Dev..
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2003,
ECOOP.
James Riely,
Peter Hui,
2009
.
James Riely,
Matthew Hennessy,
M. Hennessy,
1998
.
James Riely,
Andrew Cirillo,
J. Riely,
2007,
TGC.
James Riely,
Matthew Hennessy,
2004,
Journal of Automated Reasoning.
Radha Jagadeesan,
James Riely,
Andrew Cirillo,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Craig Disselkoen,
Radha Jagadeesan,
James Riely,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Ehab Al-Shaer,
Radha Jagadeesan,
James Riely,
2007,
SACMAT '07.
Radha Jagadeesan,
James Riely,
Gustavo Petri,
2013,
ESOP.
James Riely,
Matthew Hennessy,
1998,
POPL '98.
James Riely,
Matthew Hennessy,
M. Hennessy,
2001,
Theor. Comput. Sci..
James Riely,
Corin Pitcherand,
J. Riely,
2006
.
James Riely,
J. Riely,
1999
.
James Riely,
Jan F. Prins,
S. P. Iyer,
1995
.
Radha Jagadeesan,
James Riely,
R. Jagadeesan,
2015,
ICALP.
James Riely,
Alan Jeffrey,
Radha Jagadeesan,
2020,
Proc. ACM Program. Lang..
James Riely,
Alan Jeffrey,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
James Riely,
Alan Jeffrey,
Corin Pitcher,
2009
.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2006
.
James Riely,
Jan Prins,
2000,
SAS.
James Riely,
Corin Pitcher,
J. Riely,
2006,
FoSSaCS.
James Riely,
Jan F. Prins,
S. P. Iyer,
1995,
Programming Models for Massively Parallel Computers.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2007,
LNCS Trans. Aspect Oriented Softw. Dev..
James Riely,
Matthew Hennessy,
2000,
ICALP.
James Riely,
Matthew Hennessy,
M. Hennessy,
1997,
ICALP.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2008,
Log. Methods Comput. Sci..
Radha Jagadeesan,
James Riely,
R. Jagadeesan,
2018,
ESOP.
Radha Jagadeesan,
James Riely,
Andrew Cirillo,
2008,
ESOP.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2012,
TLDI '12.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2006,
Sci. Comput. Program..
James Riely,
Matthew Hennessy,
M. Hennessy,
2000,
TOPL.
Radha Jagadeesan,
James Riely,
Brijesh Dongol,
2019,
PPoPP.
Radha Jagadeesan,
James Riely,
Gustavo Petri,
2012,
FoSSaCS.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2004,
CONCUR.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2009,
ESORICS.
Rance Cleaveland,
James Riely,
R. Cleaveland,
1994,
CONCUR.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2012,
APLAS.
James Riely,
Peter Hui,
2007,
FOAL.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2015,
Mathematical Structures in Computer Science.
Radha Jagadeesan,
James Riely,
Corin Pitcher,
2013,
ICLA.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2003
.
Julian Rathke,
Radha Jagadeesan,
James Riely,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Radha Jagadeesan,
James Riely,
Gustavo Petri,
2013
.