- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 14 |      | Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen: New Approach for Device Driver Development - Devil+ Language. ICESS 2004: 418-422 |
| 2003 | ||
| 13 | | Lei Luo, Ming-Yuan Zhu: Partitioning based operating system: a formal model. Operating Systems Review 37(3): 23-35 (2003) |
| 12 | | Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang: A formal semantic definition of DEVIL. SIGPLAN Notices 38(4): 47-56 (2003) |
| 11 | | Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen: Automatic generation of device drivers. SIGPLAN Notices 38(6): 60-69 (2003) |
| 2001 | ||
| 10 | | Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong: A Provably Correct Operating System: delta-Core. Operating Systems Review 35(1): 17-33 (2001) |
| 9 | | Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong: The Minimal Model of Operating Systems. Operating Systems Review 35(3): 22-29 (2001) |
| 8 | | Ming-Yuan Zhu: Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon. SIGPLAN Notices 36(9): 39-53 (2001) |
| 7 | | Ming-Yuan Zhu: Formal Specification of Debuggers. SIGPLAN Notices 36(9): 54-63 (2001) |
| 1995 | ||
| 6 | | Ming-Yuan Zhu, Xiao-Bai Mo: Mechanical synthesis of a unification algorithm in PowerEpsilon. COMPSAC 1995: 56-61 |
| 5 | | Ming-Yuan Zhu: Program Transformation in Constructive Type Theory. SIGPLAN Notices 30(1): 11-19 (1995) |
| 1994 | ||
| 4 | | Ming-Yuan Zhu: Computational Reflection in PowerEpsilon. SIGPLAN Notices 29(1): 13-19 (1994) |
| 1992 | ||
| 3 |  | Ming-Yuan Zhu, Cheng-Wei Wang: An Overview of Specification Language Universe. IFIP Congress (1) 1992: 42-48 |
| 1989 | ||
| 2 | | Ming-Yuan Zhu: AUTO STAR - a software development system. SIGPLAN Notices 24(3): 31-45 (1989) |
| 1 | | Ming-Yuan Zhu: Transformational programming: the derivation of a Prolog interpretation algorithm. SIGPLAN Notices 24(9): 92-111 (1989) |
| 1 | Shuo-Ying Chen | [11] [14] |
| 2 | Lei Luo | [9] [10] [12] [13] |
| 3 | Xiao-Bai Mo | [6] |
| 4 | Cheng-Wei Wang | [3] |
| 5 | Guang-Zhe Xiong | [9] [10] |
| 6 | Yingxi Yu | [14] |
| 7 | Qing-Li Zhang | [11] [12] |
Colors in the list of coauthors
Last update Sat May 26 02:31:23 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page