A. King
发表
P. Hill,
M. Codish,
A. Heaton,
1998
.
A. King,
Jonathan C. Martin,
2010
.
H. Søndergaard,
A. King,
2009
.
A. King,
N. Kettle,
2008,
SMT '08/BPR '08.
S. Kowalewski,
A. King,
Jörg Brauer,
2012
.
A. King,
L. C. Martin,
1997
.
Jacob M. Howe,
A. King,
A. King,
2009
.
A. King,
Jörg Brauer,
2022
.
A. King,
M. Carro,
N. Saeedloei,
2016
.
S. Kowalewski,
A. King,
Jörg Brauer,
2012
.
S. Kowalewski,
A. King,
Sebastian Biallas,
2012
.
R. Barker,
N. Šestan,
L. Lu,
2013
.
Jacob M. Howe,
Andy King,
Axel Simon,
2019,
Theor. Comput. Sci..
A. King,
1995
.
A. King,
2022
.
A. King,
E. Robbins,
Aziem Chawdhary,
2018,
Formal Methods in System Design.
Andy King,
Aziem Chawdhary,
Edward Robbins,
2016,
Formal Methods Syst. Des..
Andy King,
Axel Simon,
A. King,
2010,
High. Order Symb. Comput..
Gregory J. Koop,
A. King,
Kathryn J. Kauffman,
2021
.
Andy King,
Patricia M. Hill,
P. Hill,
1997,
J. Program. Lang..
Jörg Brauer,
Andy King,
Jael Kriener,
2011,
CAV.
Jörg Brauer,
Andy King,
A. King,
2011,
NASA Formal Methods.
Tom Schrijvers,
Andy King,
Edward Robbins,
2015,
POPL.
Andy King,
Michael Codish,
Andy Heaton,
2000,
J. Log. Program..
Jacob M. Howe,
Andy King,
A. King,
2000,
ESOP.
Jacob M. Howe,
Andy King,
Lunjin Lu,
2004,
Program Development in Computational Logic.
Andy King,
Edd Barrett,
A. King,
2012,
FMICS.
Jörg Brauer,
Andy King,
A. King,
2010,
SAS.
Andy King,
Axel Simon,
A. King,
2007,
SAS.
Xuan Li,
Andy King,
Lunjin Lu,
2006,
FLOPS.
Andy King,
Paul Soper,
A. King,
1992,
LFCS.
A. King,
E. Robbins,
J. M. Howe,
2020,
Theory and Practice of Logic Programming.
Andy King,
Sandrine Blazy,
Jael Kriener,
2013,
PPDP.
Jacob M. Howe,
Andy King,
A. King,
2009,
ATVA.
Jacob M. Howe,
Andy King,
Axel Simon,
2002,
LOPSTR.
Andy King,
Axel Simon,
A. King,
2002,
AMAST.
Andy King,
Jonathan C. Martin,
Paul Soper,
1996,
LOPSTR.
Jacob M. Howe,
Andy King,
A. King,
2012,
Theor. Comput. Sci..
A. King,
N. Saeedloei,
M. D. Vos,
2016
.
M. De Vos,
A. King,
A. King,
2016
.
Andy King,
Aziem Chawdhary,
William Jones,
2015,
GbRPR.
Stefan Kowalewski,
Jörg Brauer,
Andy King,
2010,
FMICS.
Xuan Li,
Andy King,
Lunjin Lu,
2006,
ICLP.
Andy King,
Patricia M. Hill,
Andrew Heaton,
2000,
ESOP.
Andy King,
A. King,
1994,
ESOP.
Frédéric Mesnard,
Andy King,
Florence Benoy,
2003,
Theory and Practice of Logic Programming.
Andy King,
Edward Robbins,
Martial Bourquin,
2013,
PPREW '13.
Samir Genaim,
Andy King,
S. Genaim,
2008,
TOCL.
Stefan Kowalewski,
Jörg Brauer,
Andy King,
2013,
Sci. Comput. Program..
Andy King,
Axel Simon,
A. King,
2005,
SAS.
Jacob M. Howe,
Andy King,
A. King,
2012,
SAS.
Andy King,
Thomas Seed,
Neil Evans,
2020,
SAT.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1999,
ESOP.
Andy King,
Jael Kriener,
A. King,
2012,
FLOPS.
Jörg Brauer,
Andy King,
A. King,
2011,
Log. Methods Comput. Sci..
Andy King,
Lunjin Lu,
A. King,
2003,
ICLP.
Andy King,
Lunjin Lu,
A. King,
2001,
Theory and Practice of Logic Programming.
Sandrine Blazy,
A. King,
J. Kriener,
2013
.
Andy King,
Jeremy W. Bryans,
J. Bryans,
1998
.
Harald Søndergaard,
Andy King,
H. Søndergaard,
2010,
VMCAI.
Harald Søndergaard,
Andy King,
H. Søndergaard,
2008,
CAV.
Takamasa Okudono,
Andy King,
A. King,
2020,
TACAS.
Andy King,
Kish Shen,
Florence Benoy,
1997,
ILPS.
Andy King,
Paul Soper,
A. King,
1992,
JICSLP.