Carroll Morgan
Scholar

Carroll Morgan

Google Scholar ID: YqrcydIAAAAJ
Professor Emeritus, University of New South Wales
ProbabilitySecurityPrivacyConcurrency: Formal Methods for all of those
Google Scholar↗
Citations & Impact
All-time
Citations
1,555
 
H-index
18
 
i10-index
36
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
1 items
Forward and Backward Simulations for Partially Observable Probability
2025
Cited
0
Resume (English only)
Co-authors
14 total
Annabelle McIver
Annabelle McIver
Macquarie University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jim Woodcock
Jim Woodcock
Professor of Software Engineering, University of York
Yuxin Deng
Yuxin Deng
Professor, Shanghai University of Finance and Economics
Co-author 6
Co-author 6
Rob van Glabbeek
Rob van Glabbeek
UNSW
Co-author 8
Co-author 8