Kenneth MacKenzie
发表
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Huiqing Li,
Simon J. Thompson,
Kenneth MacKenzie,
2017,
1704.07234.
Kenneth MacKenzie,
David Aspinall,
K. Mackenzie,
2005,
CASSIS.
Kenneth MacKenzie,
John J. Soraghan,
Lykourgos Petropoulakis,
2017,
Biomed. Signal Process. Control..
Kenneth MacKenzie,
John J. Soraghan,
Lykourgos Petropoulakis,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Stephen Gilmore,
Kenneth MacKenzie,
Nicholas Wolverson,
2005,
Scalable Comput. Pract. Exp..
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Kenneth MacKenzie,
Nicholas Wolverson,
2003,
Trends in Functional Programming.
Kenneth MacKenzie,
John J. Soraghan,
Lykourgos Petropoulakis,
2015,
Medical Imaging.
Kenneth MacKenzie,
Damon Fenacci,
K. Mackenzie,
2011,
Bytecode@ETAPS.
Kenneth MacKenzie,
Robert. L. Martin,
James Whitney,
1982
.
Kenneth MacKenzie,
John J. Soraghan,
Lykourgos Petropoulakis,
2014,
2014 22nd European Signal Processing Conference (EUSIPCO).
Kenneth MacKenzie,
Lennart Beringer,
Ian Stark,
2003,
Electron. Notes Theor. Comput. Sci..
Kenneth MacKenzie,
Hans-Wolfgang Loidl,
Lennart Beringer,
2009,
2009 Fourth Latin-American Symposium on Dependable Computing.
Simon J. Thompson,
Kenneth MacKenzie,
Philip W. Trinder,
2017,
IEEE Transactions on Parallel and Distributed Systems.
Kenneth MacKenzie,
John J. Soraghan,
Heba M. Lakany,
2017,
BIOIMAGING.
Robert Atkey,
Kenneth MacKenzie,
Donald Sannella,
2010,
TGC.
Kenneth MacKenzie,
Philip W. Trinder,
Natalia Chechina,
2015,
Erlang Workshop.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
Financial Cryptography Workshops.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Kenneth MacKenzie,
Nicholas Wolverson,
2003,
Trends in Functional Programming.
Kenneth MacKenzie,
John J. Soraghan,
Heba Lakany,
2017
.