Chris Hankin

	2012
89		Erwan Le Martelot, Chris Hankin: Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms CoRR abs/1201.3307: (2012)
88		Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Secondary use of data in EHR systems CoRR abs/1201.4262: (2012)
87		Erwan Le Martelot, Chris Hankin: Fast Multi-Scale Detection of Relevant Communities CoRR abs/1204.1002: (2012)
	2011
86		Erwan Le Martelot, Chris Hankin: Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm. KDIR 2011: 216-225
85		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10(2): 83-106 (2011)
	2010
84		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Semantics and Program Analysis. SFM 2010: 1-42
83		Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363
82		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Program Analysis Probably Counts. Comput. J. 53(6): 871-880 (2010)
	2009
81		Chris Hankin, Flemming Nielson, Hanne Riis Nielson: Advice from Belnap Policies. CSF 2009: 234-247
	2008
80		Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang: Advice for Coordination. COORDINATION 2008: 153-168
79		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation. ICICS 2008: 81-96
78		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation CoRR abs/0807.3879: (2008)
	2007
77		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: A Systematic Approach to Probabilistic Pointer Analysis. APLAS 2007: 335-350
76		David J. Pearce, Paul H. J. Kelly, Chris Hankin: Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30(1): (2007)
75		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Probabilistic Techniques for Data Flow Analysis. Electr. Notes Theor. Comput. Sci. 190(3): 59-77 (2007)
74		Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. J. Log. Algebr. Program. 72(2): 173-190 (2007)
	2006
73		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation 2006: 160-174
72		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Reversible Combinatory Logic. Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006)
71		Sebastian Nanz, Chris Hankin: Formal Security Analysis for Ad-Hoc Networks. Electr. Notes Theor. Comput. Sci. 142: 195-213 (2006)
70		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Reversible combinatory logic. Mathematical Structures in Computer Science 16(4): 621-637 (2006)
69		Sebastian Nanz, Chris Hankin: A framework for security analysis of mobile wireless networks. Theor. Comput. Sci. 367(1-2): 203-227 (2006)
	2005
68		Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis (2. corr. print). Springer 2005: I-XXI, 1-452
67		Chris Hankin, Igor Siveroni: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings Springer 2005
66		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO 2005: 388-407
65		Chris Hankin, Herbert Wiklicky: lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 112: 5-18 (2005)
64		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Continuous-Time Probabilistic KLAIM. Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005)
63		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative static analysis of distributed systems. J. Funct. Program. 15(5): 703-749 (2005)
62		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15(2): 159-179 (2005)
61		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340(1): 3-56 (2005)
	2004
60		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic KLAIM. COORDINATION 2004: 119-134
59		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Linda-Based Coordination Languages. FMCO 2004: 120-140
58		David J. Pearce, Paul H. J. Kelly, Chris Hankin: Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42
57		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-interference. Journal of Computer Security 12(1): 37-82 (2004)
56		David J. Pearce, Paul H. J. Kelly, Chris Hankin: Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Software Quality Journal 12(4): 311-337 (2004)
	2003
55		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative Relations and Approximate Process Equivalences. CONCUR 2003: 498-512
54		David J. Pearce, Paul H. J. Kelly, Chris Hankin: Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12
	2002
53		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-Interference. CSFW 2002: 3-17
52		Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
51		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Analysing Approximate Confinement under Uniform Attacks. SAS 2002: 310-325
50		Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath: Flow Analysis: Games and Nets. The Essence of Computation 2002: 135-156
49		David Clark, Chris Hankin, Sebastian Hunt: Information flow for Algol-like languages. Comput. Lang. 28(1): 3-28 (2002)
	2001
48		Chris Hankin, Dave Schmidt: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001 ACM 2001
47		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic confinement in a declarative framework. Electr. Notes Theor. Comput. Sci. 48: 108-130 (2001)
	2000
46		David Clark, Chris Hankin, Sebastian Hunt: Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
	1999
