Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Emeritus Professor Carroll Morgan

Books

Alvim MS; Chatzikokolakis K; McIver A; Morgan C; Palamidessi C; Smith G, 2020, The Science of Quantitative Information Flow, Springer Nature, http://dx.doi.org/10.1007/978-3-319-96131-6

Leucker M; Morgan C, 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Morgan CC; McIver A, 2005, Abstraction, refinement and proof for probabilistic systems, Springer Verlag, New York, http://portal.acm.org/citation.cfm?id=1036296

, 2003, Programming Methodology, Morgan CC; McIver A, (ed.), Springer Publishing Company, New York, http://www.springer.com/computer/swe/book/978-0-387-95349-6


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-8535-9068

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation