SCEAS

The SCEAS System

Title:
Author:

Mantis H. M. Cheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Anthony J. Howe, Mantis H. M. Cheng
Client Migration in a Continuous Data Network. [Citation Graph (0, 0)][DBLP]
DCW, 2002, pp:278-290 [Conf]
Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee
Tables as a User Interface for Logic Programs. [Citation Graph (0, 0)][DBLP]
FGCS, 1988, pp:784-791 [Conf]
Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards
On Warren's Method for Functional Programming in Logic. [Citation Graph (0, 0)][DBLP]
ICLP, 1990, pp:546-560 [Conf]
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden
A Method for Implementing Equational Theories as Logic Programs. [Citation Graph (0, 0)][DBLP]
ICLP, 1995, pp:497-511 [Conf]
Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
Complete Sets of Frontiers in Logic-Based Program Transformation. [Citation Graph (0, 0)][DBLP]
META, 1988, pp:283-297 [Conf]
Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng
An application of L systems to local microcode synthesis. [Citation Graph (0, 0)][DBLP]
MICRO, 1990, pp:166-175 [Conf]
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy
Compositional Operational Semantics for Prolog Programs. [Citation Graph (0, 0)][DBLP]
New Generation Comput., 1992, v:10, n:3, pp:315-334 [Journal]
Panos Rondogiannis, Mantis H. M. Cheng
Petri-Net-Based Deadlock Analysis of Process Algebra Programs. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1994, v:23, n:1, pp:55-89 [Journal]

Search in 0.001secs, Finished in 0.002secs

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