King Sing Simon CHEUNG

View Scopus Profile

CHEUNG King Sing Simon

 https://orcid.org/0000-0002-7323-0961
Calculated based on number of publications stored in Pure and citations from Scopus
1997 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2008

    An algorithm for eliminating duplicate labels of a labelled Petri net

    Cheung, K. S., 2008, Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008. p. 74-78 5 p. 4609472. (Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Collaborative tagging in a mobile synchronized lecture environment

    Chow, K. O., Chan, A. Y. K., Cheung, S. K. S. & Wong, G. T. L., 2008, Proceedings of the 7th IASTED International Conference on Web-Based Education, WBE 2008. p. 189-193 5 p. (Proceedings of the 7th IASTED International Conference on Web-Based Education, WBE 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Composition of augmented marked graphs and its application to system integration

    Cheung, K. S., 2008, Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008. p. 79-83 5 p. 4609473. (Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Exploring a pedagogy-driven approach to e-courses development

    Cheung, K. S., Lam, J., Im, T., Szeto, R. & Yau, J., 2008, 2008 International Workshop on Education Technology and Training and 2008 International Workshop on Geoscience and Remote Sensing, ETT and GRS 2008. p. 22-25 4 p. 5070089. (2008 International Workshop on Education Technology and Training and 2008 International Workshop on Geoscience and Remote Sensing, ETT and GRS 2008; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Citations (Scopus)

  • Students' needs of e-courses as complement to traditional learning: A Japanese studies e-course case

    Lam, J., Cheung, K. S., Ng, J., Yau, J., Seto, W. & Im, T., 2008, Proceedings of 2008 IEEE International Symposium on IT in Medicine and Education, ITME 2008. p. 876-880 5 p. 4743992. (Proceedings of 2008 IEEE International Symposium on IT in Medicine and Education, ITME 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Citations (Scopus)
  • 2007

    Compositional synthesis of augmented marked graphs

    Cheung, K. S. & Chow, K. O., 2007, 2007 IEEE International Conference on Control and Automation, ICCA. p. 2810-2814 5 p. 4376874. (2007 IEEE International Conference on Control and Automation, ICCA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)

  • Compositional synthesis of augmented marked graphs for manufacturing system integration

    Cheung, K. S. & Chow, K. O., 2007, IEEE ICIT 2007 - 2007 IEEE International Conferenceon Integration Technology. p. 287-292 6 p. 4290479. (IEEE ICIT 2007 - 2007 IEEE International Conference on Integration Technology).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Property-preserving composition of distributed system components

    Cheung, K. S. & Chow, K. O., 2007, Advanced Parallel Processing Technologies - 7th International Symposium, APPT 2007. p. 111-120 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4847 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2006

    A mobile lecture slide organization tool for students

    Chow, K. O., Ngo, C. W., Ip, H. H. S. & Cheung, K. S., 2006, SPCA 2006: 2006 First International Symposium on Pervasive Computing and Applications, Proceedings. p. 354-357 4 p. 4079168. (SPCA 2006: 2006 First International Symposium on Pervasive Computing and Applications, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Anlysis of capacity overflow for manufacturing systems

    Cheung, K. S. & Chow, K. O., 2006, 2006 IEEE International Conference on Automation Science and Engineering, CASE. p. 331-335 5 p. 4120369. (2006 IEEE International Conference on Automation Science and Engineering, CASE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • A synthesis approach to deriving object-based specifications from object interaction scenarios

    Cheung, K. S. & Chow, K. O., 2006, Advances in Information Systems Development: Bridging the Gap Between Academia and Industry. p. 647-656 10 p. (Advances in Information Systems Development: Bridging the Gap Between Academia and Industry; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Process-based design verification for systems involving shared resources

    Cheung, K. S. & Chow, K. O., 2006, Proceedings of 2006 IEEE Asia-Pacific Conference on Services Computing, APSCC. p. 99-106 8 p. 4041218. (Proceedings of 2006 IEEE Asia-Pacific Conference on Services Computing, APSCC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 2005

    Analysis of manufacturing systems based on augmented marked graphs

    Cheung, K. S. & Chow, K. O., 2005, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Interne. p. 847-851 5 p. 1631574. (Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Online course refinement through association rule mining

    Chan, A. Y. K., Chow, K. O. & Cheung, K. S., 2005, Proceedings of the IASTED International Conference on Web-Based Education, WBE 2005. p. 322-326 5 p. (Proceedings of the IASTED International Conference on Web-Based Education, WBE 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2004

    An XML approach to student usage reflection in online courses

    Chow, K. O., Chan, A. Y. K. & Cheung, K. S., 2004, Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004). Wei, D., Wang, H., Peng, Z., Kara, A. & He, Y. (eds.). p. 339-344 6 p. (Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1999

    Extending formal specification to object-oriented models through level-view structured schemas

    Cheung, K. S., Chow, K. O. & Cheung, T. Y., 1999, Proceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999. Chen, J., Lu, J. & Meyer, B. (eds.). p. 118-125 8 p. (Proceedings - 31st Technology of Object-Oriented Languages and Systems, TOOLS 1999).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 1998

    Deriving scenarios of object interaction through Petri Net

    Cheung, K. S., Chow, K. O. & Cheung, T. Y., 1998, Proceedings - Technology of Object-Oriented Languages and Systems, TOOLS 1998. Chen, J., Li, M., Mingins, C. & Meyer, B. (eds.). p. 104-113 10 p. (Proceedings - Technology of Object-Oriented Languages and Systems, TOOLS 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)
  • 1997

    Towards an integration of syntactic constructs and structural features for formalised object-oriented methods

    Cheung, K. S., Chow, K. O. & Cheung, T. Y., 1997, Reliable Software Technologies - Ada-Europe 1997 - 1997 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Briggs, J. & Hardy, K. (eds.). p. 173-184 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1251).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.