Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Xu Wang
Observed names:
Wang Xu,
Xu WANG
Observed institutions:
Chinese Academy of Sciences,
Hong Kong University of Science and Technology,
University of Oxford,
Institute of Software,
Beihang University
ORCID:
0000-0002-7027-4213
Observed ORCID:
0000-0002-7027-4213
OpenAlex ID:
A5007400451
Retrieval-based neural source code summarization
2020
·
Jian Zhang
, Xu Wang
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
279
Learning to handle exceptions
2020
·
Jian Zhang
, Xu Wang
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
21
Extended Modeling Languages for Interaction Protocol Design
2002
·
Jean-Luc Koning
, Marc-Philippe Huget
, et al.
·
Lecture notes in computer science
·
20
Towards a methodology for formal design and analysis of agent interaction protocols: An investigation in electronic commerce
2001
·
Wei Jun
, Cheung Shing-Chi
, et al.
·
Wuhan University Journal of Natural Sciences
·
7
Exploiting automatic analysis of e-commerce protocols
2002
·
Wei Jun
, Cheung Shing-chi
, et al.
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
6
Rep4WS: A Paxos Based Replication Framework for Building Consistent and Reliable Web Services
2012
·
Xu Wang
, Hailong Sun
, et al.
·
IEEE International Conference on Web Services (ICWS)
·
4
Debug Concurrent Programs with Visualization and Inference of Event Structure
2012
·
Xiaoquan Wu
, Jun Wei
, et al.
·
Asia-Pacific Software Engineering Conference (APSEC)
·
3
A CSP and Z combined modeling of document exchange processes in e-commerce protocols
2002
·
Xu Wang
, Shing-Chi Cheung
, et al.
·
Information and Software Technology
·
3
Proof of the Template of the Image Relief Effect
2015
·
Li Shuo
, Wei Xiaoting
, et al.
·
International Conference on Intelligent Transportation, Big Data and Smart City
·
2
Research on Face Detection Based on Skin Color and Improved Adaboost Algorithm
2013
·
Xu Wang
·
Electronic Science and Technology
·
1
Modeling and verifying strong cache consistency for mobile data access
2005
·
Wei Jun
, Cheung Shing-Chi
, et al.
·
Proceedings/Proceedings - International Symposium on Software Reliability Engineering
·
1
Inner crossover fusion network with pixel-wise sampling for dynamic scene deblurring
2023
·
Wei Guo
, Jinkai Cui
, et al.
·
Digital Signal Processing
Group model for decentralized federation of Object Creation service
2002
·
Xu Wang
, Tao Huang
, et al.
·
Technology of Object-Oriented Languages and Systems
On the modelling of document exchange processes in e-commerce protocols
2002
·
Xu Wang
, Shing-Chi Cheung
, et al.
·
Asia-Pacific Conference on Quality Software (APAQS)
A Formal Language for Programming with Distributed Resources and Scopes
2001
·
Xu Wang
Extended Modeling Languages for Interaction Protocol Design
·
Jean-luc Koning
, Jun Wei
, et al.
Show more works
View as search
Works count:
19
Citation count:
347
H-index:
5
I10-index:
3
Year
Topic
Type
