Approximate Solutions and Error Bounds for Quasilinear Elliptic Boundary Value Problems. - To-Yat Cheung (J. Comput. Syst. Sci., 1973)

An Interactive Graphic Display for Region Partitioning by Linear Programming. - To-Yat Cheung (Commun. ACM, 1974)

Computational Comparison of Eight Methods for the Maximum Network Flow Problem. - To-Yat Cheung (ACM Trans. Math. Softw., 1980)

Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach. - To-Yat Cheung (ACM Trans. Math. Softw., 1980)

Algorithm 558: A Program for the Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach [H]. - To-Yat Cheung (ACM Trans. Math. Softw., 1980)

Estimating Block Accesses and Number of Recorde in File Management. - To-Yat Cheung (Commun. ACM, 1982)

A Statistical Model for Estimating the Number of Records in a Relational Database. - To-Yat Cheung (Inf. Process. Lett., 1982)

A Method for Equijoin Queries in Distributed Relational Databases. - To-Yat Cheung (IEEE Trans. Computers, 1982)

Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation. - To-Yat Cheung (IEEE Trans. Software Eng., 1983)

On the Projection Method for Protocol Verification. - To-Yat Cheung (IEEE Trans. Software Eng., 1986)

A New Distributed Breadth-First-Search Algorithm. - Yun-zhou Zhu; To-Yat Cheung (Inf. Process. Lett., 1987)

A Functional Network Model for Analytical File Management in ISDN Systems from Generalization of Videotex Systems. - To-Yat Cheung; Mike Sablatash (Comput. Networks, 1989)

An Algorithm with Decentralized Control for Sorting Files in a Network. - To-Yat Cheung (J. Parallel Distributed Comput., 1989)

An Executor for Graphical LOTOS. - To-Yat Cheung; Yucheng Ye (FORTE, 1990)

Generating Test Sequences and their Degrees of Indeterminism for Protocols. - To-Yat Cheung; Youwen Wu; Xinming Ye (PSTV, 1991)

Recognizing Different Types of Beta-Cycles in a Database Scheme. - To-Yat Cheung; Yun-zhou Zhu (Theor. Comput. Sci., 1991)

An Integrated Software Environment for the Development of Distributed Systems. - To-Yat Cheung (Software Engineering Education, 1993)

Some Government Policies on the Development of IT in Hong Kong. - To-Yat Cheung (PACIS, 1995)

A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems. - To-Yat Cheung; Xinming Ye (J. Parallel Distributed Comput., 1995)

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. - Weijia Jia 001; Jiannong Cao 001; To-Yat Cheung (ICPP, Vol. 1, 1996)

Towards a Method for Schema Translation from Relational to Object-Oriented Databases. - Brian Siu; To-Yat Cheung (International Hong Kong Computer Society Database Workshop, 1996)

Petri nets for protocol engineering. - To-Yat Cheung (Comput. Commun., 1996)

Design and Analysis of An Efficient Algorithm for Coordinated Checkpointing in Distributed Systems. - Jiannong Cao 001; Weijia Jia 001; Xiaohua Jia; To-Yat Cheung (APDC, 1997)

Parallel Design and Implementation of SOM Neural Computing Model in PVM Environment of a Distributed System. - Huiwei Guan; To-Yat Cheung; Chi-Kwong Li; Songnian Yu (APDC, 1997)

Invariant-preserving transformations for the verification of place/transition systems. - To-Yat Cheung; Wei Zeng (IEEE Trans. Syst. Man Cybern. Part A, 1998)

Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. - To-Yat Cheung; Yiqin Lu (ICATPN, 1999)

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. - Weijia Jia 001; Jiannong Cao 001; To-Yat Cheung; Xiaohua Jia (Comput. J., 1999)

Approximation Algorithms for Directed Steiner Problems. - Moses Charikar; Chandra Chekuri; To-Yat Cheung; Zuo Dai; Ashish Goel; Sudipto Guha; Ming Li 001 (J. Algorithms, 1999)

Timed Workflow: Concept, Model, and Method. - Hai Zhuge; Hung Keng Pung; To-Yat Cheung (WISE, 2000)

Efficient approaches for constructing a massively parallel processing system. - Huiwei Guan; To-Yat Cheung (J. Syst. Archit., 2000)

Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. - Yiqin Lu; Gang Wei; To-Yat Cheung (ICECCS, 2001)

A use case driven approach to synthesis and analysis of flexible manufacturing systems. - Yiqin Lu; Gang Wei; To-Yat Cheung (SMC, 2001)

A timed workflow process model. - Hai Zhuge; To-Yat Cheung; Hung Keng Pung (J. Syst. Softw., 2001)

Characterizing Liveness of Petri Nets in Terms of Siphons. - Li Jiao; To-Yat Cheung; Weiming Lu (ICATPN, 2002)

KGCL: A Knowledge-Grid-Based Cooperative Learning Environment. - Hai Zhuge; Yanyan Li; Jia Bi; To-Yat Cheung (ICWL, 2002)

Property-preserving composition of augmented marked graphs that share common resources. - H. J. Huang; Li Jiao; To-Yat Cheung (ICRA, 2003)

Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. - Li Jiao; To-Yat Cheung (Int. J. Found. Comput. Sci., 2003)

Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. - Fan Zhang; To-Yat Cheung (IEEE Trans. Software Eng., 2003)

Structure and behavior preservation by Petri-net-based refinements in system design. - Hejiao Huang; To-Yat Cheung; Wai Ming Mak (Theor. Comput. Sci., 2004)

On liveness and boundedness of asymmetric choice nets. - Li Jiao; To-Yat Cheung; Weiming Lu (Theor. Comput. Sci., 2004)

Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. - Li Jiao; To-Yat Cheung; Weiming Lu (Comput. J., 2005)

Property-preserving Composition by Place Merging. - Li Jiao; Hejiao Huang; To-Yat Cheung (J. Circuits Syst. Comput., 2005)

Property-preserving subnet reductions for designing manufacturing systems with shared resources. - H. J. Huang; Li Jiao; To-Yat Cheung (Theor. Comput. Sci., 2005)

Compositional Verification for Workflow Nets. - Li Jiao; To-Yat Cheung (J. Circuits Syst. Comput., 2006)

Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design. - Hejiao Huang; To-Yat Cheung; Xiaolong Wang 001 (J. Inf. Sci. Eng., 2007)

Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets. - Li Jiao; Hejiao Huang; To-Yat Cheung (J. Circuits Syst. Comput., 2008)