Carroll Morgan

Cited by

	All	Since 2017
Citations	9235	1554
h-index	39	19
i10-index	89	34

380

190

285

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202229 57 67 99 125 107 210 212 282 285 279 285 345 294 203 218 234 241 200 340 278 280 307 374 314 241 364 298 306 254 280 295 237 321 288 264 147

Public access

View all

18 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Larissa MeinickeThe University of QueenslandVerified email at uq.edu.au
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Joe Leslie-HurdIntel Corp.Verified email at gilith.com
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Adenilso SimaoUniversity of Sao PauloVerified email at icmc.usp.br
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Zoe AndrewsNewcastle UniversityVerified email at ncl.ac.uk

Carroll Morgan

Professor, University of New South Wales and DATA61

Verified email at unsw.edu.au

Formal Methods Concurrency Probability Security.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming from specifications C Morgan Prentice-Hall, Inc., 1990	2296	1990
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	986*	1987
Abstraction, refinement and proof for probabilistic systems A McIver, C Morgan, CC Morgan Springer Science & Business Media, 2005	487	2005
The specification statement C Morgan ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988	476	1988
The refinement calculus C Morgan Program Design Calculi, 3-52, 1993	388	1993
Probabilistic predicate transformers C Morgan, A McIver, K Seidel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996	367	1996
Specification of the UNIX filing system C Morgan, B Sufrin IEEE Transactions on Software Engineering, 128-142, 1984	194	1984
Data refinement by calculation C Morgan, PHB Gardiner Acta Informatica 27 (6), 481-503, 1990	193	1990
Data refinement of predicate transformers P Gardiner, C Morgan Theoretical Computer Science 87 (1), 143-162, 1991	163	1991
Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990	136	1990
A single complete rule for data refinement PHB Gardiner, C Morgan Formal Aspects of Computing 5 (4), 367-382, 1993	130	1993
Specification statements and refinement C Morgan, K Robinson IBM Journal of Research and Development 31 (5), 546-555, 1987	129	1987
Characterising testing preorders for finite probabilistic processes C Morgan, R Van Glabbeek, M Hennessy, Y Deng Logical Methods in Computer Science 4, 2008	122	2008
Refinement-oriented probability for CSP C Morgan, A McIver, K Seidel, JW Sanders Formal aspects of computing 8 (6), 617-647, 1996	114	1996
Of wp and CSP C Morgan Beauty is our business, 319-326, 1990	114	1990
Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005	110	2005
Data refinement by miracles CC Morgan Information Processing Letters 26 (5), 243-246, 1988	99	1988
Linear-invariant generation for probabilistic programs JP Katoen, AK McIver, LA Meinicke, CC Morgan International Static Analysis Symposium, 390-406, 2010	91	2010
Linear-invariant generation for probabilistic programs JP Katoen, AK McIver, LA Meinicke, CC Morgan International Static Analysis Symposium, 390-406, 2010	91	2010
Compositional closure for Bayes risk in probabilistic noninterference A McIver, L Meinicke, C Morgan International Colloquium on Automata, Languages, and Programming, 223-235, 2010	89	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors