Publications
161 results found
Di Pierro A, Hankin C, Wiklicky H, 2002, On approximate non-interference, Proceedings of 2nd workshop on issues in the theory of security (WITS '02); 2002 ACM SIGPLAN and IFIP WG 1.7, Portland, Oregon, USA, 14 - 15 January 2002, Pages: 1-12
Hankin C, Jensen T, 2002, Security and safety through static analysis, ERCIM News, Vol: 49, Pages: 22-23, ISSN: 0926-4981
Di Pierro A, Hankin C, Wiklicky H, 2001, Probabilistic confinement in a declarative framework, Declarative programming - selected papers from AGP 2000, La Habana, Cuba, 4-6 December 2000, Pages: 1-23, ISSN: 1571-0661
Clark D, Hankin CL, Hunt S, et al., 2000, Possibilistic Information Flow is safe for Probabilistic Non-interference, Proceedings IFIP Workshop on Issues in the Theory of Security
Clark D, Hankin CL, Hunt S, 2000, Safety of Strictness Analysis via Term Graph Rewriting, Proceedings of SAS 2000, Publisher: Springer Verlag
Di Pierro A, Hankin CL, Wiklicky H, 2000, Probabilistic Confinement in a Declarative Framework, Proceedings of the GULP-PRODE Joint Conference on Declarative Programming, Pages: 1-23, ISSN: 1571-0661
Di Pierro A, Hankin CL, Wiklicky H, 2000, Probabilistic Security Analysis in a Declarative Framework, Proceedings IFIP Workshop on Issues in the Theory of Security
Hankin CL, 2000, Coordination Languages, Encyclopedia of Computer Science, Publisher: Nature Publishing Group, Pages: 462-465
Hankin CL, 1999, Models of Computation, Encyclopedia of Computer Science and Technology, Editors: Kent, Williams, Dekker
Hankin CL, Malacaria P, 1999, Program Analysis Games, Acm Computing Surveys, Vol: 31
Malacaria P, Hankin CL, 1999, Non-deterministic Games and Program Analysis: An application to security, Proceedings of LICS'99, Publisher: IEEE Press
Nielson F, Nielson HR, Hankin C, 1999, Principles of Program Analysis, Heidelberg, Publisher: Springer Verlag
Nielson F, Nielson HR, Hankin CL, 1999, Principles of Program Analysis, Publisher: Springer Verlag
Hankin CL, 1998, Program Analysis Tools, Software Tools for Technology Transfer, Vol: 2
Arbab F, Ciancarini P, Hankin CL, 1998, Coordination Languages for Parallel Programming, Parallel Computing, Vol: 24
Hankin CL, Le Metayer D, 1998, Refining Multiset Transformers, Theoretical Computer Science
Hankin CL, Gorrieri R, 1998, Coordination Languages, Theoretical Computer Science
Malacaria P, Hankin CL, 1998, A new approach to Control Flow Analysis, Proceedings of CC'98, Publisher: Springer-Verlag
Hankin CL, 1998, Programming Languages and Systems, ETIP'98, Publisher: Springer-Verlag
Malacaria P, Hankin CL, 1998, A New Approach to Control Flow Analysts, Proceedings CC 98, Publisher: Springer-Verlag
Malacaria P, Hankin CL, 1998, Generalised Flowcharts and Games, Proceedings of ICALP'98, Publisher: Springer-Verlag
Malacaria P, Hankin CL, 1998, Checking Security through Semantics, Proceedings of the Theory and Formal Methods workshop
Hankin CL, Nielson HR, Palsberg J, 1997, Position Statements on Strategic Directions for Research on Programming Languages, ACM Sigplan Notices
Gay S, Hankin CL, 1996, Gamma and the logic of Transition Traces, Theory and Formal Methods of Computing 95, Publisher: IC Press
Andreoli JM, Hankin CL, Le Metayer D, 1996, Coordination Programming: Mechanisms, Models and Semantics, Publisher: Imperial College Press
, 1996, [no title supplied on import], Coordination '96: Coordination Languages and Models, Publisher: Springer Verlag
, 1996, [no title supplied on import], Symposium on Models of Programming Languages and Computation, Pages: 293-294
Hankin CL, Nielson HR, Palsberg J, 1996, Strategic Directions for Research on Programming Languages, Acm Computing Surveys, Vol: 28, Pages: 644-652
Hankin CL, Le Metayer D, 1995, Lazy Type Inference and Program Analysis, Science of Computer Programming, Vol: 25, Pages: 219-249
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.