| 2007 |
|---|
| 15 | EE | K. S. Cheung,
K. O. Chow:
Property-Preserving Composition of Distributed System Components.
APPT 2007: 111-120 |
| 14 | EE | K. S. Cheung,
K. O. Chow:
A Petri Net Based Method for Refining Object Oriented System Specifications.
Electr. Notes Theor. Comput. Sci. 187: 161-172 (2007) |
| 13 | EE | K. S. Cheung:
Boundedness and conservativeness of augmented marked graphs.
IMA J. Math. Control & Information 24(2): 235-244 (2007) |
| 2006 |
|---|
| 12 | EE | K. O. Chow,
K. P. L. Cheung,
K. S. Cheung:
A Multi-Channeled Learning Materials Indexing & Enquiry System.
ICUC 2006 |
| 11 | EE | K. S. Cheung,
T. Y. Cheung,
K. O. Chow:
A petri-net-based synthesis methodology for use-case-driven system design.
Journal of Systems and Software 79(6): 772-790 (2006) |
| 2005 |
|---|
| 10 | | K. S. Cheung,
K. O. Chow:
Analysis of Manufacturing Systems Based on Augmented Marked Graphs.
CIMCA/IAWTIC 2005: 847-851 |
| 9 | EE | K. S. Cheung,
K. O. Chow:
Elimination of Duplicate Labels in Petri-Net-Based System Specification.
CIT 2005: 932-936 |
| 8 | EE | K. S. Cheung,
K. O. Chow:
Cycle inclusion property of augmented marked graphs.
Inf. Process. Lett. 94(6): 271-276 (2005) |
| 2004 |
|---|
| 7 | EE | Paul Kai-on Chow,
Alan Y. K. Chan,
K. S. Cheung:
An XML Approach to Student Usage Reflection in Online Courses.
CIT 2004: 339-344 |
| 6 | EE | K. S. Cheung,
Shiu Yin Yuen,
Chun Ki Fong:
Enhancement in performance of genetic algorithm for object location problem.
ICARCV 2004: 692-697 |
| 5 | EE | Alan Y. K. Chan,
Paul Kai-on Chow,
K. S. Cheung:
Student Participation Index: Student Assessment in Online Courses.
ICWL 2004: 449-456 |
| 4 | EE | K. S. Cheung:
New characterization for live and reversible augmented marked graphs.
Inf. Process. Lett. 92(5): 239-243 (2004) |
| 1999 |
|---|
| 3 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.
TOOLS (31) 1999: 118-125 |
| 1998 |
|---|
| 2 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Deriving Scenarios Of Object Interaction Through Petri Net.
TOOLS (27) 1998: 104- |
| 1997 |
|---|
| 1 | | K. S. Cheung,
Paul Kai-on Chow,
T. Y. Cheung:
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods.
Ada-Europe 1997: 173-184 |
