Alan Jeffrey

发表

Julian Rathke, Alan Jeffrey, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Julian Rathke, Alan Jeffrey, J. Rathke, 2005, ESOP.
Alan Jeffrey, A. Jeffrey, 1971, The Mathematical Gazette.
Alan Jeffrey, 1989 .
Julian Rathke, Alan Jeffrey, J. Rathke, 2005, Log. Methods Comput. Sci..
Alan Jeffrey, 2000, Electron. Notes Theor. Comput. Sci..
Radha Jagadeesan, James Riely, Alan Jeffrey, 2006, ICALP.
Andrew D. Gordon, Alan Jeffrey, A. Gordon, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Julian Rathke, Alan Jeffrey, 2005, FoSSaCS.
Alan Jeffrey, Connor G. Brewster, 2016, ArXiv.
Andrew D. Gordon, Robert Harper, John Harrison, 2011, POPL '11.
Matthew Hennessy, Alan Jeffrey, William Ferreira, 1996, ICFP '96.
Alan Jeffrey, Ralf Schweimeier, A. Jeffrey, 1999, MFPS.
Alan Jeffrey, Christian Haack, C. Haack, 2004, Inf. Comput..
Alan Jeffrey, A. Jeffrey, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2003, ECOOP.
Andrew D. Gordon, Alan Jeffrey, A. Gordon, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Andrew D. Gordon, Alan Jeffrey, 2003, Theor. Comput. Sci..
Alan Jeffrey, Guy Leduc, Charles Pecheur, 1995 .
Alan Jeffrey, A. Jeffrey, 1997, HOOTS.
Craig Disselkoen, Radha Jagadeesan, James Riely, 2019, 2019 IEEE Symposium on Security and Privacy (SP).
Matthew Hennessy, Alan Jeffrey, William Ferreira, 2000, Proof, Language, and Interaction.
Peter F. Patel-Schneider, Alan Jeffrey, 2011, Description Logics.
Alan Jeffrey, A. Jeffrey, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Julian Rathke, Alan Jeffrey, 2005, Theor. Comput. Sci..
Alan Jeffrey, A. Jeffrey, 1993, MFPS.
James Riely, Alan Jeffrey, Radha Jagadeesan, 2020, Proc. ACM Program. Lang..
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, 2006 .
Julian Rathke, Alan Jeffrey, 2004, Theor. Comput. Sci..
James Riely, Alan Jeffrey, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
James Riely, Alan Jeffrey, Corin Pitcher, 2009 .
Tim Owen, Ian Wakeman, Alan Jeffrey, 1998 .
Alan Jeffrey, Alan Jeffrey, A. Jeffrey, 2007 .
Andrew D. Gordon, Alan Jeffrey, 2004 .
Alan Jeffrey, William Ferreira, Mathew Hennessy, 2000 .
Tim Owen, Ian Wakeman, Alan Jeffrey, 2000, 2000 IEEE Third Conference on Open Architectures and Network Programming. Proceedings (Cat. No.00EX401).
Julian Rathke, Alan Jeffrey, J. Rathke, 2011, CSL.
Alan Jeffrey, A. Jeffrey, 1995 .
Radha Jagadeesan, James Riely, Alan Jeffrey, 2006 .
Julian Rathke, Alan Jeffrey, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Thomas H. Austin, Alan Jeffrey, Cormac Flanagan, 2011 .
Matthew Hennessy, Alan Jeffrey, William Ferreira, 1998 .
Peter J. Danielsen, Alan Jeffrey, A. Jeffrey, 2013, 2013 IEEE 20th International Conference on Web Services.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2008, Log. Methods Comput. Sci..
Julian Rathke, Alan Jeffrey, Alan Jeffrey, 2008, Theor. Comput. Sci..
Alan Jeffrey, A. Jeffrey, 2000 .
Alan Jeffrey, Guy Leduc, G. Leduc, 1996 .
Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild, 2008, SIGMOD Conference.
Alan Jeffrey, A. Jeffrey, 1991, CONCUR.
Andrew D. Gordon, Alan Jeffrey, 2001, SAS.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2006, Sci. Comput. Program..
Andrew D. Gordon, Alan Jeffrey, 2003 .
Alan Jeffrey, A. Jeffrey, 2014, CSL-LICS.
Michael Benedikt, Alan Jeffrey, A. Jeffrey, 2007, FSTTCS.
Alan Jeffrey, Carolyn Brown, Carolyn Brown, 1994, LFCS.
Luca Aceto, Alan Jeffrey, L. Aceto, 1995, Theor. Comput. Sci..
Alan Jeffrey, Taghrid Samak, A. Jeffrey, 2009, 2009 IEEE International Symposium on Policies for Distributed Systems and Networks.
Andrew D. Gordon, Alan Jeffrey, 2003 .
Alan Jeffrey, Omar S Navarro Leija, 2019, ArXiv.
Julian Rathke, Alan Jeffrey, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Radha Jagadeesan, James Riely, Alan Jeffrey, 2004, CONCUR.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2009, ESORICS.
Alan Jeffrey, A. Jeffrey, 2010 .
Alan Jeffrey, Christian Haack, C. Haack, 2005, CONCUR.
Tim Owen, Ian Wakeman, Alan Jeffrey, 2001, Comput. Networks.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2015, Mathematical Structures in Computer Science.
Alan Jeffrey, 1991, CAV.
Radha Jagadeesan, James Riely, Alan Jeffrey, 2003 .
Alan Jeffrey, A. Jeffrey, 1990 .
Alan Jeffrey, Takuji Kawahara, A. Jeffrey, 1982 .
Alan Jeffrey, 1989 .
Alan Jeffrey, Jet Wimp, I. S. Gradshteyn, 1997 .
Alan Jeffrey, V. E. Fridman, A. Jeffrey, 1988, Encyclopedia of Continuum Mechanics.
Alan Jeffrey, Euromech Colloquium, D. Fusco, 1992 .
Alan Jeffrey, A. Jeffrey, 1976 .