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