default search action
Karl R. P. H. Leung
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
- [e3]Karl R. P. H. Leung, Pornsiri Muenchaisri:
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. IEEE 2012, ISBN 978-0-7695-4922-4 [contents] - [e2]Karl R. P. H. Leung, Pornsiri Muenchaisri:
19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012. IEEE 2012, ISBN 978-1-4673-4930-7 [contents] - 2011
- [e1]Tran Dan Thu, Karl R. P. H. Leung:
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-2199-1 [contents]
2000 – 2009
- 2008
- [j9]Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li:
A directional propagation model for locating mobile stations within a mobile phone network. Int. J. Wirel. Mob. Comput. 3(1/2): 12-21 (2008) - [j8]Joseph Kee-Yin Ng, Junyang Zhou, Kenneth Man-Kin Chu, Karl R. P. H. Leung:
A Train-Once Approach for Location Estimation Using the Directional Propagation Model. IEEE Trans. Veh. Technol. 57(4): 2242-2256 (2008) - [c32]Kai Liu, Victor C. S. Lee
, Karl R. P. H. Leung:
Data scheduling for multi-item requests in multi-channel on-demand broadcast environments. MobiDE 2008: 47-54 - 2007
- [j7]Wing Lok Yeung
Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007) - [j6]Zhili Wu, Chun-hung Li, Joseph Kee-Yin Ng, Karl R. P. H. Leung:
Location Estimation via Support Vector Regression. IEEE Trans. Mob. Comput. 6(3): 311-321 (2007) - [c31]Karl R. P. H. Leung, Wing Lok Yeung:
Generating User Acceptance Test Plans from Test Cases. COMPSAC (2) 2007: 737-742 - 2006
- [j5]Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. J. Syst. Softw. 79(7): 962-968 (2006) - [c30]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. AINA (1) 2006: 932-940 - [c29]Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107 - 2005
- [j4]Joseph Kee-Yin Ng, Karl R. P. H. Leung, Calvin Kin-Cheung Hui:
A QoS-Enabled Transmission Scheme for MPEG Video Streaming. Real Time Syst. 30(3): 217-256 (2005) - [c28]Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184 - [c27]W. K. Chan
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. QSIC 2005: 470-476 - [c26]Wing Lok Yeung, Karl R. P. H. Leung:
Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS 2005: 71-76 - 2004
- [c25]Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li:
Locating Mobile Stations with Statistical Directional Propagation Model. AINA (1) 2004: 230-235 - [c24]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. APSEC 2004: 430-437 - [c23]Karl R. P. H. Leung:
Using Hypergraph as Modeling Language for Generating Test Cases On Demand. APSEC 2004: 519-526 - [c22]Karl R. P. H. Leung:
An Experience of continuous development - formulating requirements concurrently with system implementation. IASTED Conf. on Software Engineering 2004: 218-223 - [c21]William Hak-Lim Wong, Joseph Kee-Yin Ng, Karl R. P. H. Leung:
Large-Scale Location Estimation over GSM Networks: The Gear Approach. ICDCS Workshops 2004: 574-579 - 2003
- [j3]Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng:
Generating test cases from class vectors. J. Syst. Softw. 66(1): 35-46 (2003) - [c20]Hareton K. N. Leung, Karl R. P. H. Leung:
Domain-Based COTS-Product Selection Method. Component-Based Software Quality 2003: 40-63 - [c19]Wing Lok Yeung, Karl R. P. H. Leung:
A Synergistic Interweaving of Formal and Informal Methods. COMPSAC 2003: 257-262 - [c18]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. Euro-Par 2003: 1017-1026 - 2002
- [j2]Karl R. P. H. Leung, Hareton K. N. Leung
On the efficiency of domain-based COTS product selection method. Inf. Softw. Technol. 44(12): 703-715 (2002) - [c17]Baowen Xu
Parallel Genetic Algorithms with Schema Migration. COMPSAC 2002: 879-886 - 2001
- [j1]Karl R. P. H. Leung, Lucas Chi Kwong Hui:
Handling signature purposes in workflow systems. J. Syst. Softw. 55(3): 245-259 (2001) - [c16]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. IEEE Real Time Technology and Applications Symposium 2001: 111-113 - 2000
- [c15]Karl R. P. H. Leung, Wai Wong:
Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS 2000: 285-296 - [c14]Karl R. P. H. Leung, Wai Wong:
Deriving test cases using class vectors. APSEC 2000: 146-153 - [c13]Karl R. P. H. Leung:
Extending Statecharts with ad lib and multi-thread features. APSEC 2000: 330- - [c12]Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang:
Modeling Web Navigation by Statechart. COMPSAC 2000: 41-47 - [c11]Karl R. P. H. Leung, Lucas Chi Kwong Hui:
Multiple Signature Handling in Workflow Systems. HICSS 2000
1990 – 1999
- 1999
- [c10]Karl R. P. H. Leung, Lucas Chi Kwong Hui:
Signature Management in Workflow Systems. COMPSAC 1999: 424-429 - [c9]Karl R. P. H. Leung, Jojo M. L. Chung:
The Liaison Workflow Engine Architecture. HICSS 1999 - [c8]Karl R. P. H. Leung, Lucas Chi Kwong Hui, Ricky W. M. Tang:
Integrating Different Signature Purposes in Workflow Systems - A Case Study. ICSC 1999: 360-366 - 1998
- [c7]Daniel Kim Chung Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan:
Liaison: A Workflow Model for Novel Applications. APSEC 1998: 144- - [c6]Daniel Kim Chung Chan, Karl R. P. H. Leung:
Valmont: A Language for Workflow Programming. HICSS (7) 1998: 744-753 - 1997
- [c5]Daniel Kim Chung Chan, Karl R. P. H. Leung:
Software Development as a Workflow Process. APSEC 1997: 282-291 - [c4]Daniel Kim Chung Chan, Karl R. P. H. Leung:
Software Development as a Workflow Process. DEXA Workshop 1997: 62-67 - 1996
- [c3]Karl R. P. H. Leung, Daniel Kim Chung Chan:
Extending Statecharts with Duration. COMPSAC 1996: 246-251 - 1995
- [c2]Karl R. P. H. Leung, Daniel Kim Chung Chan:
Prototyping the Structured Specification as Logic Programs. APSEC 1995: 380-389 - 1994
- [c1]Karl R. P. H. Leung, Clement F. S. Yim:
Reversing concurrent systems into formal specifications. APSEC 1994: 229-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: