Carroll Morgan - Concepedia

Author

Carroll Morgan

UNSW Sydney

Also Known As

C. C. Morgan, C. Morgan, Carroll Morgan, Morgan, Carroll

Publications

797

Citations

H-Index

Concepts

All Affiliations

UNSW Sydney Macquarie University Data61 Commonwealth Scientific and Industrial Research Organisation University of Oxford

About

Carroll Morgan is an author at UNSW Sydney specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	436
2	Computer Science	8	8	415
3	Data Science	2	2	106
4	Business	1	1	61
5	Computer Engineering	1	1	18

Carroll Morgan

Publications

526

Citations

H-Index

Page 1

	Year	Citations
A new proof rule for almost-sure termination Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Proceedings of the ACM on Programming Languages Source CodeEngineeringAutomated ReasoningProof ComplexityVerification	2017	95
Additive and Multiplicative Notions of Leakage, and Their Capacities Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, EngineeringInformation SecurityInformation LeakageMultiplicative NotionsComputational Complexity	2014	85
Probabilistic guarded commands mechanized in HOL Joe Hurd, Annabelle McIver, Carroll Morgan Theoretical Computer Science EngineeringCommand And ControlProbabilistic VerificationAutomationVerification	2005	71
Results on the quantitative μ-calculus <i>qM</i> μ Annabelle McIver, Carroll Morgan ACM Transactions on Computational Logic Measure TheoryQm μTransition SystemsEngineeringStochastic Game	2007	61
Characterising Testing Preorders for Finite Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, EngineeringProbabilistic ComputationHigher-order LogicFormal VerificationComputational Logic	2007	46
Remarks on Testing Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Electronic Notes in Theoretical Computer Science	2007	39
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow Annabelle McIver, Carroll Morgan, Tahiry Rabehaja	2015	24
Multiset and set decipherable codes F. Blanchet-Sadri, Carroll Morgan Computers & Mathematics with Applications EngineeringPattern RecognitionDecipherable CodesComputer ScienceError Correction Code	2001	22
An axiomatization of information flow measures Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Theoretical Computer Science EngineeringData FlowData ScienceInformation TheoryAutomated Reasoning	2018	21
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System June Andronick, Corey Lewis, Carroll Morgan Electronic Proceedings in Theoretical Computer Science EngineeringComputer ArchitectureConcurrent SystemEmbedded SystemsFormal Verification	2015	18

Page 1