 | 2002 |
|---|
| 8 |       | 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 | | 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 |
