The following pages link to Mark D. Ryan (Q1602966):
Displaying 30 items.
- (Q210004) (redirect page) (← links)
- Counterfactuals and updates as inverse modalities (Q1357671) (← links)
- Implementation of belief change operators using BDDs (Q1602967) (← links)
- Belief revision and verisimilitude (Q1903576) (← links)
- Composition of password-based protocols (Q2248082) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Fair multi-party contract signing using private contract signatures (Q2482447) (← links)
- (Q2848430) (← links)
- (Q2863856) (← links)
- Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity (Q2894321) (← links)
- Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster (Q3569110) (← links)
- (Q4225114) (← links)
- Operators and Laws for Combining Preference Relations (Q4329521) (← links)
- (Q4737004) (← links)
- (Q4739288) (← links)
- (Q4817052) (← links)
- (Q4817056) (← links)
- Requirements, specifications, and minimal refinement (Q4916211) (← links)
- Programming Languages and Systems (Q5316564) (← links)
- Model Checking Agent Knowledge in Dynamic Access Control Policies (Q5326344) (← links)
- Practical Everlasting Privacy (Q5326751) (← links)
- Improved Multi-party Contract Signing (Q5448628) (← links)
- Symbolic Bisimulation for the Applied Pi Calculus (Q5458829) (← links)
- Information Security (Q5492771) (← links)
- Information Security (Q5493195) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703780) (← links)
- Objects, Agents, and Features (Q5713980) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5899160) (← links)
- Minimal refinements of specifications in modal and temporal logics (Q5920375) (← links)
- Feature integration using a feature construct (Q5946570) (← links)
