Edit Profile (opens in new tab) Hankin, Chris L. Compute Distance To: Compute Author ID: hankin.chris-l Published as: Hankin, Chris; Hankin, C.; Hankin, Chris L.; Hankin, C. L.; Hankin, Ch. more...less 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 all top 5 Co-Authors 5 single-authored 18 Wiklicky, Herbert 17 Di Pierro, Alessandra 5 Hunt, Sebastian 4 Burn, Geoffrey L. 4 Clark, David 2 Abramsky, Samson 2 Gorrieri, Roberto 2 Nagarajan, Rajagopal 2 Nielson, Flemming 2 Peyton Jones, Simon L. 2 Riis Nielson, Hanne 2 Siveroni, Igor A. 1 Aldini, Alessandro 1 Arabadjiyski, K. S. 1 Arbab, Farhad 1 Bolton, David 1 Bravetti, Mario 1 Ciancarini, Paolo 1 Errington, Lindsay 1 Glaser, Hugh 1 Hansen, René Rydhof 1 Kelly, Paul H. J. 1 Le Martelot, Erwan 1 Le Métayer, Daniel 1 Mackie, Ian 1 Malacaria, Pasquale 1 Martin, Chris 1 Nanz, Sebastian 1 Probst, Christian W. 1 Rasga, João 1 Sampath, Prahladavaradan 1 Sands, David 1 Till, David all top 5 Serials 5 Theoretical Computer Science 3 Science of Computer Programming 2 Journal of Functional Programming 2 Lecture Notes in Computer Science 1 Computing 1 Parallel Computing 1 New Generation Computing 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Texts in Computing 1 Cadernos de Lógica e Computação all top 5 Fields 50 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 29 Publications have been cited 242 times in 216 Documents Cited by ▼ Year ▼ Principles of program analysis. Zbl 0932.68013Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris 83 1999 A framework for security analysis of mobile wireless networks. Zbl 1153.68322Nanz, Sebastian; Hankin, Chris 26 2006 Strictness analysis for higher-order functions. Zbl 0603.68013Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson 21 1986 Principles of program analysis. Corr. 2nd printing. Zbl 1069.68534Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris 19 2005 Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 12 2005 Quantitative relations and approximate process equivalences. Zbl 1274.68227Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 11 2003 The theory of strictness analysis for higher order functions. Zbl 0596.68009Burn, G. L.; Hankin, C. L.; Abramsky, S. 10 1986 Lambda calculi. A guide for computer scientists. Zbl 0833.68070Hankin, Chris 8 1994 Measuring the confinement of probabilistic systems. Zbl 1142.68444Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 7 2005 Analysing approximate confinement under uniform attacks. Zbl 1015.68069Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 6 2002 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Probabilistic KLAIM. Zbl 1081.68534Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 4 2004 Reversible combinatory logic. Zbl 1103.03015Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 3 2006 Two formal approaches for approximating noninterference properties. Zbl 1202.68163Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert 3 2004 Principles of functional programming. Zbl 0649.68002Glaser, Hugh; Hankin, Chris; Till, David 3 1984 Payoffs, intensionality and abstraction in games. Zbl 1264.91034Hankin, Chris; Malacaria, Pasquale 3 2013 Safety of strictness analysis via term graph rewriting. Zbl 0966.68089Clark, David; Hankin, Chris; Hunt, Sebastian 2 2000 Quantitative static analysis of distributed systems. Zbl 1104.68004Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 2 2005 Abstract interpretation for worst and average case analysis. Zbl 1149.68350Di 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.03002Hankin, Chris 2 2004 A systematic approach to probabilistic pointer analysis. Zbl 1137.68352Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 2 2007 A safe approach to parallel combinator reduction. Zbl 0587.68010Hankin, Chris L.; Burn, Geoffrey L.; Jones, Simon L. Peyton 1 1986 A safe approach to parallel combinator reduction. Zbl 0632.68017Hankin, Chris; Burn, Geoffrey; Peyton Jones, Simon 1 1988 Coordination languages for parallel programming. Zbl 0908.68083Arbab, F.; Ciancarini, P.; Hankin, C. 1 1998 Fast multi-scale detection of overlapping communities using local criteria. Zbl 1314.68360Le Martelot, Erwan; Hankin, Chris 1 2014 Probabilistic confinement in a declarative framework. Zbl 1263.68044Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 1 2001 Fixed points and frontiers: A new perspective. Zbl 1155.68422Hunt, Sebastian; Hankin, Chris 1 1991 On probabilistic techniques for data flow analysis. Zbl 1279.68034Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 1 2007 Fast multi-scale detection of overlapping communities using local criteria. Zbl 1314.68360Le Martelot, Erwan; Hankin, Chris 1 2014 Payoffs, intensionality and abstraction in games. Zbl 1264.91034Hankin, Chris; Malacaria, Pasquale 3 2013 Abstract interpretation for worst and average case analysis. Zbl 1149.68350Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 2 2007 A systematic approach to probabilistic pointer analysis. Zbl 1137.68352Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 2 2007 On probabilistic techniques for data flow analysis. Zbl 1279.68034Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 1 2007 A framework for security analysis of mobile wireless networks. Zbl 1153.68322Nanz, Sebastian; Hankin, Chris 26 2006 Reversible combinatory logic. Zbl 1103.03015Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 3 2006 Principles of program analysis. Corr. 2nd printing. Zbl 1069.68534Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris 19 2005 Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 12 2005 Measuring the confinement of probabilistic systems. Zbl 1142.68444Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 7 2005 Quantitative static analysis of distributed systems. Zbl 1104.68004Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 2 2005 Probabilistic KLAIM. Zbl 1081.68534Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 4 2004 Two formal approaches for approximating noninterference properties. Zbl 1202.68163Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert 3 2004 An introduction to lambda calculi for computer scientists. Zbl 1088.03002Hankin, Chris 2 2004 Quantitative relations and approximate process equivalences. Zbl 1274.68227Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 11 2003 Analysing approximate confinement under uniform attacks. Zbl 1015.68069Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 6 2002 Information flow for Algol-like languages. Zbl 1027.68021Clark, David; Hankin, Chris; Hunt, Sebastian 4 2002 Probabilistic confinement in a declarative framework. Zbl 1263.68044Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert 1 2001 Safety of strictness analysis via term graph rewriting. Zbl 0966.68089Clark, David; Hankin, Chris; Hunt, Sebastian 2 2000 Principles of program analysis. Zbl 0932.68013Nielson, 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.68083Arbab, F.; Ciancarini, P.; Hankin, C. 1 1998 Lambda calculi. A guide for computer scientists. Zbl 0833.68070Hankin, Chris 8 1994 Fixed points and frontiers: A new perspective. Zbl 1155.68422Hunt, Sebastian; Hankin, Chris 1 1991 A safe approach to parallel combinator reduction. Zbl 0632.68017Hankin, Chris; Burn, Geoffrey; Peyton Jones, Simon 1 1988 Strictness analysis for higher-order functions. Zbl 0603.68013Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson 21 1986 The theory of strictness analysis for higher order functions. Zbl 0596.68009Burn, G. L.; Hankin, C. L.; Abramsky, S. 10 1986 A safe approach to parallel combinator reduction. Zbl 0587.68010Hankin, Chris L.; Burn, Geoffrey L.; Jones, Simon L. Peyton 1 1986 Principles of functional programming. Zbl 0649.68002Glaser, Hugh; Hankin, Chris; Till, David 3 1984 all cited Publications top 5 cited Publications 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 all top 5 Cited in 37 Serials 32 Theoretical Computer Science 22 Information and Computation 8 Journal of Automated Reasoning 8 Formal Aspects of Computing 8 Computer Languages, Systems & Structures 7 Science of Computer Programming 7 The Journal of Logic and Algebraic Programming 6 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 5 Information Processing Letters 5 Logical Methods in Computer Science 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Functional Programming 3 Formal Methods in System Design 3 Higher-Order and Symbolic Computation 2 Computing 2 Journal of Symbolic Computation 2 RAIRO. Informatique Théorique et Applications 2 Theory and Practice of Logic Programming 2 ACM Transactions on Computational Logic 1 International Journal of General Systems 1 Information Sciences 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Journal of Computer Science and Technology 1 New Generation Computing 1 Algorithmica 1 Real-Time Systems 1 Distributed Computing 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 Nonlinear Dynamics 1 RAIRO. Theoretical Informatics and Applications 1 Foundations of Science 1 RAIRO. Theoretical Informatics and Applications 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 15 Fields 208 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 13 Information and communication theory, circuits (94-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Quantum theory (81-XX) 3 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Probability theory and stochastic processes (60-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year