M. Laurence
发表
M. Harman,
S. Danicic,
R. Barraclough,
2010
.
M. Spathopoulos,
M. Laurence,
2003
.
M. Laurence,
2006
.
Mark Harman,
Michael R. Laurence,
Sebastian Danicic,
2004
.
Mark Harman,
Robert M. Hierons,
Michael R. Laurence,
2003
.
Michael Wooldridge,
Paul E. Dunne,
Michael R. Laurence,
2003
.
Michael Wooldridge,
Paul E. Dunne,
Michael Laurence,
2002,
AAMAS '02.
Michael R. Laurence,
M. Laurence,
1995
.
Michael R. Laurence,
Sebastian Danicic,
S. Danicic,
2018,
ACM Trans. Program. Lang. Syst..
Mark Harman,
Michael R. Laurence,
Ákos Kiss,
2011,
Theor. Comput. Sci..
Robert M. Hierons,
Michael R. Laurence,
Sebastian Danicic,
2011,
J. Log. Algebraic Methods Program..
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
pdf
Robert M. Hierons,
Michael R. Laurence,
Sebastian Danicic,
2007,
J. Log. Algebraic Methods Program..
Mark Harman,
Robert M. Hierons,
David W. Binkley,
2010,
Theor. Comput. Sci..
Mark Harman,
Robert M. Hierons,
Michael R. Laurence,
2007,
Theor. Comput. Sci..
Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas
Michael R. Laurence,
M. Laurence,
2007,
J. Log. Algebraic Methods Program..
Mark Harman,
Robert M. Hierons,
Michael R. Laurence,
2005,
Comput. J..
M. Harman,
R. Hierons,
S. Danicic,
2003,
Theor. Comput. Sci..
Michael Wooldridge,
Paul E. Dunne,
Michael Laurence,
2005,
Artif. Intell..
Michael Wooldridge,
Paul E. Dunne,
Michael Laurence,
2004,
ECAI.
Robert M. Hierons,
Michael R. Laurence,
Sebastian Danicic,
2011,
ArXiv.
Georg Struth,
Michael R. Laurence,
James Cranch,
2015,
J. Log. Algebraic Methods Program..
Georg Struth,
Michael R. Laurence,
M. Laurence,
2012,
RAMiCS.
Georg Struth,
Michael R. Laurence,
M. Laurence,
2011,
RAMiCS.
Georg Struth,
Michael R. Laurence,
M. Laurence,
2017,
ArXiv.
Georg Struth,
Michael R. Laurence,
M. Laurence,
2014,
RAMiCS.
Mark Harman,
Michael R. Laurence,
Chris Fox,
2001
.
M. Spathopoulos,
M. Laurence,
1999,
1999 European Control Conference (ECC).