| 2012 | ||
|---|---|---|
| c4 | Hong Wang, Huijuan Shi: Knowledge Reduction Based on Evidence Reasoning Theory in Interval Ordered Information Systems. ICIC (2) 2012: 27-34 | |
| 2011 | ||
| c3 | Guangquan Zhang, Huijuan Shi, Mei Rong: Mismatch Detection of Asynchronous Web Services with Timed Constraints. APSCC 2011: 251-258 | |
| c2 | Guangquan Zhang, Huijuan Shi, Mei Rong, Haojun Di: Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. WISM (2) 2011: 428-435 | |
| c1 | Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi: Specification and Verification of Data and Time in Web Service Composition. WISM (2) 2011: 436-443 | |
| 1 | Haojun Di | |
| 2 | Mei Rong | |
| 3 | Hong Wang | |
| 4 | Guangquan Zhang |
Data released under the ODC-BY 1.0 license — See also our legal information page