Typed Operational Semantics for Dependent Record Types - Yangyue Feng; Zhaohui Luo (TYPES, 2009)

A theory of dependent record types with structural subtyping. - Yangyue Feng (2010)

Malicious false data injection in hierarchical electric power grid state estimation systems. - Yangyue Feng; Chiara Foglietta; Alessio Baiocco; Stefano Panzieri; Stephen D. Wolthusen (e-Energy, 2013)