Mantis H. M. Cheng

According to our database, Mantis H. M. Cheng authored at least 9 papers between 1988 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

SpinMag: A New Fingerprinting Method for Robot Indoor Localization with Geomagnetic Field.

Ruochun Jin, Kui Wu, Yong Dou, Mantis H. M. Cheng

Ad Hoc Sens. Wirel. Networks, 2018

2002

Client Migration in a Continuous Data Network.

Anthony J. Howe, Mantis H. M. Cheng

Proceedings of the Distributed Communities on the Web, 4th International Workshop, 2002

1995

A Method for Implementing Equational Theories as Logic Programs.

Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden

Proceedings of the Logic Programming, 1995

1994

Petri-Net-Based Deadlock Analysis of Process Algebra Programs.

Panos Rondogiannis, Mantis H. M. Cheng

Sci. Comput. Program., 1994

1992

Compositional Operational Semantics for Prolog Programs.

Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden

New Gener. Comput., 1992

1990

An application of L systems to local microcode synthesis.

Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng

Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990

On Warren's Method for Functional Programming in Logic.

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards

Proceedings of the Logic Programming, 1990

1988

Complete Sets of Frontiers in Logic-Based Program Transformation.

Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper

Proceedings of the Meta-Programming in Logic Programming, 1988

Tables as a User Interface for Logic Programs.

Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988