45		Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Springer 1999: I-XXI, 1-450
44		Pasquale Malacaria, Chris Hankin: Non-Deterministic Games and Program Analysis: An Application to Security. LICS 1999: 443-452
43		Chris Hankin, Pasquale Malacaria: Program Analysis Games. ACM Comput. Surv. 31(3es): 5 (1999)
	1998
42		Chris Hankin: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Springer 1998
41		Pasquale Malacaria, Chris Hankin: A New Approach to Control Flow Analysis. CC 1998: 95-108
40		Pasquale Malacaria, Chris Hankin: Generalised Flowcharts and Games. ICALP 1998: 363-374
39		Chris Hankin: Guest Editor's Foreword. Nord. J. Comput. 5(4): 265-266 (1998)
38		Farhad Arbab, Paolo Ciancarini, Chris Hankin: Coordination Languages for Parallel Programming. Parallel Computing 24(7): 989-1004 (1998)
37		Chris Hankin: Program Analysis Tools. STTT 2(1): 6-12 (1998)
36		Roberto Gorrieri, Chris Hankin: Foreword: Theoretical Aspects of Coordination Languages. Theor. Comput. Sci. 192(2): 163-165 (1998)
35		Chris Hankin, Daniel Le Métayer, David Sands: Refining Multiset Tranformers. Theor. Comput. Sci. 192(2): 233-258 (1998)
	1997
34		Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Position Statements on Strategic Directions for Research on Programming Languages. SIGPLAN Notices 32(1): 59-65 (1997)
	1996
33		Paolo Ciancarini, Chris Hankin: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings Springer 1996
32		Chris Hankin, Hanne Riis Nielson: Computing Surveys Symposium on Models of Programming Languages and Compuation. ACM Comput. Surv. 28(2): 293-294 (1996)
31		Chris Hankin, Hanne Riis Nielson, Jens Palsberg: Strategic Directions in Research on Programming Languages. ACM Comput. Surv. 28(4): 644-652 (1996)
	1995
30		Chris Hankin, Ian Mackie, Rajagopal Nagarajan: Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994 Imperial College Press 1995
29		Chris Hankin, Daniel Le Métayer: Lazy Type Inference and Program Analysis. Sci. Comput. Program. 25(2-3): 219-249 (1995)
	1994
28		Chris Hankin, Daniel Le Métayer: Lazy Type Inference for the Strictness Analysis of Lists. ESOP 1994: 257-271
27		Chris Hankin, Daniel Le Métayer: Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. POPL 1994: 202-212
26		Chris Hankin, Daniel Le Métayer: A Type-based Framework for Program Analysis. SAS 1994: 380-394
25		Chris Hankin, Ian Mackie, Rajagopal Nagarajan: Preface. Theory and Formal Methods 1994
24		David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
23		Chris Hankin, Sebastian Hunt: Approximate Fixed Points in Abstract Interpretation. Sci. Comput. Program. 22(3): 283-306 (1994)
	1993
22		Chris Hankin, Daniel Le Métayer, David Sands: A Parallel Programming Style and Its Algebra of Programs. PARLE 1993: 367-378
21		David Clark, Chris Hankin: A Lattice of Abstract Graphs. PLILP 1993: 318-331
20		Lindsay Errington, Chris Hankin, Thomas P. Jensen: Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125
19		Chris Hankin: Graph Rewriting Systems and Abstract Interpretation. Theory and Formal Methods 1993: 27-36
18		Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. WSA 1993: 242-253
17		Chris Hankin: Editorial: Logic in Abstract Interpretation. J. Log. Comput. 3(6): 577-578 (1993)
	1992
16		Chris Hankin, Sebastian Hunt: Approximate Fixed Points in Abstract Interpretation. ESOP 1992: 219-232
15		Chris Hankin, Daniel Le Métayer, David Sands: A Calculus of Gamma Programs. LCPC 1992: 342-355
14		Chris Hankin, Daniel Le Métayer, David Sands: Transformation of Gamma Programs. WSA 1992: 12-19
13		Chris Hankin: Editorial. J. Log. Comput. 2(4): 437-439 (1992)
	1991
