Scholar
Carroll Morgan
Google Scholar ID: YqrcydIAAAAJ
Professor Emeritus, University of New South Wales
Probability
Security
Privacy
Concurrency: Formal Methods for all of those
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,555
H-index
18
i10-index
36
Publications
20
Co-authors
14
list available
Publications
1 items
Forward and Backward Simulations for Partially Observable Probability
2025
Cited
0
Co-authors
7 total
Annabelle McIver
Macquarie University
Jim Woodcock
Professor of Software Engineering, University of York
Yuxin Deng
Professor, Shanghai University of Finance and Economics
Rob van Glabbeek
UNSW
Chenyi Zhang
University of Canterbury
Adenilso Simao
University of Sao Paulo
Martin Leucker
Professor of Computer Science, University of Lübeck
