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 fields papers by Juliet Taylor are about Top journals papers by A.G. Cocco are published in Top authors papers by Xiaoqiang Chai are co-authored with Top journals papers by Barbara Miller are published in Top fields papers by Lila Nath Sharma are about Top fields papers by Przemysław Głomb are about Top authors papers by Ace Allen are co-authored with Top fields papers by Anthony Richards are about