Carroll Morgan

1. Foundations of Probabilistic Programming
   2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
2. A New Proof Rule for Almost-Sure Termination
   2017/11/09 by Annabelle McIver, McIver, Annabelle, Carroll Morgan +5 · 9 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
3. Compositional closure for Bayes Risk in probabilistic noninterference
   2010/07/07 by Annabelle McIver, Larissa Meinicke, McIver, Annabelle +3 · 1 citation
   Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Information and Cyber Security
4. A new rule for almost-certain termination of probabilistic- and demonic\n programs
   2016/12/04 by Annabelle McIver, Carroll Morgan, McIver, Annabelle +1 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems