J. Kelly
发表
A. Ledwith,
R. Turner,
J. Kelly,
2010
.
A. Ledwith,
J. Turner,
J. Kelly,
2009
.
J. Kelly,
S. Male,
M. Gronqvist,
2007
.
Rodney Turner,
Ann Ledwith,
John Kelly,
2012
.
A. Akintoye,
J. Kelly,
R. Takim,
2005
.
Scott Fernie,
J. Kelly,
S. Male,
1998
.
J. Kelly,
S. Male,
1990
.
Qiping Shen,
Ming Sun,
John Kelly,
2005
.
K. Hunter,
J. Kelly,
J. Kelly,
2007
.
John Kelly,
Derek S. Thomson,
Roy Stuart Webb,
1998
.
John Kelly,
J. Kelly,
2007
.
Qiping Shen,
John Kelly,
Ann T.W. Yu,
2008
.
Qiping Shen,
John Kelly,
Ann T.W. Yu,
2007
.
Geoffrey Qiping Shen,
John Kelly,
Kirsty Hunter,
2005
.
Geoffrey Qiping Shen,
Ming Sun,
John Kelly,
2011
.
John Kelly,
Ann T.W. Yu,
Qiping Shen,
2005
.
Sara Wilkinson,
R Morledge,
John Kelly,
2002
.
Umit Bititci,
Gavin McDougall,
John Raymond Kelly,
2002
.
Qiping Shen,
Qiping Shen,
Shichao Fan,
2008
.
John Kelly,
R. S. Webb,
S. J. Macpherson,
1993
.
Robyn R. Lutz,
Steve Easterbrook,
Rick Covington,
1996
.
Qiping Shen,
John Kelly,
Ann T.W. Yu,
2008
.
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
John Kelly,
Steve M. Easterbrook,
Robyn R. Lutz,
1998,
IEEE Trans. Software Eng..
Derek S. Thomson,
John Kelly,
Roy Stuart Webb,
2000
.
J. Kelly,
R. Takim,
ROSHANA TAKIM,
2022
.