To-Yat Cheung

According to our database, To-Yat Cheung authored at least 46 papers between 1973 and 2008.

Collaborative distances:

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

2008

Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets.

Li Jiao, Hejiao Huang, To-Yat Cheung

J. Circuits Syst. Comput., 2008

2007

Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design.

Hejiao Huang, To-Yat Cheung, Xiaolong Wang

J. Inf. Sci. Eng., 2007

2006

Compositional Verification for Workflow Nets.

Li Jiao, To-Yat Cheung

J. Circuits Syst. Comput., 2006

2005

Property-preserving subnet reductions for designing manufacturing systems with shared resources.

H. J. Huang, Li Jiao, To-Yat Cheung

Theor. Comput. Sci., 2005

Property-preserving Composition by Place Merging.

Li Jiao, Hejiao Huang, To-Yat Cheung

J. Circuits Syst. Comput., 2005

Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.

Li Jiao, To-Yat Cheung, Weiming Lu

Comput. J., 2005

2004

On liveness and boundedness of asymmetric choice nets.

Li Jiao, To-Yat Cheung, Weiming Lu

Theor. Comput. Sci., 2004

Structure and behavior preservation by Petri-net-based refinements in system design.

Hejiao Huang, To-Yat Cheung, Wai Ming Mak

Theor. Comput. Sci., 2004

2003

Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines.

Fan Zhang, To-Yat Cheung

IEEE Trans. Software Eng., 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

Property-preserving composition of augmented marked graphs that share common resources.

H. J. Huang, Li Jiao, To-Yat Cheung

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002

KGCL: A Knowledge-Grid-Based Cooperative Learning Environment.

Hai Zhuge, Yanyan Li, Jia Bi, To-Yat Cheung

Proceedings of the Advances in Web-Based Learning, First International Conference, 2002

Characterizing Liveness of Petri Nets in Terms of Siphons.

Li Jiao, To-Yat Cheung, Weiming Lu

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

A timed workflow process model.

Hai Zhuge, To-Yat Cheung, Hung Keng Pung

J. Syst. Softw., 2001

A use case driven approach to synthesis and analysis of flexible manufacturing systems.

Yiqin Lu, Gang Wei, To-Yat Cheung

Proceedings of the IEEE International Conference on Systems, 2001

Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets.

Yiqin Lu, Gang Wei, To-Yat Cheung

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

Efficient approaches for constructing a massively parallel processing system.

Huiwei Guan, To-Yat Cheung

J. Syst. Archit., 2000

Timed Workflow: Concept, Model, and Method.

Hai Zhuge, Hung Keng Pung, To-Yat Cheung

Proceedings of the WISE 2000, 2000

1999

Approximation Algorithms for Directed Steiner Problems.

Moses Charikar, Chandra Chekuri, To-Yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li

J. Algorithms, 1999

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks.

Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia

Comput. J., 1999

Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.

To-Yat Cheung, Yiqin Lu

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Invariant-preserving transformations for the verification of place/transition systems.

To-Yat Cheung, Wei Zeng

IEEE Trans. Syst. Man Cybern. Part A, 1998

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

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

Design and Analysis of An Efficient Algorithm for Coordinated Checkpointing in Distributed Systems.

Jiannong Cao, Weijia Jia, Xiaohua Jia, To-Yat Cheung

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

Petri nets for protocol engineering.

To-Yat Cheung

Comput. Commun., 1996

Towards a Method for Schema Translation from Relational to Object-Oriented Databases.

Brian Siu, To-Yat Cheung

Proceedings of the Multimedia, 1996

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks.

Weijia Jia, Jiannong Cao, To-Yat Cheung

Proceedings of the 1996 International Conference on Parallel Processing, 1996

1995

A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems.

To-Yat Cheung, Xinming Ye

J. Parallel Distributed Comput., 1995

Some Government Policies on the Development of IT in Hong Kong.

To-Yat Cheung

Proceedings of the Second Pacific Asia Conference on Information Systems, 1995

1993

An Integrated Software Environment for the Development of Distributed Systems.

To-Yat Cheung

Proceedings of the Software Engineering Education, Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September, 1993

1991

Recognizing Different Types of Beta-Cycles in a Database Scheme.

To-Yat Cheung, Yun-zhou Zhu

Theor. Comput. Sci., 1991

Generating Test Sequences and their Degrees of Indeterminism for Protocols.

To-Yat Cheung, Youwen Wu, Xinming Ye

Proceedings of the Protocol Specification, 1991

1990

An Executor for Graphical LOTOS.

To-Yat Cheung, Yucheng Ye

Proceedings of the Formal Description Techniques, 1990

1989

An Algorithm with Decentralized Control for Sorting Files in a Network.

To-Yat Cheung

J. Parallel Distributed Comput., 1989

A Functional Network Model for Analytical File Management in ISDN Systems from Generalization of Videotex Systems.

To-Yat Cheung, Mike Sablatash

Comput. Networks, 1989

1987

A New Distributed Breadth-First-Search Algorithm.

Yun-zhou Zhu, To-Yat Cheung

Inf. Process. Lett., 1987

1986

On the Projection Method for Protocol Verification.

To-Yat Cheung

IEEE Trans. Software Eng., 1986

1983

Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation.

To-Yat Cheung

IEEE Trans. Software Eng., 1983

1982

A Method for Equijoin Queries in Distributed Relational Databases.

To-Yat Cheung

IEEE Trans. Computers, 1982

A Statistical Model for Estimating the Number of Records in a Relational Database.

To-Yat Cheung

Inf. Process. Lett., 1982

Estimating Block Accesses and Number of Recorde in File Management.

To-Yat Cheung

Commun. ACM, 1982

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

Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach.

To-Yat Cheung

ACM Trans. Math. Softw., 1980

Computational Comparison of Eight Methods for the Maximum Network Flow Problem.

To-Yat Cheung

ACM Trans. Math. Softw., 1980

1974

An Interactive Graphic Display for Region Partitioning by Linear Programming.

To-Yat Cheung

Commun. ACM, 1974

1973

Approximate Solutions and Error Bounds for Quasilinear Elliptic Boundary Value Problems.

To-Yat Cheung

J. Comput. Syst. Sci., 1973