H. Yang

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Practical and Compatible Cryptographic Solution to ADS-B Security

H. Yang and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)

Semantics of Separation-Logic Typing and Higher-Order Frame Rules

L. Birkedal and others (2005) · IEEE

Separation and information hiding

P. W. O'Hearn and others (2004) · Association for Computing Machinery (ACM)

An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm

H. Yang (2001) · SPACE 2001: Informal Proceedings of Workshop on Semantics, Program Analysis and Computing Environments for Memory Management