Michael Norrish
发表
Thibault Gauthier,
Cezary Kaliszyk,
Josef Urban,
2018,
Journal of Automated Reasoning.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2009,
SOSP '09.
Michael Norrish,
Konrad Slind,
2002
.
Richard J. Boulton,
Michael Norrish,
Konrad Slind,
2003,
International Journal on Software Tools for Technology Transfer.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2002,
ESOP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2020,
Journal of Automated Reasoning.
Michael Norrish,
Aditi Barthwal,
2010,
WoLLIC.
Michael Norrish,
Gerwin Klein,
David Cock,
2009,
TPHOLs.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
Proc. ACM Program. Lang..
Richard J. Boulton,
Michael Norrish,
Konrad Slind,
2000,
TACAS.
Michael Norrish,
Stephen M. Blackburn,
Antony L. Hosking,
2018,
VEE.
Michael Norrish,
Hing-Lun Chan,
2017,
Journal of Automated Reasoning.
Thibault Gauthier,
Cezary Kaliszyk,
Michael Norrish,
2014,
PAAR@IJCAR.
Yi Lin,
Michael Norrish,
Stephen M. Blackburn,
2015,
SNAPL.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2002,
EW 10.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2016,
ICFP.
Michael Norrish,
2011,
ITP.
Michael Norrish,
2003,
TPHOLs.
Michael Norrish,
Georges Gonthier,
2013
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
PLDI.
Michael Norrish,
2003,
MERLIN '03.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2014,
POPL.
Michael Norrish,
Georges Gonthier,
Georges Gonthier,
2013,
Lecture Notes in Computer Science.
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2014,
ICAPS 2014.
Michael Norrish,
Konrad Slind,
Michael Norrish,
2005,
TPHOLs.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2010,
Commun. ACM.
Thibault Gauthier,
Cezary Kaliszyk,
Josef Urban,
2018,
ArXiv.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2006,
POPL '06.
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2018,
Journal of Automated Reasoning.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
Journal of Functional Programming.
Michael Norrish,
René Vestergaard,
2007,
TPHOLs.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2007
.
Michael Norrish,
Stephen M. Blackburn,
Antony L. Hosking,
2019,
VMIL@SPLASH.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2008,
FM.
Michael Norrish,
Christian Urban,
Stefan Berghofer,
2007,
CADE.
Michael Norrish,
Hing Lun Chan,
2013,
J. Formaliz. Reason..
Michael Norrish,
Hing-Lun Chan,
2016,
ITP.
Michael Norrish,
James Cheney,
Rene Vestergaard,
2009
.
Michael Norrish,
Hendra Gunadi,
Adrian Herrera,
2019,
ArXiv.
Michael Norrish,
Konrad Slind,
Michael Norrish,
2008,
TPHOLs.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2005
.
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2015,
IJCAI.
Michael Norrish,
Christian Urban,
2005,
MERLIN '05.
Michael Norrish,
Aditi Barthwal,
2009,
ESOP.
Yi Lin,
Michael Norrish,
Stephen M. Blackburn,
2015,
ISMM.
Michael Norrish,
Michael Norrish,
1999,
ESOP.
Michael Norrish,
Hing-Lun Chan,
Michael Norrish,
2012,
J. Formaliz. Reason..
Tom Ridge,
Michael Norrish,
Peter Sewell,
2018,
J. ACM.
Michael Norrish,
James Cheney,
René Vestergaard,
2011,
Journal of Automated Reasoning.
Tom Ridge,
Michael Norrish,
Peter Sewell,
2009
.
Michael Norrish,
Dirk Pattinson,
Milad K. Ghale,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Michael Norrish,
2004,
TPHOLs.
Michael Norrish,
2006,
High. Order Symb. Comput..
Michael Norrish,
Michael Norrish,
1996
.
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2015,
ITP.
Martin Diller,
Peter Baumgartner,
Michael Norrish,
2013,
TABLEAUX.
Michael Norrish,
Simon Jantsch,
2018,
ITP.
Michael Norrish,
2007
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2018,
IJCAR.
Michael Norrish,
Rene Vestergaard,
Michael Norrish,
2006
.
Michael Norrish,
Michelle Mills Strout,
M. Strout,
2014,
LCPC.
Ramana Kumar,
Michael Norrish,
Dirk Pattinson,
2018,
VSTTE.
Michael Norrish,
Hing-Lun Chan,
2018,
Journal of Automated Reasoning.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
ESOP.
Michael Norrish,
Konrad Slind,
2002,
Comput. J..
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2019,
ITP.
Ramana Kumar,
Michael Norrish,
2010,
ITP.
Michael Norrish,
Michael Smith,
Peter Sewell,
2005
.
Michael Norrish,
Peter Sewell,
Keith Wansbrough,
2005,
SIGCOMM '05.
Michael Norrish,
2009,
Journal of Automated Reasoning.
Michael Norrish,
Aditi Barthwal,
Michael Norrish,
2010,
CSL.
Michael Norrish,
Brian Huffman,
2013,
ITP.
Michael Norrish,
Gerwin Klein,
Harvey Tuch,
2007,
POPL '07.
Yi Lin,
Michael Norrish,
Stephen M. Blackburn,
2016,
ISMM.
Michael Norrish,
Hing-Lun Chan,
Michael Norrish,
2015,
ITP.
Michael Norrish,
Aditi Barthwal,
2014,
J. Comput. Syst. Sci..
Michael Norrish,
Charles Gretton,
Mohammad Abdulaziz,
2017,
ICAPS.
Michael Norrish,
Yiming Xu,
Michael Norrish,
2020,
IJCAR.
Michael Norrish,
Mathias Payer,
Hendra Gunadi,
2021,
ISSTA.
Michael Norrish,
Christian Walder,
Amir Dezfouli,
2021,
ArXiv.
Michael Norrish,
Elliot Catt,
2021,
CPP.
Michael Norrish,
Magnus O. Myreen,
Ramana Kumar,
2014,
POPL.
Michael Norrish,
1996
.