The following pages link to Annabelle McIver (Q406450):
Displayed 50 items.
- (Q161643) (redirect page) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Unifying wp and wlp (Q671411) (← links)
- An elementary proof that Herman's ring is \(\Theta (N^{2})\) (Q1041727) (← links)
- Finitely generated non-Hopf modules (Q1119716) (← links)
- (Q1356939) (redirect page) (← links)
- Probabilistic models for the guarded command language (Q1356940) (← links)
- Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428) (← links)
- Quantitative program logic and expected time bounds in probabilistic distributed algorithms. (Q1603711) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Processing text for privacy: an information flow perspective (Q2024330) (← links)
- An algebraic approach for reasoning about information flow (Q2024334) (← links)
- Experiments in information flow analysis (Q2176669) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2576950) (← links)
- (Q2703741) (← links)
- (Q2848433) (← links)
- (Q2849848) (← links)
- An Event Structure Model for Probabilistic Concurrent Kleene Algebra (Q2870160) (← links)
- A Process Algebra for Wireless Mesh Networks (Q2892733) (← links)
- A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism (Q2986822) (← links)
- Towards an Algebra of Routing Tables (Q3007579) (← links)
- On Probabilistic Kleene Algebras, Automata and Simulations (Q3007582) (← links)
- ENUMERATING FINITE GROUPS (Q3031002) (← links)
- The Thousand-and-One Cryptographers (Q3163408) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- The Secret Art of Computer Programming (Q3393399) (← links)
- Quantitative μ-Calculus Analysis of Power Management in Wireless Networks (Q3525139) (← links)
- Compositional Closure for Bayes Risk in Probabilistic Noninterference (Q3587441) (← links)
- (Q4250666) (← links)
- (Q4255558) (← links)
- (Q4370247) (← links)
- (Q4370248) (← links)
- (Q4370249) (← links)
- (Q4428307) (← links)
- (Q4436969) (← links)
- (Q4436971) (← links)
- Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (Q4635839) (← links)
- Abstraction, Refinement and Proof for Probabilistic Systems (Q4650346) (← links)
- (Q4658722) (← links)
- A Generalisation of Stationary Distributions, and Probabilistic Program Algebra (Q4917061) (← links)
- Linear-Invariant Generation for Probabilistic Programs: (Q4930741) (← links)
- An expectation-transformer model for probabilistic temporal logic (Q4934885) (← links)
- (Q4992527) (← links)
- Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols (Q5045463) (← links)
- On Privacy and Accuracy in Data Releases (Invited Paper) (Q5089262) (← links)