Carroll C. Morgan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2013
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICFEM | Lattices of Information for Security: Deterministic, Demonic, Probabilistic. | Carroll C. Morgan |
| 2010 | SAS | Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
| 2009 | FM | Untitled record | Annabelle McIver, Carroll C. Morgan |
| 2008 | FM | Proofs and Refutations for Probabilistic Refinement. | A. K. McIver, Carroll C. Morgan, Carlos Gonzala |