The following pages link to Andrew D. Gordon (Q557894):
Displaying 50 items.
- A calculus for cryptographic protocols: The spi calculus (Q1283776) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- (Q1575153) (redirect page) (← links)
- Mobile ambients (Q1575154) (← links)
- Bisimilarity as a theory of functional programming (Q1575889) (← links)
- Secrecy and group creation (Q1763430) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Validating a web service security abstraction by typing (Q2576588) (← links)
- (Q2704321) (← links)
- (Q2769429) (← links)
- (Q2778816) (← links)
- Fabular: regression formulas as probabilistic programming (Q2828269) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- On solving stochastic collocation systems with algebraic multigrid (Q2902202) (← links)
- (Q2906944) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- A Preconditioner for Fictitious Domain Formulations of Elliptic PDEs on Uncertain Parameterized Domains (Q2938462) (← links)
- A lambda-calculus foundation for universal probabilistic programming (Q2981999) (← links)
- Solving Stochastic Collocation Systems with Algebraic Multigrid (Q3000148) (← links)
- Roles, stacks, histories: A triple for Hoare (Q3021420) (← links)
- Principles and Applications of Refinement Types (Q3060978) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Roles, Stacks, Histories: A Triple for Hoare (Q3163398) (← links)
- Deciding validity in a spatial logic for trees (Q3367666) (← links)
- (Q3525844) (← links)
- (Q4222760) (← links)
- (Q4222941) (← links)
- (Q4223023) (← links)
- (Q4230922) (← links)
- Relating operational and denotational semantics for input/output effects (Q4248540) (← links)
- (Q4418581) (← links)
- (Q4428316) (← links)
- (Q4474850) (← links)
- (Q4484480) (← links)
- (Q4536340) (← links)
- (Q4536435) (← links)
- (Q4536614) (← links)
- Region analysis and a π-calculus with groups (Q4542148) (← links)
- (Q4698362) (← links)
- (Q4738363) (← links)
- (Q4778711) (← links)
- (Q4798028) (← links)
- Equational properties of mobile ambients (Q4814186) (← links)
- (Q4856176) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)
- Compilation and equivalence of imperative objects (Q4943358) (← links)
- Tabular: Probabilistic Inference from the Spreadsheet (Q5150959) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)
