Michael Norrish
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 38
Publications (10 Years): 38
Publications
- Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon WimmerAutoCorres2. Arch. Formal Proofs 2024 (2024)
- Yiming Xu, Michael Norrish
- Jared Yeager, J. Eliot B. Moss, Michael Norrish, Philip S. Thomas
- Elliot Catt, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
- Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking
- Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
- Yiming Xu, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
- Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
- Mohammad Abdulaziz, Charles Gretton, Michael Norrish
- Mohammad Abdulaziz, Michael Norrish, Charles Gretton
- Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
- Simon Jantsch, Michael Norrish
- Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish
- Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish
- Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
- Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Yi Lin, Stephen M. Blackburn, Antony L. Hosking, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Mohammad Abdulaziz, Michael Norrish, Charles Gretton
- Yi Lin, Kunshan Wang, Stephen M. Blackburn, Antony L. Hosking, Michael Norrish
- Aditi Barthwal, Michael Norrish
- Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens
- Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
- Michael Norrish, Brian Huffman
- Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
- Hing-Lun Chan, Michael Norrish
- Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish
- James Cheney, Michael Norrish, René Vestergaard
- Hing-Lun Chan, Michael Norrish
- Michael Norrish
- Aditi Barthwal, Michael Norrish
- Aditi Barthwal, Michael Norrish
- Ramana Kumar, Michael Norrish
- Michael Norrish
- Aditi Barthwal, Michael Norrish
- Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish
- Konrad Slind, Michael Norrish
- Tom Ridge, Michael Norrish, Peter Sewell
- Christian Urban, Stefan Berghofer, Michael Norrish
- Michael Norrish, René Vestergaard
- Harvey Tuch, Gerwin Klein, Michael Norrish
- Michael Norrish
- Christian Urban, Michael Norrish
- Michael Norrish, Konrad Slind
- Michael Norrish
- Michael Norrish
- Michael Norrish
- Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
- Michael Norrish, Konrad Slind
- Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov
- Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
- Michael Norrish