To-Yat Cheung

Publication Activity (10 Years)

Years Active: 1973-2008
Publications (10 Years): 0

Publications

Li Jiao, Hejiao Huang, To-Yat Cheung
Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets. J. Circuits Syst. Comput. 17 (3) (2008)
Hejiao Huang, To-Yat Cheung, Xiaolong Wang
Applications of Property-Preserving Algebras to Component-Based Manufacturing System Design. J. Inf. Sci. Eng. 23 (1) (2007)
Li Jiao, To-Yat Cheung
Compositional Verification for Workflow Nets. J. Circuits Syst. Comput. 15 (4) (2006)
H. J. Huang, Li Jiao, To-Yat Cheung
Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theor. Comput. Sci. 332 (1-3) (2005)
Li Jiao, Hejiao Huang, To-Yat Cheung
Property-preserving Composition by Place Merging. J. Circuits Syst. Comput. 14 (4) (2005)
Li Jiao, To-Yat Cheung, Weiming Lu
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. Comput. J. 48 (6) (2005)
Li Jiao, To-Yat Cheung, Weiming Lu
On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. 311 (1-3) (2004)
Hejiao Huang, To-Yat Cheung, Wai Ming Mak
Structure and behavior preservation by Petri-net-based refinements in system design. Theor. Comput. Sci. 328 (3) (2004)
Fan Zhang, To-Yat Cheung
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. IEEE Trans. Software Eng. 29 (1) (2003)
H. J. Huang, Li Jiao, To-Yat Cheung
Property-preserving composition of augmented marked graphs that share common resources. ICRA (2003)
Li Jiao, To-Yat Cheung
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. Int. J. Found. Comput. Sci. 14 (4) (2003)
Li Jiao, To-Yat Cheung, Weiming Lu
Characterizing Liveness of Petri Nets in Terms of Siphons. ICATPN (2002)
Hai Zhuge, Yanyan Li, Jia Bi, To-Yat Cheung
KGCL: A Knowledge-Grid-Based Cooperative Learning Environment. ICWL (2002)
Yiqin Lu, Gang Wei, To-Yat Cheung
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. ICECCS (2001)
Yiqin Lu, Gang Wei, To-Yat Cheung
A use case driven approach to synthesis and analysis of flexible manufacturing systems. SMC (2001)
Hai Zhuge, To-Yat Cheung, Hung Keng Pung
A timed workflow process model. J. Syst. Softw. 55 (3) (2001)
Huiwei Guan, To-Yat Cheung
Efficient approaches for constructing a massively parallel processing system. J. Syst. Archit. 46 (13) (2000)
Hai Zhuge, Hung Keng Pung, To-Yat Cheung
Timed Workflow: Concept, Model, and Method. WISE (2000)
Moses Charikar, Chandra Chekuri, To-Yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li
Approximation Algorithms for Directed Steiner Problems. J. Algorithms 33 (1) (1999)
Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia
A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. Comput. J. 42 (3) (1999)
To-Yat Cheung, Yiqin Lu
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. ICATPN (1999)
Moses Charikar, Chandra Chekuri, To-Yat Cheung, Zuo Dai, Ashish Goel, Sudipto Guha, Ming Li
Approximation Algorithms for Directed Steiner Problems. SODA (1998)
To-Yat Cheung, Wei Zeng
Invariant-preserving transformations for the verification of place/transition systems. IEEE Trans. Syst. Man Cybern. Part A 28 (1) (1998)
Jiannong Cao, Weijia Jia, Xiaohua Jia, To-Yat Cheung
Design and Analysis of An Efficient Algorithm for Coordinated Checkpointing in Distributed Systems. APDC (1997)
Huiwei Guan, To-Yat Cheung, Chi-Kwong Li, Songnian Yu
Parallel Design and Implementation of SOM Neural Computing Model in PVM Environment of a Distributed System. APDC (1997)
To-Yat Cheung
Petri nets for protocol engineering. Comput. Commun. 19 (14) (1996)
Weijia Jia, Jiannong Cao, To-Yat Cheung
A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. ICPP, Vol. 1 (1996)
Brian Siu, To-Yat Cheung
Towards a Method for Schema Translation from Relational to Object-Oriented Databases. International Hong Kong Computer Society Database Workshop (1996)
To-Yat Cheung, Xinming Ye
A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems. J. Parallel Distributed Comput. 28 (1) (1995)
To-Yat Cheung
Some Government Policies on the Development of IT in Hong Kong. PACIS (1995)
To-Yat Cheung
An Integrated Software Environment for the Development of Distributed Systems. Software Engineering Education (1993)
To-Yat Cheung, Youwen Wu, Xinming Ye
Generating Test Sequences and their Degrees of Indeterminism for Protocols. PSTV (1991)
To-Yat Cheung, Yun-zhou Zhu
Recognizing Different Types of Beta-Cycles in a Database Scheme. Theor. Comput. Sci. 81 (2) (1991)
To-Yat Cheung, Yucheng Ye
An Executor for Graphical LOTOS. FORTE (1990)
To-Yat Cheung
An Algorithm with Decentralized Control for Sorting Files in a Network. J. Parallel Distributed Comput. 7 (3) (1989)
To-Yat Cheung, Mike Sablatash
A Functional Network Model for Analytical File Management in ISDN Systems from Generalization of Videotex Systems. Comput. Networks 16 (1989)
Yun-zhou Zhu, To-Yat Cheung
A New Distributed Breadth-First-Search Algorithm. Inf. Process. Lett. 25 (5) (1987)
To-Yat Cheung
On the Projection Method for Protocol Verification. IEEE Trans. Software Eng. 12 (11) (1986)
To-Yat Cheung
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation. IEEE Trans. Software Eng. 9 (4) (1983)
To-Yat Cheung
A Method for Equijoin Queries in Distributed Relational Databases. IEEE Trans. Computers 31 (8) (1982)
To-Yat Cheung
Estimating Block Accesses and Number of Recorde in File Management. Commun. ACM 25 (7) (1982)
To-Yat Cheung
A Statistical Model for Estimating the Number of Records in a Relational Database. Inf. Process. Lett. 15 (3) (1982)
To-Yat Cheung
Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach. ACM Trans. Math. Softw. 6 (3) (1980)
To-Yat Cheung
Computational Comparison of Eight Methods for the Maximum Network Flow Problem. ACM Trans. Math. Softw. 6 (1) (1980)
To-Yat Cheung
Algorithm 558: A Program for the Multifacility Location Problem with Rectilinear Distance by the Minimum-Cut Approach [H]. ACM Trans. Math. Softw. 6 (3) (1980)
To-Yat Cheung
An Interactive Graphic Display for Region Partitioning by Linear Programming. Commun. ACM 17 (9) (1974)
To-Yat Cheung
Approximate Solutions and Error Bounds for Quasilinear Elliptic Boundary Value Problems. J. Comput. Syst. Sci. 7 (3) (1973)