pith. sign in

Annabelle McIver

Identifiers

  • name variant Annabelle McIver 0.60 · backfill

Papers (18)

  1. Generalised Differential Privacy for Text Document Processing cs.CR · 2018 · author #3
  2. Author Obfuscation Using Generalised Differential Privacy cs.CR · 2018 · author #3
  3. An Algebraic Approach for Reasoning About Information Flow cs.CR · 2018 · author #3
  4. A New Proof Rule for Almost-Sure Termination cs.PL · 2017 · author #1
  5. A new rule for almost-certain termination of probabilistic- and demonic programs cs.LO · 2016 · author #1
  6. A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #5
  7. Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #4
  8. A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #4
  9. Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #4
  10. Conditioning in Probabilistic Programming cs.PL · 2015 · author #5
  11. Probabilistic Rely-guarantee Calculus cs.LO · 2014 · author #1
  12. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #4
  13. An Event Structure Model for Probabilistic Concurrent Kleene Algebra cs.LO · 2013 · author #1
  14. Weak Concurrent Kleene Algebra with Application to Algebraic Verification cs.FL · 2013 · author #1
  15. Hidden-Markov Program Algebra with iteration cs.CR · 2011 · author #1
  16. Compositional closure for Bayes Risk in probabilistic noninterference cs.FL · 2010 · author #1
  17. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications cs.LO · 2009 · author #2
  18. Results on the quantitative mu-calculus qMu cs.LO · 2003 · author #1

Mentions

  • 1504.00198 #5 · backfill · confidence 0.70 Annabelle McIver
  • 1409.0582 #1 · backfill · confidence 0.70 Annabelle McIver
  • 1312.7645 #4 · backfill · confidence 0.70 Annabelle McIver
  • 1310.2320 #1 · backfill · confidence 0.70 Annabelle McIver
  • 1301.7153 #1 · backfill · confidence 0.70 Annabelle McIver
  • 1102.0333 #1 · backfill · confidence 0.70 Annabelle McIver
  • 1007.1054 #1 · backfill · confidence 0.70 Annabelle McIver
  • 0912.2128 #2 · backfill · confidence 0.70 Annabelle McIver

Frequent Coauthors