Yangyue Feng

According to our database, Yangyue Feng authored at least 3 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Malicious false data injection in hierarchical electric power grid state estimation systems.

Yangyue Feng, Chiara Foglietta, Alessio Baiocco, Stefano Panzieri, Stephen D. Wolthusen

Proceedings of the Fourth International Conference on Future Energy Systems, 2013

2010

A theory of dependent record types with structural subtyping.

Yangyue Feng

PhD thesis, 2010

2009

Typed Operational Semantics for Dependent Record Types

Yangyue Feng, Zhaohui Luo

Proceedings of the Proceedings Types for Proofs and Programs, Revised Selected Papers, 2009