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 Hany Mahmoud Yassin are published in Top fields papers by Guiqin Zhou are about Top fields papers by Richard Fisher are about Top fields papers by Michael Benisch are about Top authors papers by Luis Tejerina are co-authored with Top countries impacted by papers by Gu Chen Top journals papers by Abu Sadat Nurullah are published in Top authors papers by Steven C. Kyle are co-authored with