King Sing Cheung

24 papers C 4Misc 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2017 J jnl
Proper Augmented Marked Graphs : Properties, Characterizations and Applications.
Inf. Technol. Control.
King Sing Cheung
2014 — book
Augmented Marked Graphs
King Sing Cheung
2014 — conf
Component-Based System Integration Using Proper Augmented Marked Graphs.
ICIRA (1)
King Sing Cheung
2010 C conf
Implementation of Instructional Design in a Blended Learning Development Project.
ICCE
Jeanne Lam, King Sing Cheung
2009 J jnl
A Petri-Net Approach to Refining Object Behavioural Specifications.
Informatica (Slovenia)
King Sing Cheung, Paul Kai-On Chow
2008 J jnl
Augmented Marked Graphs.
Informatica (Slovenia)
King Sing Cheung
2007 J jnl
A formal method for synthesising components of shared resource systems.
Comput. Syst. Sci. Eng.
King Sing Cheung
2007 J jnl
Boundedness and conservativeness of augmented marked graphs.
IMA J. Math. Control. Inf.
King Sing Cheung
2007 — conf
Property-Preserving Composition of Distributed System Components.
APPT
King Sing Cheung, K. O. Chow
2006 — conf
A Multi-Channeled Learning Materials Indexing & Enquiry System.
ICUC
K. O. Chow, K. P. L. Cheung, King Sing Cheung
2006 — conf
A Petri Net Based Method for Refining Object Oriented System Specifications.
Refine@ICFEM
King Sing Cheung, K. O. Chow
2006 J jnl
A petri-net-based synthesis methodology for use-case-driven system design.
J. Syst. Softw.
King Sing Cheung, T. Y. Cheung, K. O. Chow
2006 — conf
Analysis of Capacity Overflow for Manufacturing Systems.
CASE
King Sing Cheung, K. O. Chow
2006 C conf
Process-Based Design Verification for Systems Involving Shared Resources.
APSCC
King Sing Cheung, K. O. Chow
2005 J jnl
A Synthesis Method for Designing Shared-Resource Systems.
Comput. Artif. Intell.
King Sing Cheung
2005 — conf
Analysis of Manufacturing Systems Based on Augmented Marked Graphs.
CIMCA/IAWTIC
King Sing Cheung, K. O. Chow
2005 J jnl
Cycle inclusion property of augmented marked graphs.
Inf. Process. Lett.
King Sing Cheung, K. O. Chow
2005 C conf
Elimination of Duplicate Labels in Petri-Net-Based System Specification.
CIT
King Sing Cheung, K. O. Chow
2004 C conf
An XML Approach to Student Usage Reflection in Online Courses.
CIT
Paul Kai-On Chow, Alan Y. K. Chan, King Sing Cheung
2004 J jnl
New characterization for live and reversible augmented marked graphs.
Inf. Process. Lett.
King Sing Cheung
2004 — conf
Student Participation Index: Student Assessment in Online Courses.
ICWL
Alan Y. K. Chan, Paul Kai-On Chow, King Sing Cheung
1999 — conf
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.
TOOLS (31)
King Sing Cheung, K. O. Chow, T. Y. Cheung
1998 — conf
Deriving Scenarios Of Object Interaction Through Petri Net.
TOOLS (27)
King Sing Cheung, K. O. Chow, T. Y. Cheung
1997 Misc conf
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods.
Ada-Europe
King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung