×
Compute Distance To:
Author ID: hankin.chris-l Recent zbMATH articles by "Hankin, Chris L."
Published as: Hankin, Chris; Hankin, C.; Hankin, Chris L.; Hankin, C. L.; Hankin, Ch.
External Links: MGP
Documents Indexed: 47 Publications since 1984, including 6 Books
4 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 32 Co-Authors with 45 Joint Publications
487 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 242 times in 216 Documents Cited by Year
Principles of program analysis. Zbl 0932.68013
Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
83
1999
A framework for security analysis of mobile wireless networks. Zbl 1153.68322
Nanz, Sebastian; Hankin, Chris
26
2006
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
21
1986
Principles of program analysis. Corr. 2nd printing. Zbl 1069.68534
Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
19
2005
Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
12
2005
Quantitative relations and approximate process equivalences. Zbl 1274.68227
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
11
2003
The theory of strictness analysis for higher order functions. Zbl 0596.68009
Burn, G. L.; Hankin, C. L.; Abramsky, S.
10
1986
Lambda calculi. A guide for computer scientists. Zbl 0833.68070
Hankin, Chris
8
1994
Measuring the confinement of probabilistic systems. Zbl 1142.68444
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
7
2005
Analysing approximate confinement under uniform attacks. Zbl 1015.68069
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
6
2002
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
4
2002
Probabilistic KLAIM. Zbl 1081.68534
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
4
2004
Reversible combinatory logic. Zbl 1103.03015
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
3
2006
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
Principles of functional programming. Zbl 0649.68002
Glaser, Hugh; Hankin, Chris; Till, David
3
1984
Payoffs, intensionality and abstraction in games. Zbl 1264.91034
Hankin, Chris; Malacaria, Pasquale
3
2013
Safety of strictness analysis via term graph rewriting. Zbl 0966.68089
Clark, David; Hankin, Chris; Hunt, Sebastian
2
2000
Quantitative static analysis of distributed systems. Zbl 1104.68004
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2005
Abstract interpretation for worst and average case analysis. Zbl 1149.68350
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
Theoretical aspects of coordination languages. Zbl 0895.00029
2
1998
An introduction to lambda calculi for computer scientists. Zbl 1088.03002
Hankin, Chris
2
2004
A systematic approach to probabilistic pointer analysis. Zbl 1137.68352
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
A safe approach to parallel combinator reduction. Zbl 0587.68010
Hankin, Chris L.; Burn, Geoffrey L.; Jones, Simon L. Peyton
1
1986
A safe approach to parallel combinator reduction. Zbl 0632.68017
Hankin, Chris; Burn, Geoffrey; Peyton Jones, Simon
1
1988
Coordination languages for parallel programming. Zbl 0908.68083
Arbab, F.; Ciancarini, P.; Hankin, C.
1
1998
Fast multi-scale detection of overlapping communities using local criteria. Zbl 1314.68360
Le Martelot, Erwan; Hankin, Chris
1
2014
Probabilistic confinement in a declarative framework. Zbl 1263.68044
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2001
Fixed points and frontiers: A new perspective. Zbl 1155.68422
Hunt, Sebastian; Hankin, Chris
1
1991
On probabilistic techniques for data flow analysis. Zbl 1279.68034
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2007
Fast multi-scale detection of overlapping communities using local criteria. Zbl 1314.68360
Le Martelot, Erwan; Hankin, Chris
1
2014
Payoffs, intensionality and abstraction in games. Zbl 1264.91034
Hankin, Chris; Malacaria, Pasquale
3
2013
Abstract interpretation for worst and average case analysis. Zbl 1149.68350
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
A systematic approach to probabilistic pointer analysis. Zbl 1137.68352
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
On probabilistic techniques for data flow analysis. Zbl 1279.68034
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2007
A framework for security analysis of mobile wireless networks. Zbl 1153.68322
Nanz, Sebastian; Hankin, Chris
26
2006
Reversible combinatory logic. Zbl 1103.03015
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
3
2006
Principles of program analysis. Corr. 2nd printing. Zbl 1069.68534
Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
19
2005
Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
12
2005
Measuring the confinement of probabilistic systems. Zbl 1142.68444
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
7
2005
Quantitative static analysis of distributed systems. Zbl 1104.68004
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2005
Probabilistic KLAIM. Zbl 1081.68534
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
4
2004
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
An introduction to lambda calculi for computer scientists. Zbl 1088.03002
Hankin, Chris
2
2004
Quantitative relations and approximate process equivalences. Zbl 1274.68227
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
11
2003
Analysing approximate confinement under uniform attacks. Zbl 1015.68069
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
6
2002
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
4
2002
Probabilistic confinement in a declarative framework. Zbl 1263.68044
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2001
Safety of strictness analysis via term graph rewriting. Zbl 0966.68089
Clark, David; Hankin, Chris; Hunt, Sebastian
2
2000
Principles of program analysis. Zbl 0932.68013
Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris
83
1999
Theoretical aspects of coordination languages. Zbl 0895.00029
2
1998
Coordination languages for parallel programming. Zbl 0908.68083
Arbab, F.; Ciancarini, P.; Hankin, C.
1
1998
Lambda calculi. A guide for computer scientists. Zbl 0833.68070
Hankin, Chris
8
1994
Fixed points and frontiers: A new perspective. Zbl 1155.68422
Hunt, Sebastian; Hankin, Chris
1
1991
A safe approach to parallel combinator reduction. Zbl 0632.68017
Hankin, Chris; Burn, Geoffrey; Peyton Jones, Simon
1
1988
Strictness analysis for higher-order functions. Zbl 0603.68013
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson
21
1986
The theory of strictness analysis for higher order functions. Zbl 0596.68009
Burn, G. L.; Hankin, C. L.; Abramsky, S.
10
1986
A safe approach to parallel combinator reduction. Zbl 0587.68010
Hankin, Chris L.; Burn, Geoffrey L.; Jones, Simon L. Peyton
1
1986
Principles of functional programming. Zbl 0649.68002
Glaser, Hugh; Hankin, Chris; Till, David
3
1984
all top 5