12		Chris Hankin: Static Analysis of Term Graph Rewriting Systems. PARLE (2) 1991: 367-384
11		Sebastian Hunt, Chris Hankin: Fixed Points and Frontiers: A New Perspective. J. Funct. Program. 1(1): 91-120 (1991)
	1989
10		David Bolton, Chris Hankin, Paul H. J. Kelly: Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) 1989: 158-175
	1988
9		Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones: A Safe Approach to Parallel Combinator Reduction. Theor. Comput. Sci. 56: 17-36 (1988)
	1987
8		Samson Abramsky, Chris Hankin: Abstract Interpretation of Declarative Languages Ellis Horwood 1987
7		Chris Martin, Chris Hankin: Finding fixed points in finite lattices. FPCA 1987: 426-445
6		Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute: COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. PARLE (1) 1987: 51-67
	1986
5		Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones: A Safe Approach to Parallel Combinator Reduction (Extended Abstract). ESOP 1986: 99-110
4		Geoffrey L. Burn, Chris Hankin, Samson Abramsky: Strictness Analysis for Higher-Order Functions. Sci. Comput. Program. 7(3): 249-278 (1986)
	1985
3		Chris Hankin, Peter Osmon, Malcolm J. Shute: COBWEB - A Combinator Reduction Architecture. FPCA 1985: 99-112
2		Geoffrey L. Burn, Chris Hankin, Samson Abramsky: The theory of strictness analysis for higher order functions. Programs as Data Objects 1985: 42-62
	1982
1		M. D. de Jong, Chris Hankin: Structured Data Flow Programming. SIGPLAN Notices 17(8): 18-27 (1982)

Coauthor Index

1	Samson Abramsky	[2] [4] [8]
2	Alessandro Aldini	[52]
3	Paul Anderson	[6]
4	Farhad Arbab	[38]
5	David Bolton	[10]
6	Mario Bravetti	[52]
7	Geoffrey L. Burn	[2] [4] [5] [9]
8	Paolo Ciancarini	[33] [38]
9	David Clark	[21] [24] [46] [49]
10	Lindsay Errington	[18] [20] [24]
11	Roberto Gorrieri	[36] [52]
12	Sebastian Hunt	[11] [16] [23] [46] [49]
13	Thomas P. Jensen	[18] [20]
14	Simon L. Peyton Jones	[5] [9]
15	M. D. de Jong	[1]
16	Paul H. J. Kelly	[6] [10] [54] [56] [58] [76]
17	Ian Mackie	[25] [30]
18	Pasquale Malacaria	[40] [41] [43] [44]
19	Erwan Le Martelot	[86] [87] [89]
20	Chris Martin	[7]
21	Daniel Le Métayer	[14] [15] [22] [26] [27] [28] [29] [35]
22	Rajagopal Nagarajan	[25] [30] [50]
23	Sebastian Nanz	[69] [71]
24	Flemming Nielson	[45] [68] [80] [81] [83] [88]
25	Hanne Riis Nielson	[31] [32] [34] [45] [68] [80] [81] [83] [88]
26	Peter Osmon	[3] [6]
27	Jens Palsberg	[31] [34]
28	David J. Pearce	[54] [56] [58] [76]
29	Alessandra Di Pierro	[47] [51] [52] [53] [55] [57] [59] [60] [61] [62] [63] [64] [66] [70] [72] [73] [74] [75] [77] [78] [79] [82] [84] [85]
30	Prahladavaradan Sampath	[50]
31	David Sands	[14] [15] [22] [35]
32	Dave Schmidt	[48]
33	Malcolm J. Shute	[3] [6]
34	Igor Siveroni	[67] [74]
35	Herbert Wiklicky	[47] [51] [52] [53] [55] [57] [59] [60] [61] [62] [63] [64] [65] [66] [70] [72] [73] [74] [75] [77] [78] [79] [82] [84] [85]
36	Fan Yang	[80] [88]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page