Остановите войну!
for scientists:
default search action
Wing Lok Yeung
Person information
- affiliation: Lingnan University, Hong Kong
- affiliation (former): Staffordshire University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j11]Wing Lok Yeung:
Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application. Int. J. Comput. Integr. Manuf. 31(10): 1005-1017 (2018) - 2016
- [c15]W. Lok Yeung, Simon Y. W. Li:
Prototyping the Machine-Human Dialogues in a Smartphone Voice Call Application With Task Resumption Support. CHI Extended Abstracts 2016: 1788-1793 - 2014
- [c14]W. Lok Yeung:
Applications of data mining in online retailing: A case for mining prefix-ordered web site navigation paths. ICSAI 2014: 943-947 - 2013
- [c13]W. Lok Yeung:
Short paper adapting the contract net protocol for publish/subscribe messaging. HPCS 2013: 139-142 - 2011
- [j10]W. Lok Yeung:
A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Syst. Appl. 38(10): 12772-12785 (2011) - [j9]W. Lok Yeung:
Behavioral modeling and verification of multi-agent systems for manufacturing control. Expert Syst. Appl. 38(11): 13555-13562 (2011)
2000 – 2009
- 2009
- [c12]Wing Lok Yeung:
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. SOCA 2009: 1-8 - 2008
- [c11]Wing Lok Yeung:
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. APSCC 2008: 524-529 - 2007
- [j8]Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007) - [j7]W. Lok Yeung:
CSP-Based Verification for Web Service Orchestration and Choreography. Simul. 83(1): 65-74 (2007) - [c10]Karl R. P. H. Leung, Wing Lok Yeung:
Generating User Acceptance Test Plans from Test Cases. COMPSAC (2) 2007: 737-742 - 2006
- [j6]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) - [c9]Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung:
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144 - [c8]Wing Lok Yeung:
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. ECOWS 2006: 297-305 - [c7]Wing Lok Yeung, Ji Wang, Wei Dong:
Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104 - [c6]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
- [c5]Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184 - [c4]Wing Lok Yeung, Karl R. P. H. Leung:
Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS 2005: 71-76 - 2004
- [j5]W. Lok Yeung, Ming-te Lu:
Functional characteristics of commercial web sites: a longitudinal study in Hong Kong. Inf. Manag. 41(4): 483-495 (2004) - [j4]W. Lok Yeung, Ming-te Lu:
Gaining Competitive Advantages through a Functionality Grid for Website Evaluation. J. Comput. Inf. Syst. 44(4): 67-77 (2004) - [c3]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 - 2003
- [j3]Wing Lok Yeung, Steve A. Schneider:
Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods Syst. Des. 22(3): 225-248 (2003) - [c2]Wing Lok Yeung, Karl R. P. H. Leung:
A Synergistic Interweaving of Formal and Informal Methods. COMPSAC 2003: 257-262 - 2000
- [j2]Wing Lok Yeung:
Automated translation of JSD into CSP - a case study in methods integration. J. Syst. Softw. 55(2): 193-202 (2000)
1990 – 1999
- 1998
- [j1]Ming-te Lu, W. Lok Yeung:
A framework for effective commercial Web application development. Internet Res. 8(2): 166-173 (1998) - 1997
- [c1]Wing Lok Yeung:
Denotational Semantics for JSD. APSEC 1997: 72- - 1991
- [b1]Wing Lok Yeung:
System development with communicating sequential processes : formalisation and related studies. Staffordshire University, UK, 1991
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 2023-10-29 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint