Carroll Morgan

Citado por

	Total	Desde 2019
Citas	10443	1689
Índice h	42	20
Índice i10	96	36

380

190

285

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202467 93 116 193 159 251 258 336 343 318 344 371 304 228 232 256 255 208 379 285 276 316 369 323 227 359 294 308 226 276 291 236 314 283 253 236 251 348

Acceso público

Ver todo

14 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Annabelle McIverMacquarie UniversityDirección de correo verificada de mq.edu.au
Ian James HayesProfessor of Software Engineering, The University of QueenslandDirección de correo verificada de uq.edu.au
Larissa MeinickeThe University of QueenslandDirección de correo verificada de uq.edu.au
Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Yuxin DengProfessor, East China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Chenyi ZhangOracle Labs AustraliaDirección de correo verificada de oracle.com
Joe Leslie-HurdIntel Corp.Dirección de correo verificada de gilith.com
Michael ButlerProfessor of Computer Science, University of SouthamptonDirección de correo verificada de ecs.soton.ac.uk
Adenilso SimaoUniversity of Sao PauloDirección de correo verificada de icmc.usp.br
Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
Zoe AndrewsNewcastle UniversityDirección de correo verificada de ncl.ac.uk

Seguir

Carroll Morgan

Professor, University of New South Wales

Dirección de correo verificada de unsw.edu.au

Formal Methods Concurrency Probability Security.


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Programming from specifications C Morgan Prentice-Hall, Inc., 1990	2381	1990
Specification case studies B Flinn Prentice-Hall International, 1987	868	1987
Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987	597	1987
Abstraction, refinement and proof for probabilistic systems A McIver, C Morgan Springer Science & Business Media, 2005	567	2005
The specification statement C Morgan ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988	493	1988
Probabilistic predicate transformers C Morgan, A McIver, K Seidel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996	412	1996
The refinement calculus C Morgan Program Design Calculi, 3-52, 1993	410	1993
Specification of the UNIX filing system C Morgan, B Sufrin IEEE Transactions on Software Engineering, 128-142, 1984	209	1984
Data refinement by calculation C Morgan, PHB Gardiner Acta Informatica 27 (6), 481-503, 1990	195	1990
Data refinement of predicate transformers P Gardiner, C Morgan Theoretical Computer Science 87 (1), 143-162, 1991	173	1991
Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990	145	1990
A single complete rule for data refinement PHB Gardiner, C Morgan Formal Aspects of Computing 5, 367-382, 1993	144	1993
Specification statements and refinement C Morgan, K Robinson IBM Journal of Research and Development 31 (5), 546-555, 1987	134	1987
Characterising testing preorders for finite probabilistic processes Y Deng, M Hennessy, R van Glabbeek, C Morgan Logical Methods in Computer Science 4, 2008	125	2008
Refinement-oriented probability for CSP C Morgan, A McIver, K Seidel, JW Sanders Formal aspects of computing 8 (6), 617-647, 1996	125	1996
Of wp and CSP C Morgan Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra, 319, 2012	119*	2012
Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005	119	2005
Linear-invariant generation for probabilistic programs: Automated support for proof-based methods JP Katoen, AK McIver, LA Meinicke, CC Morgan Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010	118	2010
A new proof rule for almost-sure termination A McIver, C Morgan, BL Kaminski, JP Katoen Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017	113	2017
Additive and multiplicative notions of leakage, and their capacities MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ... 2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014	105	2014

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores