The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

K. O. Chow: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. K. S. Cheung, K. O. Chow
    Elimination of Duplicate Labels in Petri-Net-Based System Specification. [Citation Graph (0, 0)][DBLP]
    CIT, 2005, pp:932-936 [Conf]
  2. K. S. Cheung, K. O. Chow
    Analysis of Manufacturing Systems Based on Augmented Marked Graphs. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:847-851 [Conf]
  3. K. S. Cheung, K. O. Chow, T. Y. Cheung
    Deriving Scenarios Of Object Interaction Through Petri Net. [Citation Graph (0, 0)][DBLP]
    TOOLS (27), 1998, pp:104-0 [Conf]
  4. K. S. Cheung, K. O. Chow, T. Y. Cheung
    Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:118-125 [Conf]
  5. K. S. Cheung, K. O. Chow
    Cycle inclusion property of augmented marked graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:6, pp:271-276 [Journal]
  6. K. S. Cheung, T. Y. Cheung, K. O. Chow
    A petri-net-based synthesis methodology for use-case-driven system design. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:6, pp:772-790 [Journal]
  7. K. S. Cheung, K. O. Chow
    Property-Preserving Composition of Distributed System Components. [Citation Graph (0, 0)][DBLP]
    APPT, 2007, pp:111-120 [Conf]
  8. K. S. Cheung, K. O. Chow
    A Petri Net Based Method for Refining Object Oriented System Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:161-172 [Journal]

  9. A Multi-Channeled Learning Materials Indexing & Enquiry System. [Citation Graph (, )][DBLP]


  10. Process-Based Design Verification for Systems Involving Shared Resources. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002