Search the dblp DataBase
Karl R. P. H. Leung :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Karl R. P. H. Leung , Wai Wong Deriving test cases using class vectors. [Citation Graph (0, 0)][DBLP ] APSEC, 2000, pp:146-153 [Conf ] 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 ] 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 ] Karl R. P. H. Leung , Daniel K. C. Chan Extending Statecharts with Duration. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1996, pp:246-0 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Karl R. P. H. Leung , Jojo M. L. Chung The Liaison Workflow Engine Architecture. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Karl R. P. H. Leung , Lucas Chi Kwong Hui Multiple Signature Handling in Workflow Systems. [Citation Graph (0, 0)][DBLP ] HICSS, 2000, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Data scheduling for multi-item requests in multi-channel on-demand broadcast environments. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.005secs