The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karl R. P. H. Leung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daniel K. C. Chan, Karl R. P. H. Leung
    Software Development as a Workflow Process. [Citation Graph (1, 0)][DBLP]
    DEXA Workshop, 1997, pp:62-67 [Conf]
  2. Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li
    Locating Mobile Stations with Statistical Directional Propagation Model. [Citation Graph (0, 0)][DBLP]
    AINA (1), 2004, pp:230-235 [Conf]
  3. Kenneth Man-Kin Chu, Joseph Kee-Yin Ng, Karl R. P. H. Leung
    A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model. [Citation Graph (0, 0)][DBLP]
    AINA (1), 2006, pp:932-940 [Conf]
  4. Karl R. P. H. Leung, Wai Wong
    Towards a More Efficient Way of Generating Test Cases: Class Graphs. [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:285-296 [Conf]
  5. Daniel K. C. Chan, Karl R. P. H. Leung
    Software Development as a Workflow Process. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:282-291 [Conf]
  6. Daniel K. C. Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan
    Liaison: A Workflow Model for Novel Applications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1998, pp:144-0 [Conf]
  7. Karl R. P. H. Leung
    Extending Statecharts with ad lib and multi-thread features. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:330-0 [Conf]
  8. Karl R. P. H. Leung
    Using Hypergraph as Modeling Language for Generating Test Cases On Demand. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:519-526 [Conf]
  9. Karl R. P. H. Leung, Daniel K. C. Chan
    Prototyping the Structured Specification as Logic Programs. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:380-389 [Conf]
  10. Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
    Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:430-437 [Conf]
  11. Karl R. P. H. Leung, Wai Wong
    Deriving test cases using class vectors. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:146-153 [Conf]
  12. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Improvements Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:176-184 [Conf]
  13. Hareton K. N. Leung, Karl R. P. H. Leung
    Domain-Based COTS-Product Selection Method. [Citation Graph (0, 0)][DBLP]
    Component-Based Software Quality, 2003, pp:40-63 [Conf]
  14. Karl R. P. H. Leung, Daniel K. C. Chan
    Extending Statecharts with Duration. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:246-0 [Conf]
  15. Karl R. P. H. Leung, Lucas Chi Kwong Hui
    Signature Management in Workflow Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:424-429 [Conf]
  16. Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang
    Modeling Web Navigation by Statechart. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:41-47 [Conf]
  17. Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung
    Parallel Genetic Algorithms with Schema Migration. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:879-886 [Conf]
  18. Wing Lok Yeung, Karl R. P. H. Leung
    A Synergistic Interweaving of Formal and Informal Methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:257-262 [Conf]
  19. Karl R. P. H. Leung, Joseph Kee-Yin Ng, Tim K. T. Chan, Kenneth Man-Kin Chu, Chun Hung Li
    Network Based Mobile Station Positioning in Metropolitan Area. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:1017-1026 [Conf]
  20. Karl R. P. H. Leung, Jojo M. L. Chung
    The Liaison Workflow Engine Architecture. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  21. Karl R. P. H. Leung, Lucas Chi Kwong Hui
    Multiple Signature Handling in Workflow Systems. [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  22. Karl R. P. H. Leung
    An Experience of continuous development - formulating requirements concurrently with system implementation. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:218-223 [Conf]
  23. William Hak-Lim Wong, Joseph Kee-Yin Ng, Karl R. P. H. Leung
    Large-Scale Location Estimation over GSM Networks: The Gear Approach. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:574-579 [Conf]
  24. Karl R. P. H. Leung, Lucas Chi Kwong Hui, Ricky W. M. Tang
    Integrating Different Signature Purposes in Workflow Systems - A Case Study. [Citation Graph (0, 0)][DBLP]
    ICSC, 1999, pp:360-366 [Conf]
  25. W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
    Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:470-476 [Conf]
  26. Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung
    The Implementation of a Multi-Server Distributed MPEG Video System. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2001, pp:111-113 [Conf]
  27. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:97-107 [Conf]
  28. Wing Lok Yeung, Karl R. P. H. Leung
    Deriving Test Cases from B Machines Using Class Vectors. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:71-76 [Conf]
  29. Karl R. P. H. Leung, Hareton K. N. Leung
    On the efficiency of domain-based COTS product selection method. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:12, pp:703-715 [Journal]
  30. Karl R. P. H. Leung, Lucas Chi Kwong Hui
    Handling signature purposes in workflow systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2001, v:55, n:3, pp:245-259 [Journal]
  31. Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
    Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:7, pp:962-968 [Journal]
  32. Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
    Generating test cases from class vectors. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:66, n:1, pp:35-46 [Journal]
  33. Joseph Kee-Yin Ng, Karl R. P. H. Leung, Calvin Kin-Cheung Hui
    A QoS-Enabled Transmission Scheme for MPEG Video Streaming. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2005, v:30, n:3, pp:217-256 [Journal]
  34. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Modelling and model checking suspendible business processes via statechart diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:14-29 [Journal]
  35. Karl R. P. H. Leung, W. L. Yeung
    Generating User Acceptance Test Plans from Test Cases. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:737-742 [Conf]
  36. Zhili Wu, Chun-hung Li, Joseph Kee-Yin Ng, Karl R. P. H. Leung
    Location Estimation via Support Vector Regression. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Mob. Comput., 2007, v:6, n:3, pp:311-321 [Journal]

  37. Data scheduling for multi-item requests in multi-channel on-demand broadcast environments. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
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