2007 |
17 | EE | Yong Xiao,
Kah Bin Lim:
A prism-based single-lens stereovision system: From trinocular to multi-ocular.
Image Vision Comput. 25(11): 1725-1736 (2007) |
2006 |
16 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Feng Liu,
Jinshan Yu:
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
APWeb 2006: 275-284 |
15 | EE | Yong Xiao,
Kah Bin Lim,
Wei Miao Yu:
A Prism Based Single-Lens Multi-Ocular Stereo lmage Capture System.
MMM 2006: 469-472 |
14 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.
SAINT 2006: 116-122 |
2005 |
13 | EE | Yong Xiao,
Xingming Zhou,
Kun Deng:
Making Power-Efficient Data Value Predictions.
Asia-Pacific Computer Systems Architecture Conference 2005: 310-322 |
12 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying Web Services Composition.
ER (Workshops) 2005: 354-363 |
11 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Model Transformation Based Verification of Web Services Composition.
GCC 2005: 71-76 |
10 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Setup Algorithm of Web Service Composition.
ICA3PP 2005: 139-148 |
9 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying web services composition based on hierarchical colored petri nets.
IHIS 2005: 47-54 |
8 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Transformation-Driven Development of Composite Web Services.
ISPA Workshops 2005: 637-646 |
7 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Verifying Web Services Composition: A Transformation-Based Approach.
PDCAT 2005: 546-548 |
6 | EE | Yong Xiao,
Xing-Ming Zhou:
Performance Evaluation of Data Value Prediction Schemes.
J. Comput. Sci. Technol. 20(5): 615-623 (2005) |
2004 |
5 | EE | Yong Xiao,
Kun Deng,
Xingming Zhou:
Performance Impact of Different Data Value Predictors.
Asia-Pacific Computer Systems Architecture Conference 2004: 414-425 |
4 | EE | Yong Xiao,
Kah Bin Lim:
A single-lens trinocular stereovision system using a 3F filter.
RAM 2004: 396-400 |
2002 |
3 | EE | Yong Xiao,
Kuanyi Zhu:
Cross-coupling generalized predictive control for motion systems.
ICARCV 2002: 1664-1669 |
2001 |
2 | | Yong Xiao,
Amr Sabry,
Zena M. Ariola:
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.
Higher-Order and Symbolic Computation 14(4): 387-409 (2001) |
2000 |
1 | EE | Yong Xiao,
Zena M. Ariola,
Michel Mauny:
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
CoRR cs.PL/0009030: (2000) |