Carroll Morgan

Identifiers

• name variant Carroll Morgan 0.60 · backfill

Papers (6)

1. A New Proof Rule for Almost-Sure Termination cs.PL · 2017 · author #2
2. A new rule for almost-certain termination of probabilistic- and demonic programs cs.LO · 2016 · author #2
3. Hidden-Markov Program Algebra with iteration cs.CR · 2011 · author #3
4. Compositional closure for Bayes Risk in probabilistic noninterference cs.FL · 2010 · author #3
5. Characterising Testing Preorders for Finite Probabilistic Processes cs.LO · 2008 · author #4
6. Results on the quantitative mu-calculus qMu cs.LO · 2003 · author #2

Mentions

• 1102.0333 #3 · backfill · confidence 0.70 Carroll Morgan
• 1007.1054 #3 · backfill · confidence 0.70 Carroll Morgan
• 0810.3708 #4 · backfill · confidence 0.70 Carroll Morgan

Frequent Coauthors

• Annabelle McIver 5 shared papers
• Larissa Meinicke 2 shared papers
• Benjamin Lucien Kaminski 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Matthew Hennessy 1 shared papers
• Rob van Glabbeek 1 shared papers
• Yuxin Deng 1 shared papers