A. Jeffrey
发表
Thomas H. Austin,
Alan Jeffrey,
Cormac Flanagan,
2011
.
A. Jeffrey,
2013
.
R. Jagadeesan,
J. Riely,
Corin Pitcher,
2010
.
Alan Jeffrey,
A. Jeffrey,
2013,
ICFP.
Alan Jeffrey,
A. Jeffrey,
2013,
PLPV.
Alan Jeffrey,
A. Jeffrey,
1992,
FTRTFT.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2009,
ESORICS.
Peter J. Danielsen,
Alan Jeffrey,
A. Jeffrey,
2013,
2013 IEEE 20th International Conference on Web Services.
Alan Jeffrey,
Taghrid Samak,
A. Jeffrey,
2009,
2009 IEEE International Symposium on Policies for Distributed Systems and Networks.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2006,
Sci. Comput. Program..
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2004,
CONCUR.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2003,
ECOOP.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2003
.
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2005,
ESOP.
Alan Jeffrey,
A. Jeffrey,
1991,
CONCUR.
Alan Jeffrey,
A. Jeffrey,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Alan Jeffrey,
A. Jeffrey,
1993,
MFPS.
Andrew D. Gordon,
Alan Jeffrey,
A. Gordon,
2001,
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Alan Jeffrey,
Carolyn Brown,
Carolyn Brown,
1994,
LFCS.
Alan Jeffrey,
A. Jeffrey,
2012,
PLPV '12.
Andrew D. Gordon,
Alan Jeffrey,
A. Gordon,
2007
.
J. Riely,
Mark Batty,
A. Jeffrey,
2022,
Proc. ACM Program. Lang..
James Riely,
Alan Jeffrey,
Radha Jagadeesan,
2020,
Proc. ACM Program. Lang..
Alan Jeffrey,
A. Jeffrey,
2000
.
Alan Jeffrey,
A. Jeffrey,
2014,
CSL-LICS.
Matthew Hennessy,
Alan Jeffrey,
William Ferreira,
1996,
ICFP '96.
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2011,
CSL.
Alan Jeffrey,
Alan Jeffrey,
A. Jeffrey,
1999,
Theor. Comput. Sci..
Alan Jeffrey,
A. Jeffrey,
1999
.
Alan Jeffrey,
Guy Leduc,
G. Leduc,
1996
.
Luca Aceto,
Alan Jeffrey,
L. Aceto,
1995,
Theor. Comput. Sci..
Alan Jeffrey,
A. Jeffrey,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Alan Jeffrey,
Christian Haack,
C. Haack,
2004,
Inf. Comput..
Craig Disselkoen,
Radha Jagadeesan,
James Riely,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Alan Jeffrey,
Ralf Schweimeier,
A. Jeffrey,
1999,
MFPS.
Andrew D. Gordon,
Alan Jeffrey,
A. Gordon,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Michael Benedikt,
Alan Jeffrey,
A. Jeffrey,
2007,
FSTTCS.
James Riely,
Alan Jeffrey,
Corin Pitcher,
2009
.
Alan Jeffrey,
Christian Haack,
C. Haack,
2005,
CONCUR.
Alan Jeffrey,
A. Jeffrey,
1997,
HOOTS.
Radha Jagadeesan,
James Riely,
Alan Jeffrey,
2015,
Mathematical Structures in Computer Science.
Alan Jeffrey,
A. Jeffrey,
2013,
PADL.
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2005,
Log. Methods Comput. Sci..
Alan Jeffrey,
A. Jeffrey,
1991,
CAV.