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 fields papers by Matteo Orrico are about Top authors papers by Kassahun Dessie Gashu are co-authored with Top authors papers by Raelene Frances are co-authored with Top fields papers by Alaa Mohammed are about Top countries impacted by papers by José Yesid Rodríguez Top journals papers by Philippe Sosoe are published in Top countries impacted by papers by Neil Shah Top authors papers by Aslıhan Okan İbiloğlu are co-authored with