Chris Hankin
Chris Hankin
Professor of Computing Science, Imperial College London
Verified email at imperial.ac.uk - Homepage
TitleCited byYear
Principles of program analysis
F Nielson, HR Nielson, C Hankin
Springer, 2015
25192015
Abstract interpretation of declarative languages
S Abramsky, C Hankin
Halsted Press, 1987
4141987
Strictness analysis for higher-order functions
GL Burn, C Hankin, S Abramsky
Science of computer programming 7, 249-278, 1986
2131986
A framework for security analysis of mobile wireless networks
S Nanz, C Hankin
Theoretical Computer Science 367 (1-2), 203-227, 2006
1902006
Efficient field-sensitive pointer analysis of C
DJ Pearce, PHJ Kelly, C Hankin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4, 2007
1842007
Approximate non-interference
A Di Pierro, C Hankin, H Wiklicky
Journal of Computer Security 12 (1), 37-81, 2004
1782004
Type and effect systems
F Nielson, HR Nielson, C Hankin
Principles of Program Analysis, 283-363, 1999
1551999
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision Support Systems 86, 13-23, 2016
1172016
Lambda calculi: a guide for computer scientists
C Hankin
Oxford University Press, USA, 1994
1101994
The theory of strictness analysis for higher order functions
GL Burn, CL Hankin, S Abramsky
Programs as data objects, 42-62, 1986
1051986
Coordination programming: mechanisms, models and semantics
A Jean-marc, H Chris, D Le Métayer
World Scientific, 1996
951996
A calculus of Gamma programs
C Hankin, D LeMétayer, D Sands
International Workshop on Languages and Compilers for Parallel Computing …, 1992
871992
Principles of functional programming
H Glaser, CL Hankin, D Till
Prentice Hall, 1984
871984
Coordination Languages and Models First International Conference, COORDINATION'96 Cesena, Italy, April 15–17, 1996 Proceedings
P Ciancarini, C Hankin
Conference proceedings COORDINATION, 133, 1996
83*1996
Fast multi-scale detection of relevant communities in large-scale networks
E Le Martelot, C Hankin
The Computer Journal 56 (9), 1136-1150, 2013
722013
Information flow for Algol-like languages
D Clark, C Hankin, S Hunt
Computer Languages, Systems & Structures 28 (1), 3-28, 2002
622002
An introduction to abstract interpretation
S Abramsky, C Hankin
Abstract Interpretation of declarative languages 1, 63-102, 1987
621987
An introduction to lambda calculi for computer scientists
C Hankin
King's College, 2004
592004
Probabilistic λ-calculus and quantitative program analysis
A Di Pierro, C Hankin, H Wiklicky
Journal of Logic and Computation 15 (2), 159-179, 2005
572005
Quantitative relations and approximate process equivalences
A Di Pierro, C Hankin, H Wiklicky
International Conference on Concurrency Theory, 508-522, 2003
562003
The system can't perform the operation now. Try again later.
Articles 1–20