Julian Rathke
发表
Julian Rathke,
Vladimiro Sassone,
Adrian Francalanza,
2011,
Log. Methods Comput. Sci..
Julian Rathke,
Alan Jeffrey,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Julian Rathke,
Matthew Hennessy,
Huimin Lin,
2001,
Sci. Comput. Program..
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2005,
ESOP.
Julian Rathke,
Neville Grech,
Bernd Fischer,
2010,
GPCE '10.
Julian Rathke,
Matthew Hennessy,
2004,
Math. Struct. Comput. Sci..
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2005,
Log. Methods Comput. Sci..
Julian Rathke,
Pawel Sobocinski,
Owen Stephens,
2014,
RP.
Julian Rathke,
2005,
Electron. Notes Theor. Comput. Sci..
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004,
FoSSaCS.
Tim Owen,
Ian Wakeman,
Julian Rathke,
2002,
Proceedings 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications.
Julian Rathke,
Matthew Hennessy,
1995,
CONCUR.
Julian Rathke,
Alan Jeffrey,
2005,
FoSSaCS.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2005,
Acta Informatica.
Julian Rathke,
Pawel Sobocinski,
P. Sobocinski,
2008,
IFIP TCS.
Julian Rathke,
Neville Grech,
Bernd Fischer,
2018,
J. Log. Algebraic Methods Program..
Julian Rathke,
Matthew Hennessy,
Massimo Merro,
2004,
Theor. Comput. Sci..
Julian Rathke,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Julian Rathke,
Matthew Hennessy,
M. Hennessy,
1995,
Theor. Comput. Sci..
Tim Owen,
Ian Wakeman,
Julian Rathke,
2002
.
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005,
FORTE.
Julian Rathke,
Austin Anderson,
2009,
HotSWUp '09.
Julian Rathke,
Matthew Hennessy,
Massimo Merro,
2003,
Theor. Comput. Sci..
Julian Rathke,
1998,
FoSSaCS.
Julian Rathke,
Pawel Sobocinski,
2009,
Electron. Notes Theor. Comput. Sci..
Julian Rathke,
Alan Jeffrey,
2005,
Theor. Comput. Sci..
Julian Rathke,
Matthew Hennessy,
1997,
TACS.
Julian Rathke,
1997,
LICS 1997.
Julian Rathke,
Alan Jeffrey,
2004,
Theor. Comput. Sci..
Julian Rathke,
Matthew Hennessy,
1997
.
Julian Rathke,
Neville Grech,
Bernd Fischer,
2013,
ICTAC.
Julian Rathke,
Matthew Hennessy,
1996
.
Julian Rathke,
Alan Jeffrey,
J. Rathke,
2011,
CSL.
Julian Rathke,
Alan Jeffrey,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004
.
Tim Owen,
Ian Wakeman,
Julian Rathke,
2003,
IWAN.
Julian Rathke,
Alan Jeffrey,
Alan Jeffrey,
2008,
Theor. Comput. Sci..
Julian Rathke,
Alan Jeffrey,
2003,
MFPS.
Julian Rathke,
Neville Grech,
Bernd Fischer,
2010
.
Julian Rathke,
Matthew Hennessy,
2002,
Electron. Notes Theor. Comput. Sci..
Julian Rathke,
Pawel Sobocinski,
Owen Stephens,
2013,
ArXiv.
Julian Rathke,
Pawel Sobocinski,
2008,
CONCUR.
Julian Rathke,
Alan Jeffrey,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Julian Rathke,
Gabrielle Anderson,
2011
.
Julian Rathke,
Pawel Sobocinski,
2009,
Bull. EATCS.
Julian Rathke,
Vladimiro Sassone,
Pawel Sobocinski,
2007,
FoSSaCS.
Julian Rathke,
Gabrielle Anderson,
2012,
APLAS.
Julian Rathke,
Radha Jagadeesan,
James Riely,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Julian Rathke,
J. Rathke,
1997
.
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005
.
Julian Rathke,
Alan Jeffrey,
Alan Jeffrey,
2008
.