The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ming-Yuan Zhu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ming-Yuan Zhu, Xiao-Bai Mo
    Mechanical synthesis of a unification algorithm in PowerEpsilon. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:56-61 [Conf]
  2. Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen
    New Approach for Device Driver Development - Devil+ Language. [Citation Graph (0, 0)][DBLP]
    ICESS, 2004, pp:418-422 [Conf]
  3. Ming-Yuan Zhu, Cheng-Wei Wang
    An Overview of Specification Language Universe. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:42-48 [Conf]
  4. Lei Luo, Ming-Yuan Zhu
    Partitioning based operating system: a formal model. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2003, v:37, n:3, pp:23-35 [Journal]
  5. Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
    A Provably Correct Operating System: delta-Core. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2001, v:35, n:1, pp:17-33 [Journal]
  6. Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
    The Minimal Model of Operating Systems. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2001, v:35, n:3, pp:22-29 [Journal]
  7. Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang
    A formal semantic definition of DEVIL. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2003, v:38, n:4, pp:47-56 [Journal]
  8. Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen
    Automatic generation of device drivers. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2003, v:38, n:6, pp:60-69 [Journal]
  9. Ming-Yuan Zhu
    Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:9, pp:39-53 [Journal]
  10. Ming-Yuan Zhu
    Formal Specification of Debuggers. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2001, v:36, n:9, pp:54-63 [Journal]
  11. Ming-Yuan Zhu
    AUTO STAR - a software development system. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:3, pp:31-45 [Journal]
  12. Ming-Yuan Zhu
    Transformational programming: the derivation of a Prolog interpretation algorithm. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:9, pp:92-111 [Journal]
  13. Ming-Yuan Zhu
    Computational Reflection in PowerEpsilon. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1994, v:29, n:1, pp:13-19 [Journal]
  14. Ming-Yuan Zhu
    Program Transformation in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:1, pp:11-19 [Journal]

Search in 0.030secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002