Michael Norrish
About
Michael Norrish has authored 27 papers that have received a total of 235 indexed citations.
This includes 21 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 9 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (16 papers), Formal Methods in Verification (12 papers) and Parallel Computing and Optimization Techniques (8 papers). Michael Norrish is often cited by papers focused on Logic, programming, and type systems (16 papers), Formal Methods in Verification (12 papers) and Parallel Computing and Optimization Techniques (8 papers) and collaborates with scholars based in Australia, United Kingdom and Sweden. Michael Norrish's co-authors include Ramana Kumar, Yong Kiam Tan, Scott Owens, Magnus O. Myreen and Keith Wansbrough and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and ACM SIGCOMM Computer Communication Review
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Jailani Md Yunos are published in Top journals papers by Quentin Menet are published in Top authors papers by Gerald Manners are co-authored with Top journals papers by Lisa O’Donnell are published in Top journals papers by Y. Daido are published in Top journals papers by Kate Reid are published in Top countries impacted by papers by M. Beech Top fields papers by Houjun Qian are about