The following pages link to Chris Hankin (Q488869):
Displaying 48 items.
- Fast multi-scale detection of overlapping communities using local criteria (Q488870) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- An operational semantics for paragon: A design notation for parallel architectures (Q756433) (← links)
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- Strictness analysis for higher-order functions (Q1082802) (← links)
- A safe approach to parallel combinator reduction (Q1095642) (← links)
- Refining multiset transformers (Q1127515) (← links)
- (Q1275038) (redirect page) (← links)
- Coordination languages for parallel programming (Q1275039) (← links)
- Approximate fixed points in abstract interpretation (Q1330439) (← links)
- Erratum to: Approximate fixed points in abstrat interpretation (Q1336777) (← links)
- Program analysis tools (Q1856179) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- (Q2722050) (← links)
- Game Theory and Industrial Control Systems (Q2796223) (← links)
- \(\lambda\)-calculus and quantitative program analysis (extended abstract) (Q2849843) (← links)
- On reversible combinatory logic (Q2851703) (← links)
- On probabilistic techniques for data flow analysis (Q2870284) (← links)
- Probabilistic -calculus and Quantitative Program Analysis (Q3025332) (← links)
- (Q3026317) (← links)
- (Q3495633) (← links)
- A Systematic Approach to Probabilistic Pointer Analysis (Q3498445) (← links)
- Probabilistic Semantics and Program Analysis (Q3575027) (← links)
- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages (Q3591396) (← links)
- Abstract Interpretation for Worst and Average Case Analysis (Q3593073) (← links)
- (Q3713568) (← links)
- (Q3729991) (← links)
- (Q3795183) (← links)
- (Q4255591) (← links)
- (Q4281609) (← links)
- (Q4411968) (← links)
- (Q4414728) (← links)
- (Q4671219) (← links)
- (Q4843179) (← links)
- (Q4870820) (← links)
- (Q4912863) (← links)
- Payoffs, Intensionality and Abstraction in Games (Q4922074) (← links)
- Probabilistic Confinement in a Declarative Framework (Q4923521) (← links)
- Fixed points and frontiers: a new perspective (Q4939693) (← links)
- (Q4994701) (← links)
- Reversible combinatory logic (Q5482262) (← links)
- Quantitative static analysis of distributed systems (Q5695117) (← links)
- (Q5714284) (← links)
- Coordination Models and Languages (Q5717720) (← links)
- Formal Methods for Components and Objects (Q5897448) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900586) (← links)
- Foundations of Security Analysis and Design II (Q5901850) (← links)
