To-Yat Cheung

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