Carroll Morgan

799 total citations
17 papers, 200 citations indexed

About

Carroll Morgan is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Carroll Morgan has authored 17 papers receiving a total of 200 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Carroll Morgan's work include Formal Methods in Verification (8 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 (8 papers), Logic, programming, and type systems (6 papers) and Logic, Reasoning, and Knowledge (5 papers). Carroll Morgan collaborates with scholars based in Australia, United Kingdom and United States. Carroll Morgan's co-authors include Annabelle McIver, Joe Hurd, Matthew Hennessy, Benjamin Lucien Kaminski, Yuxin Deng, Joost-Pieter Katoen, Rob van Glabbeek, Chenyi Zhang, F. Blanchet-Sadri and Martin Leucker and has published in prestigious journals such as SHILAP Revista de lepidopterología, Computers & Mathematics with Applications and Theoretical Computer Science.

In The Last Decade

Carroll Morgan

17 papers receiving 188 citations

Peers

Carroll Morgan
Temur Kutsia Austria
Sophie Tison France
Prasanna Thati United States
Benjamin Aminof Italy
Paulo A. S. Veloso Brazil
Georg Struth United Kingdom
Stefan Kiefer United Kingdom
Rajeev Goré Australia
Markus N. Rabe United States
Didier Galmiche France
Temur Kutsia Austria
Carroll Morgan
Citations per year, relative to Carroll Morgan Carroll Morgan (= 1×) peers Temur Kutsia

Countries citing papers authored by Carroll Morgan

Since Specialization
Citations

This map shows the geographic impact of Carroll Morgan's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Carroll Morgan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Carroll Morgan more than expected).

Fields of papers citing papers by Carroll Morgan

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Carroll Morgan. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Carroll Morgan. The network helps show where Carroll Morgan may publish in the future.

Co-authorship network of co-authors of Carroll Morgan

This figure shows the co-authorship network connecting the top 25 collaborators of Carroll Morgan. A scholar is included among the top collaborators of Carroll Morgan based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Carroll Morgan. Carroll Morgan is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Alvim, Mário S., Konstantinos Chatzikokolakis, Annabelle McIver, et al.. (2020). The Science of Quantitative Information Flow. HAL (Le Centre pour la Communication Scientifique Directe). 4 indexed citations
2.
Alvim, Mário S., Konstantinos Chatzikokolakis, Annabelle McIver, et al.. (2018). An axiomatization of information flow measures. Theoretical Computer Science. 777. 32–54. 8 indexed citations
3.
McIver, Annabelle, Carroll Morgan, & Tahiry Rabehaja. (2017). Abstract Hidden Markov Models: a monadic account of quantitative information flow. arXiv (Cornell University). 2 indexed citations
4.
McIver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, & Joost-Pieter Katoen. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL). 1–28. 37 indexed citations
5.
McIver, Annabelle, Carroll Morgan, & Tahiry Rabehaja. (2015). Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. 597–608. 9 indexed citations
6.
Andronick, June, et al.. (2015). Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. SHILAP Revista de lepidopterología. 196. 10–24. 6 indexed citations
7.
Deng, Yuxin, Rob van Glabbeek, Matthew Hennessy, & Carroll Morgan. (2013). Real-reward testing for probabilistic processes. Theoretical Computer Science. 538. 16–36. 2 indexed citations
8.
Leucker, Martin & Carroll Morgan. (2009). Proceedings of the $6^{th}$ International Colloquium on Theoretical Aspects of Computing (ICTAC'09). 5684. 13 indexed citations
9.
Deng, Yuxin, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan, & Chenyi Zhang. (2007). Remarks on Testing Probabilistic Processes. Electronic Notes in Theoretical Computer Science. 172. 359–397. 16 indexed citations
10.
Deng, Yuxin, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan, & Chenyi Zhang. (2007). Characterising Testing Preorders for Finite Probabilistic Processes. UNSWorks (University of New South Wales, Sydney, Australia). 313–325. 24 indexed citations
11.
McIver, Annabelle & Carroll Morgan. (2007). Results on the quantitative μ-calculus qM μ. ACM Transactions on Computational Logic. 8(1). 3–3. 15 indexed citations
12.
Hurd, Joe, Annabelle McIver, & Carroll Morgan. (2005). Probabilistic guarded commands mechanized in HOL. Theoretical Computer Science. 346(1). 96–112. 35 indexed citations
13.
McIver, Annabelle & Carroll Morgan. (2005). An elementary proof that Herman's Ring is. Information Processing Letters. 94(2). 79–84. 6 indexed citations
14.
Blanchet-Sadri, F. & Carroll Morgan. (2001). Multiset and set decipherable codes. Computers & Mathematics with Applications. 41(10-11). 1257–1262. 16 indexed citations
15.
Morgan, Carroll & Annabelle McIver. (1996). Unifying wp and wlp. Information Processing Letters. 59(3). 159–163. 5 indexed citations
16.
Morgan, Carroll & Jim Woodcock. (1991). 3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Organised by BCS-FACS and Sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park. Springer eBooks. 1 indexed citations
17.
Morgan, Carroll, et al.. (1987). Time service. 265–268. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Temur Kutsia Breakdown of academic impact, for papers by Sophie Tison Breakdown of academic impact, for papers by Prasanna Thati Breakdown of academic impact, for papers by Benjamin Aminof Breakdown of academic impact, for papers by Paulo A. S. Veloso Breakdown of academic impact, for papers by Georg Struth Breakdown of academic impact, for papers by Stefan Kiefer Breakdown of academic impact, for papers by Rajeev Goré Breakdown of academic impact, for papers by Markus N. Rabe Breakdown of academic impact, for papers by Didier Galmiche
Rankless by CCL
2026