King Sing Cheung

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 1

Top Topics

Information Integration

Top Venues

Inf. Technol. Control.

Publications

King Sing Cheung
Proper Augmented Marked Graphs : Properties, Characterizations and Applications. Inf. Technol. Control. 46 (1) (2017)
King Sing Cheung
Component-Based System Integration Using Proper Augmented Marked Graphs. ICIRA (1) (2014)
King Sing Cheung, Paul Kai-On Chow
A Petri-Net Approach to Refining Object Behavioural Specifications. Informatica (Slovenia) 33 (2) (2009)
King Sing Cheung
Augmented Marked Graphs. Informatica (Slovenia) 32 (1) (2008)
King Sing Cheung, K. O. Chow
A Petri Net Based Method for Refining Object Oriented System Specifications. Electron. Notes Theor. Comput. Sci. 187 (2007)
King Sing Cheung, K. O. Chow
Property-Preserving Composition of Distributed System Components. APPT (2007)
King Sing Cheung
Boundedness and conservativeness of augmented marked graphs. IMA J. Math. Control. Inf. 24 (2) (2007)
King Sing Cheung
A formal method for synthesising components of shared resource systems. Comput. Syst. Sci. Eng. 22 (6) (2007)
King Sing Cheung, K. O. Chow
Analysis of Capacity Overflow for Manufacturing Systems. CASE (2006)
King Sing Cheung, T. Y. Cheung, K. O. Chow
A petri-net-based synthesis methodology for use-case-driven system design. J. Syst. Softw. 79 (6) (2006)
K. O. Chow, K. P. L. Cheung, King Sing Cheung
A Multi-Channeled Learning Materials Indexing & Enquiry System. ICUC (2006)
King Sing Cheung, K. O. Chow
Process-Based Design Verification for Systems Involving Shared Resources. APSCC (2006)
King Sing Cheung, K. O. Chow
Elimination of Duplicate Labels in Petri-Net-Based System Specification. CIT (2005)
King Sing Cheung
A Synthesis Method for Designing Shared-Resource Systems. Comput. Artif. Intell. 24 (6) (2005)
King Sing Cheung, K. O. Chow
Cycle inclusion property of augmented marked graphs. Inf. Process. Lett. 94 (6) (2005)
King Sing Cheung, K. O. Chow
Analysis of Manufacturing Systems Based on Augmented Marked Graphs. CIMCA/IAWTIC (2005)
Paul Kai-On Chow, Alan Y. K. Chan, King Sing Cheung
An XML Approach to Student Usage Reflection in Online Courses. CIT (2004)
King Sing Cheung
New characterization for live and reversible augmented marked graphs. Inf. Process. Lett. 92 (5) (2004)
Alan Y. K. Chan, Paul Kai-On Chow, King Sing Cheung
Student Participation Index: Student Assessment in Online Courses. ICWL (2004)
King Sing Cheung, K. O. Chow, T. Y. Cheung
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. TOOLS (31) (1999)
King Sing Cheung, K. O. Chow, T. Y. Cheung
Deriving Scenarios Of Object Interaction Through Petri Net. TOOLS (27) (1998)
King Sing 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)