Searching for authors named "Annabelle McIver" – sorted by Relevance.
-
Reasoning About Efficiency Within a Probabilistic µ-Calculus
- Reasoning about efficiency within a probabilistic -calculus Annabelle McIver Programming Research
- Cited by 9 (2 self) – Add To MetaCart
-
pGCL: formal reasoning for random algorithms
- Research Articles pGCL: formal reasoning for random algorithms Carroll Morgan and Annabelle McIver
- Cited by 27 (7 self) – Add To MetaCart
-
An Expectation-Transformer Model for Probabilistic Temporal Logic
- Carroll Morgan and Annabelle McIver PRG-TR-20-97 \Delta Oxford University Computing Laboratory Wolfson
- Cited by 3 (0 self) – Add To MetaCart
-
A Probabilistic Temporal Calculus Based on Expectations
- and Annabelle McIver PRG-TR-13-97 \Delta Oxford University Computing Laboratory Wolfson Building, Parks Road
- Cited by 17 (11 self) – Add To MetaCart
-
Probabilistic predicate transformers: Part 2
- Programming Research Group PROBABILISTIC PREDICATE TRANSFORMERS: PART 2 Annabelle McIver
- Cited by 11 (7 self) – Add To MetaCart
-
Unifying WP and WLP
- Programming Research Group UNIFYING WP AND WLP Carroll Morgan, Annabelle McIver PRG-TR-23-95 \Delta
- Cited by 4 (2 self) – Add To MetaCart
-
Partial Correctness for Probabilistic Demonic Programs
- Partial correctness for probabilistic demonic programs Annabelle McIver and Carroll Morgan Draft
- Cited by 6 (2 self) – Add To MetaCart
-
Almost-Certain Eventualities and Abstract Probabilities in the Quantitative Temporal Logic qTL
- TL Annabelle McIver a;1 a Dept. of Computing, Macquarie University, Sydney 2019 Australia Carroll Morgan b b
- Cited by 4 (4 self) – Add To MetaCart
-
Cost Analysis of Games, Using Program Logic
- Cost analysis of games, using program logic Carroll Morgan y and Annabelle McIver z 7 December
- Cited by 3 (3 self) – Add To MetaCart
-
Probabilistic Imperative Programming: A Rigorous Approach
- , and Annabelle McIver 17 January 1997 Abstract Recent work has extended Kozen's probabilistic semantics [8, 9
- Cited by 4 (0 self) – Add To MetaCart

