Matthew Naylor
发表
Matthew Naylor,
2008
.
Nils Anders Danielsson,
Tiago L. Alves,
Brett Gordon Giles,
2002
.
J. Woodcock,
Matthew Naylor,
J. Mistry,
2012
.
Matthew Naylor,
W. Swierstra,
Neil Mitchell,
2007
.
Matthew Naylor,
B. Pope,
2008
.
Matthew Francis Naylor,
Matthew Naylor,
2008
.
Colin Runciman,
Matthew Naylor,
C. Runciman,
2007,
Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007).
Simon W. Moore,
Matthew Naylor,
Alan Mujumdar,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Jim Woodcock,
Matthew Naylor,
James Mistry,
2014,
Softw. Pract. Exp..
Colin Runciman,
Matthew Naylor,
C. Runciman,
2012,
Journal of Functional Programming.
Colin Runciman,
Matthew Naylor,
C. Runciman,
2010,
ICFP '10.
Colin Runciman,
Fredrik Lindblad,
Matthew Naylor,
2008,
Haskell '08.
Colin Runciman,
Matthew Naylor,
C. Runciman,
2008,
IFL.
Colin Runciman,
Matthew Naylor,
Jason S. Reich,
2010
.
Shane T. Fleming,
Mark L. Vousden,
J. Shillcock,
2023,
ACM Trans. Parallel Comput..
Simon W. Moore,
A. T. Markettos,
A. Theodore Markettos,
2021,
2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).
Peter G. Neumann,
Robert N. M. Watson,
Simon W. Moore,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Alexandre Yakovlev,
David B. Thomas,
Simon W. Moore,
2017,
2017 46th International Conference on Parallel Processing Workshops (ICPPW).
David B. Thomas,
Jeff Reeve,
Matthew Naylor,
2018,
PARCO.
Graeme M. Bragg,
Mark L. Vousden,
S. Moore,
2022,
IET Comput. Digit. Tech..
Simon W. Moore,
Matthew Naylor,
S. Moore,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Colin Runciman,
Matthew Naylor,
Jason S. Reich,
2012,
IFL.
P. Neumann,
Matthew Naylor,
Jonathan Woodruff,
2024,
IEEE Design & Test.