Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chris Hankin" ( http://dblp.L3S.de/Authors/Chris_Hankin )

URL (Homepage):  http://www.doc.ic.ac.uk/old-doc/chris.html  Author page on DBLP  Author page in RDF  Community of Chris Hankin in ASPL-2

Publication years (Num. hits)
1982-1992 (16) 1993-1996 (17) 1997-2002 (19) 2003-2005 (15) 2006-2010 (16) 2011-2012 (5)
Publication types (Num. hits)
article(39) book(3) inproceedings(42) proceedings(4)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(6) Theor. Comput. Sci.(5) Theory and Formal Methods(5) CoRR(4) ESOP(4) PARLE(4) SAS(4) ACM Comput. Surv.(3) COORDINATION(3) J. Log. Comput.(3) Sci. Comput. Program.(3) FMCO(2) FPCA(2) J. Funct. Program.(2) SIGPLAN Notices(2) WSA(2) More (+10 of total 47)
Authors
Chris Hankin(88) Herbert Wiklicky(25) Alessandra Di Pierro(24) Hanne Riis Nielson(9) Daniel Le Métayer(8) Flemming Nielson(6) Paul H. J. Kelly(6) Sebastian Hunt(5) David Clark(4) David J. Pearce(4) David Sands(4) Geoffrey L. Burn(4) Pasquale Malacaria(4) Erwan Le Martelot(3) Lindsay Errington(3) Rajagopal Nagarajan(3) More (+10 of total 36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 17 keywords
Results
Found 88 publication records. Showing 88 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson Secondary use of data in EHR systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Erwan Le Martelot, Chris Hankin Fast Multi-Scale Detection of Relevant Communities Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Erwan Le Martelot, Chris Hankin Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic timing covert channels: to close or not to close? Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erwan Le Martelot, Chris Hankin Multi-scale Community Detection using Stability as Optimisation Criterion in a Greedy Algorithm. Search on Bibsonomy KDIR The full citation details ... 2011 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Program Analysis Probably Counts. Search on Bibsonomy Comput. J. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic Semantics and Program Analysis. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Flemming Nielson, Hanne Riis Nielson Probabilistic Aspects: Checking Security in an Imperfect World. Search on Bibsonomy TGC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Flemming Nielson, Hanne Riis Nielson Advice from Belnap Policies. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Belnap Logic, Verification, Access Control, Aspect-oriented Programming
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation. Search on Bibsonomy ICICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang Advice for Coordination. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky Tempus fugit: How to plug it. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On Probabilistic Techniques for Data Flow Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David J. Pearce, Paul H. J. Kelly, Chris Hankin Efficient field-sensitive pointer analysis of C. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pointer analysis, Set-constraints
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky A Systematic Approach to Probabilistic Pointer Analysis. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sebastian Nanz, Chris Hankin A framework for security analysis of mobile wireless networks. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Reversible combinatory logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On Reversible Combinatory Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sebastian Nanz, Chris Hankin Formal Security Analysis for Ad-Hoc Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Abstract Interpretation for Worst and Average Case Analysis. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Measuring the confinement of probabilistic systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Herbert Wiklicky lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Continuous-Time Probabilistic KLAIM. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic /lambda-calculus and Quantitative Program Analysis. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantitative static analysis of distributed systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Flemming Nielson, Hanne Riis Nielson, Chris Hankin Principles of program analysis (2. corr. print). Search on Bibsonomy 2005   RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. Search on Bibsonomy FMCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Igor Siveroni (eds.) Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings Search on Bibsonomy SAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Approximate Non-interference. Search on Bibsonomy Journal of Computer Security The full citation details ... 2004 DBLP  BibTeX  RDF
1David J. Pearce, Paul H. J. Kelly, Chris Hankin Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Search on Bibsonomy Software Quality Journal The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic KLAIM. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic Linda-Based Coordination Languages. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David J. Pearce, Paul H. J. Kelly, Chris Hankin Efficient field-sensitive pointer analysis for C. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pointer analysis, set-constraints
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantitative Relations and Approximate Process Equivalences. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David J. Pearce, Paul H. J. Kelly, Chris Hankin Online Cycle Detection and Difference Propagation for Pointer Analysis. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David Clark, Chris Hankin, Sebastian Hunt Information flow for Algol-like languages. Search on Bibsonomy Comput. Lang. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky Two Formal Approaches for Approximating Noninterference Properties. Search on Bibsonomy FOSAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Approximate Non-Interference. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath Flow Analysis: Games and Nets. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Analysing Approximate Confinement under Uniform Attacks. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic confinement in a declarative framework. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David Clark, Chris Hankin, Sebastian Hunt Safety of Strictness Analysis via Term Graph Rewriting. Search on Bibsonomy SAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Pasquale Malacaria Program Analysis Games. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Flemming Nielson, Hanne Riis Nielson, Chris Hankin Principles of program analysis. Search on Bibsonomy 1999   RDF
1Pasquale Malacaria, Chris Hankin Non-Deterministic Games and Program Analysis: An Application to Security. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF security, type systems, linear logic, game semantics
1Roberto Gorrieri, Chris Hankin Foreword: Theoretical Aspects of Coordination Languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer, David Sands Refining Multiset Tranformers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Farhad Arbab, Paolo Ciancarini, Chris Hankin Coordination Languages for Parallel Programming. Search on Bibsonomy Parallel Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris Hankin Program Analysis Tools. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Types and effects, Program analysis generator, Program analysis, Abstract interpretation, Data flow analysis
1Chris Hankin Guest Editor's Foreword. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1998 DBLP  BibTeX  RDF
1Pasquale Malacaria, Chris Hankin Generalised Flowcharts and Games. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pasquale Malacaria, Chris Hankin A New Approach to Control Flow Analysis. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chris Hankin (eds.) 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 Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  BibTeX  RDF
1Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Hanne Riis Nielson, Jens Palsberg Strategic Directions in Research on Programming Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Hanne Riis Nielson Computing Surveys Symposium on Models of Programming Languages and Compuation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paolo Ciancarini, Chris Hankin (eds.) Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings Search on Bibsonomy COORDINATION The full citation details ... 1996 DBLP  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer Lazy Type Inference and Program Analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Ian Mackie, Rajagopal Nagarajan (eds.) Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994 Search on Bibsonomy Theory and Formal Methods The full citation details ... 1995 DBLP  BibTeX  RDF
1Chris Hankin, Sebastian Hunt Approximate Fixed Points in Abstract Interpretation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David Clark, Lindsay Errington, Chris Hankin Static Analysis of Value-Passing Process Calculi. Search on Bibsonomy Theory and Formal Methods The full citation details ... 1994 DBLP  BibTeX  RDF
1Chris Hankin, Ian Mackie, Rajagopal Nagarajan Preface. Search on Bibsonomy Theory and Formal Methods The full citation details ... 1994 DBLP  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer A Type-based Framework for Program Analysis. Search on Bibsonomy SAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer Lazy Type Inference for the Strictness Analysis of Lists. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chris Hankin Editorial: Logic in Abstract Interpretation. Search on Bibsonomy J. Log. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer, David Sands A Parallel Programming Style and Its Algebra of Programs. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Chris Hankin Graph Rewriting Systems and Abstract Interpretation. Search on Bibsonomy Theory and Formal Methods The full citation details ... 1993 DBLP  BibTeX  RDF
1Lindsay Errington, Chris Hankin, Thomas P. Jensen Reasoning About Gamma Programs. Search on Bibsonomy Theory and Formal Methods The full citation details ... 1993 DBLP  BibTeX  RDF
1David Clark, Chris Hankin A Lattice of Abstract Graphs. Search on Bibsonomy PLILP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Lindsay Errington, Chris Hankin, Thomas P. Jensen A Congruence for Gamma Programs. Search on Bibsonomy WSA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Chris Hankin Editorial. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer, David Sands Transformation of Gamma Programs. Search on Bibsonomy WSA The full citation details ... 1992 DBLP  BibTeX  RDF
1Chris Hankin, Daniel Le Métayer, David Sands A Calculus of Gamma Programs. Search on Bibsonomy LCPC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Sebastian Hunt Approximate Fixed Points in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Sebastian Hunt, Chris Hankin Fixed Points and Frontiers: A New Perspective. Search on Bibsonomy J. Funct. Program. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Chris Hankin Static Analysis of Term Graph Rewriting Systems. Search on Bibsonomy PARLE The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1David Bolton, Chris Hankin, Paul H. J. Kelly Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). Search on Bibsonomy PARLE The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Parallel combinator reduction, object-oriented programming, graph rewriting systems
1Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones A Safe Approach to Parallel Combinator Reduction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Chris Hankin (eds.) Abstract Interpretation of Declarative Languages Search on Bibsonomy 1987   RDF
1Paul Anderson, Chris Hankin, Paul H. J. Kelly, Peter Osmon, Malcolm J. Shute COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer. Search on Bibsonomy PARLE The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Chris Martin, Chris Hankin Finding fixed points in finite lattices. Search on Bibsonomy FPCA The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Geoffrey L. Burn, Chris Hankin, Samson Abramsky Strictness Analysis for Higher-Order Functions. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones A Safe Approach to Parallel Combinator Reduction (Extended Abstract). Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
1Chris Hankin, Peter Osmon, Malcolm J. Shute COBWEB - A Combinator Reduction Architecture. Search on Bibsonomy FPCA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Geoffrey L. Burn, Chris Hankin, Samson Abramsky The theory of strictness analysis for higher order functions. Search on Bibsonomy Programs as Data Objects The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1M. D. de Jong, Chris Hankin Structured Data Flow Programming. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #88 of 88 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.