Cited by 386 Authors

17 Nielson, Flemming
12 Riis Nielson, Hanne
10 Hankin, Chris L.
6 Di Pierro, Alessandra
6 Merro, Massimo
5 Albert, Elvira
5 Wiklicky, Herbert
4 Arrighi, Pablo
4 Cortesi, Agostino
4 Díaz-Caro, Alejandro
4 Schmidt, David A.
3 Degano, Pierpaolo
3 Focardi, Riccardo
3 Genaim, Samir
3 Pilegaard, Henrik
3 Puebla, Germán
3 Schmidt-Schauß, Manfred
3 Seidl, Helmut
3 Tini, Simone
2 Abramsky, Samson
2 Åman Pohjola, Johannes
2 Barendregt, Hendrik Pieter
2 Barthe, Gilles
2 Beyer, Dirk
2 Bodei, Chiara
2 Braghin, Chiara
2 Bravetti, Mario
2 Burn, Geoffrey L.
2 Cachera, David
2 Carro, Manuel
2 Charlton, Nathaniel
2 Coppo, Mario
2 Correas, Jesús
2 Faggian, Claudia
2 Ghassemi, Fatemeh
2 Godskesen, Jens Chr.
2 Goldberg, Benjamin
2 Gorla, Daniele
2 Gorrieri, Roberto
2 Hansen, René Rydhof
2 Höfner, Peter
2 Huang, Shuqin
2 Hunt, Sebastian
2 Huth, Michael R. A.
2 Kiefer, Stefan
2 Kobayashi, Naoki
2 König, Barbara
2 Kühnrich, Morten
2 Lanotte, Ruggero
2 Martin-Martin, Enrique
2 Nanz, Sebastian
2 Park, Young G.
2 Pichardie, David
2 Qin, Shengchao
2 Ranzato, Francesco
2 Ren, Shangping
2 Román-Díez, Guillermo
2 Sibilio, Eleonora
2 Sirjani, Marjan
2 Sotin, Pascal
2 Spoto, Fausto
2 Talcott, Carolyn L.
2 Tribastone, Mirco
2 Uustalu, Tarmo
2 van Glabbeek, Robert Jan
2 Vene, Varmo
2 Wąsowski, Andrzej
2 Yavuz, Tuba
1 Aidman, Eugene V.
1 Al-Sibahi, Ahmad Salim
1 Alpuim, Joao
1 Apinis, Kalmer
1 Arbab, Farhad
1 Arenas, Puri
1 Arias, Joaquin
1 Arnaud, Mathilde
1 Axelsen, Holger Bock
1 Backes, Michael
1 Ballardin, Francesco
1 Baraki, Gebreselassie
1 Barnes, Janet
1 Becker, Stephen R.
1 Bellot, Patrick
1 Ben Sassi, Mohamed Amin
1 Bento, Lucila Maria Souza
1 Boccardo, Davidson R.
1 Bolton, David
1 Bonsangue, Marcello Maria
1 Boreale, Michele
1 Borgström, Johannes
1 Bourke, Timothy
1 Bova, Simone
1 Brabrand, Claus
1 Brand, Daniel
1 Brandner, Florian
1 Brauer, Jörg
1 Brics, Mārtiņš
1 Brodo, Linda
1 Bruse, Florian
1 Brusò, Mayla
...and 286 more Authors

Citations by Year