Следене
Chris Hankin
Chris Hankin
Professor of Computing Science, Imperial College London
Потвърден имейл адрес: imperial.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
Principles of program analysis
F Nielson, HR Nielson, C Hankin
Springer, 2015
31152015
Abstract interpretation of declarative languages
S Abramsky, C Hankin
Prentice Hall Professional Technical Reference, 1987
4491987
Decision support approaches for cyber security investment
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
Decision support systems 86, 13-23, 2016
3232016
Efficient field-sensitive pointer analysis of C
DJ Pearce, PHJ Kelly, C Hankin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4-es, 2007
2352007
Strictness analysis for higher-order functions
GL Burn, C Hankin, S Abramsky
Science of computer programming 7, 249-278, 1986
2301986
Cybersecurity and healthcare: how safe are we?
G Martin, P Martin, C Hankin, A Darzi, J Kinross
Bmj 358, 2017
2122017
A framework for security analysis of mobile wireless networks
S Nanz, C Hankin
Theoretical Computer Science 367 (1-2), 203-227, 2006
2022006
Approximate non-interference
A Di Pierro, C Hankin, H Wiklicky
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 3-17, 2002
2012002
Type and effect systems
F Nielson, HR Nielson, C Hankin, F Nielson, HR Nielson, C Hankin
Principles of Program Analysis, 283-363, 1999
1981999
Lambda Calculi: a guide for computer scientists
C Hankin
Oxford University Press, 1994
1281994
The theory of strictness analysis for higher order functions
GL Burn, CL Hankin, S Abramsky
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 1986
1161986
Real-time processing of social media with SENTINEL: A syndromic surveillance system incorporating deep learning for health classification
O Șerban, N Thapen, B Maginnis, C Hankin, V Foot
Information Processing & Management 56 (3), 1166-1184, 2019
1102019
Principles of functional programming
H Glaser, C Hankin, D Till
Prentice-Hall, Inc., 1984
981984
A calculus of Gamma programs
C Hankin, D LeMétayer, D Sands
International Workshop on Languages and Compilers for Parallel Computing …, 1992
931992
Game theory meets information security management
A Fielder, E Panaousis, P Malacaria, C Hankin, F Smeraldi
ICT Systems Security and Privacy Protection: 29th IFIP TC 11 International …, 2014
882014
Fast multi-scale detection of relevant communities in large-scale networks
E Le Martelot, C Hankin
The Computer Journal 56 (9), 1136-1150, 2013
842013
Coordination Languages and Models
P Ciancarini, C Hankin
Springer, 1996
791996
An introduction to lambda calculi for computer scientists
C Hankin
(No Title), 2004
742004
Coordination programming: mechanisms, models and semantics
JM Andreoli, C Hankin, D Le Métayer
World Scientific, 1996
691996
Probabilistic λ-calculus and quantitative program analysis
A Di Pierro, C Hankin, H Wiklicky
Journal of Logic and Computation 15 (2), 159-179, 2005
682005
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20