( en | de | ru )

 

Disambiguation of "Hankin, Chris"

Author of the publication

copydeleteadd this publication to your clipboard
Approximate Non-interference.

, , and . J. Comput. Secur., 12 (1): 37-82 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chris Fröhlich

Chris Protzel

Chris Thümmler

Chris Mühlhausen

Chris Bendall

 

Other publications of authors with the same name

The Early Bird Catches The Term: Combining Twitter and News Data For Event Detection and Situational Awareness., , and . CoRR, (2015)Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms, and . CoRR, (2012)Preface., , and . Theory and Formal Methods, Imperial College Press, (1994)Strategic Directions in Research on Programming Languages., , and . ACM Comput. Surv., 28 (4): 644-652 (1996)Program Analysis Games., and . ACM Comput. Surv., 31 (3es): 5 (1999)Deep Latent Defence., , , and . CoRR, (2019)A short note on Simulation and Abstraction.. Festschrift for Dave Schmidt, volume 129 of EPTCS, page 337-340. (2013)A Parallel Programming Style and Its Algebra of Programs., , and . PARLE, volume 694 of Lecture Notes in Computer Science, page 367-378. Springer, (1993)COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer., , , , and . PARLE (1), volume 258 of Lecture Notes in Computer Science, page 51-67. Springer, (1987)Abstract Interpretation of Term Graph Rewriting Systems.. Functional Programming, page 54-65. Springer, (1990)