K. Donnelly
发表
Matthew Fluet,
K. Donnelly,
M. Fluet,
2007
.
A. Konopka,
M. Broersma,
Diana M. Carter,
2019,
Bilingualism: Language and Cognition.
M. Deuchar,
K. Donnelly,
Caroline Piercy,
2016
.
Kevin Donnelly,
Margaret Deuchar,
M. Deuchar,
2011
.
K. Donnelly,
2007
.
Margaret Deuchar,
Peredur Webb-Davies,
Peredur Webb-Davies,
2018
.
Francis M. Tyers,
Kevin Donnelly,
K. Donnelly,
2009,
Prague Bull. Math. Linguistics.
Hongwei Xi,
Kevin Donnelly,
Sa Cui,
2005,
FroCoS.
Jeremy Avigad,
David Gray,
Kevin Donnelly,
2005,
TOCL.
Jeremy Avigad,
Kevin Donnelly,
J. Avigad,
2004,
IJCAR.
Hongwei Xi,
Kevin Donnelly,
H. Xi,
2007,
LFMTP@FLoC.
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Martin Sulzmann,
2007,
TLDI '07.
Matthew Fluet,
Kevin Donnelly,
K. Donnelly,
2006,
ICFP '06.
Sungwoo Park,
Neelakantan R. Krishnaswami,
Stephen Magill,
2005,
LPAR.
Assaf J. Kfoury,
J. J. Hallett,
Kevin Donnelly,
2005,
ISMM '06.
J. Avigad,
K. Donnelly,
David Gray,
2005
.
Jeremy Avigad,
Kevin Donnelly,
J. Avigad,
2007,
Journal of Automated Reasoning.
Hongwei Xi,
Kevin Donnelly,
H. Xi,
2005,
MERLIN '05.
Assaf J. Kfoury,
Andrei Lapets,
Kevin Donnelly,
2010,
Fundam. Informaticae.