AUTO STAR - a software development system. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 1989)

Transformational programming: the derivation of a Prolog interpretation algorithm. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 1989)

Program derivation in PowerEpsilon. - Ming-Yuan Zhu; Cheng-Wei Wang (COMPSAC, 1992)

An Overview of Specification Language Universe. - Ming-Yuan Zhu; Cheng-Wei Wang (IFIP Congress (1), 1992)

Computing with real world: a fuzzy duration calculs. - Ming-Yuan Zhu; Cheng-Wei Wang (COMPSAC, 1993)

Program extraction by type erasing. - Ming-Yuan Zhu; Yi-Qiang Ding (COMPSAC, 1994)

Computational Reflection in PowerEpsilon. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 1994)

Mechanical synthesis of a unification algorithm in PowerEpsilon. - Ming-Yuan Zhu; Xiao-Bai Mo (COMPSAC, 1995)

Program Transformation in Constructive Type Theory. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 1995)

A Provably Correct Operating System: delta-Core. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)

The Minimal Model of Operating Systems. - Ming-Yuan Zhu; Lei Luo 004; Guang-Zhe Xiong (ACM SIGOPS Oper. Syst. Rev., 2001)

Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 2001)

Formal Specification of Debuggers. - Ming-Yuan Zhu (ACM SIGPLAN Notices, 2001)

Partitioning based operating system: a formal model. - Lei Luo 004; Ming-Yuan Zhu (ACM SIGOPS Oper. Syst. Rev., 2003)

A formal semantic definition of DEVIL. - Lei Luo 004; Ming-Yuan Zhu; Qing-Li Zhang (ACM SIGPLAN Notices, 2003)

Automatic generation of device drivers. - Qing-Li Zhang; Ming-Yuan Zhu; Shuo-Ying Chen (ACM SIGPLAN Notices, 2003)

New Approach for Device Driver Development - Devil+ Language. - Yingxi Yu; Ming-Yuan Zhu; Shuo-Ying Chen (ICESS, 2004)