Carroll Morgan
About
Carroll Morgan has authored 15 papers that have received a total of 182 indexed citations.
This includes 12 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (9 papers), Logic, programming, and type systems (6 papers) and Logic, Reasoning, and Knowledge (5 papers). Carroll Morgan is often cited by papers focused on Formal Methods in Verification (9 papers), Logic, programming, and type systems (6 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in Australia, United Kingdom and China. Carroll Morgan's co-authors include Annabelle McIver, Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Chenyi Zhang and has published in prestigious journals such as Computers & Mathematics with Applications, Theoretical Computer Science and Information Processing Letters.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Sang-Woo Lee are published in Top authors papers by Arie Arnon are co-authored with Top authors papers by T. Rajendran are co-authored with Top fields papers by Lucy Xia are about Top fields papers by Ana Mandić are about Top countries impacted by papers by Christopher Hayward Top fields papers by José Antonio Martín H. are about Top authors papers by Sara Williams are co-authored with