 | 2009 |
|---|
| 6 |       | ShuYan Chan,
Pan Hui,
Kuang Xu:
Community Detection of Time-Varying Mobile Social Networks.
Complex (1) 2009: 1154-1159 |
| 5 | | Pan Hui,
Richard Mortier,
Kuang Xu,
Jon Crowcroft,
Victor O. K. Li:
Sharing airtime with Shair avoids wasting time and money.
HotMobile 2009 |
| 2000 |
|---|
| 4 |  | Jeffrey J. P. Tsai,
Kuang Xu:
A comparative study of formal verification techniques for software architecture specifications.
Ann. Software Eng. 10: 207-223 (2000) |
| 1999 |
|---|
| 3 | | Jeffrey J. P. Tsai,
Kuang Xu:
Architecture Specification of Multimedia Software Systems.
ICMCS, Vol. 1 1999: 97-102 |
| 2 | | Jeffrey J. P. Tsai,
Kuang Xu:
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications.
Ann. Software Eng. 7: 95-126 (1999) |
| 1 | | Kuang Xu,
Jeffrey J. P. Tsai:
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language.
International Journal of Software Engineering and Knowledge Engineering 9(6): 767-800 (1999) |
